ESEC '89

- Software risk management

- MENU - an example for the systematic reuse of specifications

- Asking for the impossible: The state of the art in safety-related systems

- STEPS to software development with users

- The role of measurement in ISEEs

- An empirical and theoretical analysis of an information flow-based system design metric

- Systematic development of formal software process models

- Software process machines: A framework for future software development environments

- Practical experience of formal specification: A programming interface for communications

- Industrialising formal methods for telecommunications

- An application of the event calculus for representing the history of a software project

- Change oriented versioning

- Software change dynamics or half of all Ada compilations are redundant

- Version management in the PACT integrated software engineering environment

- Software engineering implications for formal refinement

- A rigorous development strategy using the OBJ specification language and the MALPAS program analysis tools

- Formal specification using structured systems analysis

- Tool integration in an open environment

- HCDM/GSDS - A design environment for real-time software with automatic program generation

- Graph grammars, a new paradigm for implementing visual languages

- Structural modelling of Prolog for metrication

- Rule-based handling of software quality and productivity models

- An object-oriented approach to the system analysis

- A pluralistic knowledge-based approach to software specification

- PROTOB a hierarchical object-oriented CASE tool for distributed systems

- The internet worm incident

- Validation of concurrent Ada(TM) programs using symbolic execution

- Assay-a tool to support regression testing