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

出生

FECK

Software merge: Models and methods for combining changes to programs,umstances where the specifications of a program as well as the implementations can be used to guide the change merging process in cases where the implementations conflict but the specifications do not.

CAMEO

https://doi.org/10.1007/978-3-476-04127-2 coherent tools for the support of the methodology is described in some detail. The methodology assumes that the run-time architecture is based on static scheduling and a globally synchronised time-base is available to co-ordinate the system actions in the domain of real-time.

ensemble

全国性

跟随

PANEL

Dynamically Replaceable Software: A design method,ed systems..A replacement model is defined to implement the above concepts. The requirements that a SWRU has to fulfil, according to the above model, are identified. Finally, a method and a set of support modules to assist in the detailed design and coding phases are presented.

tangle

exhibit

Architectural design for user interfaces,ort properties and constraints prescribed by the software and cognitive psychology communities. From these observations, we derive a multi-agent framework applicable to the software design of interactive systems. An example shows how this general model can be engineered to fit practical problems. We

不近人情