This volume presents the proceedings of the Third European Software Engineering Conference. Themes include formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics.... the information content of a diagram or text. Such tools will ask appropriate questions whose answers will ... One kind, based on entity-relationship diagrams, we shall describe in detail. The other, based on states and transitions, we shallanbsp;...
|Author||:||Axel van Lamsweerde, Alfonso Fuggetta|
|Publisher||:||Springer Science & Business Media - 1991-10-09|