Titlebook: ESEC ‘91; 3rd European Softwar Axel Lamsweerde,Alfonso Fugetta Conference proceedings 1991 Springer-Verlag Berlin Heidelberg 1991 Configura

方舟

不足的東西

chemical-peel

dragon

Specification in COLD-1 of a CAD package for drawing shadow masks,gn within Philips. The case study shows that formal techniques can be used in an industrial context; in particular the language COLD-1 is a good vehicle for writing the specifications. In addition it is shown that an object-oriented style can be used within this wide spectrum language, without chang

大吃大喝

出血

Execution environment for ELECTRE applications, temporal behaviour in terms of sequential entities called modules, of events, of relations between modules like parallelism, and of relations between modules and events like preemption. ELECTRE is based on a design and implementation approach enforcing the separation of the sequential part of the a

召集

減弱不好

An application of artificial intelligence to prototyping process in performance design for real-timrmance Design (OOPD) for real-time systems. A prototyping process is composed of three steps: Prototype construction, Prototype execution, and Prototype evaluation. The authors present the following artificial intelligence based methods and tools to be applied to each step. In the prototype construc

Anonymous

Dynamically Replaceable Software: A design method,some of its components. Dynamic software replacement is a mechanism that allows components updating without stopping the whole system. For this purpose, the Software Replaceable Unit (SWRU) concept has been introduced..In this paper we present a design method for software systems including replaceab

不透明性