Titlebook: ESEC ‘89; 2nd European Softwar C. Ghezzi,J. A. McDermid Conference proceedings 1989 Springer-Verlag Berlin Heidelberg 1989 Computer-Program

intertwine

Change oriented versioning, alternative to the traditional, “version oriented” models. The change oriented model has advantages over these models, especially with regard to parallel development and systems with many optional features.

anthesis

Software change dynamics , half of all Ada compilations are redundant,e attributes, the number and distribution of changes, and compilation costs. The interesting aspect of this study is that a day-to-day, complete development history of the system was available, spanning three years. The history permitted a full trace of all day-to-day changes. Findings included:

態(tài)度暖昧

commensurate

Software engineering implications for formal refinement,onstraints on the refinement of these specifications into coded modules. The need to separate the role of system building from the refinement of particular components means that relationships between specification units during the refinement process must be . (that is made into objects) in the softw

臭了生氣

A rigorous development strategy using the OBJ specification language and the MALPAS program analysits support tool, ObjEx. The MALPAS intermediate language (IL) is used for design with the MALPAS tools themselves being used for verification and validation. It is shown that OBJ specifications can be easily translated into MALPAS IL and that IL can be used in design to transform the formal specific

Ascendancy

Tool integration in an open environment,alizing this integration is described. Tool integration is also concerned with the composition of tools. An applicative command language interpreter allowing the application of tools on objects at different levels of granularity in the database is presented. Besides supporting a typed language, the

Mercurial

方便

CRATE

Abrupt