ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings (Lecture Notes in Computer Science (387))

"The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice."--Publisher's website Software risk management....Pages 1-19 MENU - an example for the systematic reuse of specifications....Pages 20-41 Asking for the impossible: The state of the art in safety-related systems....Pages 42-47 STEPS to software development with users....Pages 48-64 The role of measurement in ISEEs....Pages 65-85 An empirical and theoretical analysis of an information flow-based system design metric....Pages 86-99 Systematic development of formal software process models....Pages 100-117 Software process machines: A framework for future software development environments....Pages 118-139 Practical experience of formal specification: A programming interface for communications....Pages 140-158 Industrialising formal methods for telecommunications....Pages 159-175 An application of the event calculus for representing the history of a software project....Pages 176-190 Change oriented versioning....Pages 191-202 Software change dynamics or half of all Ada compilations are redundant....Pages 203-221 Version management in the PACT integrated software engineering environment....Pages 222-242 Software engineering implications for formal refinement....Pages 243-259 A rigorous development strategy using the OBJ specification language and the MALPAS program analysis tools....Pages 260-291 Formal specification using structured systems analysis....Pages 293-310 Tool integration in an open environment....Pages 311-323 HCDM/GSDS — A design environment for real-time software with automatic program generation....Pages 324-335 Graph grammars, a new paradigm for implementing visual languages....Pages 336-350 Structural modelling of Prolog for metrication....Pages 351-375 Rule-based handling of software quality and productivity models....Pages 376-394 An object-oriented approach to the system analysis....Pages 395-410 A pluralistic knowledge-based approach to software specification....Pages 411-423 PROTOB a hierarchical object-oriented CASE tool for distributed systems....Pages 424-445 The internet worm incident....Pages 446-468 Validation of concurrent AdaTM programs using symbolic execution....Pages 469-486 Assay-a tool to support regression testing....Pages 487-496 Annotation The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice Software risk management (RM) is a relatively new discipline whose objectives are to identify, address, and eliminate software risk items before they become either threats to successful software operation or major sources of expensive software rework.