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.

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™ programs using symbolic execution.- Assay-a tool to support regression testing.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com