Abstract is missing.
- Software Risk ManagementBarry W. Boehm. 1-19
- MENU - An Example for the Systematic Reuse of SpecificationsMartin Wirsing, Rolf Hennicker, Robert Stabl. 20-41
- Asking for the Impossible: The State of the Art in Safety-Related SystemsMartyn Thomas. 42-47
- STEPS to Software Development with UsersChristiane Floyd, Fanny-Michaela Reisin, Gerhard Schmidt. 48-64
- The Role of Measurement in ISEEsH. Dieter Rombach. 65-85
- Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design MetricDarrel C. Ince. 86-99
- Systematic Development of Formal Software Process ModelsWolfgang Deiters, Volker Gruhn, Wilhelm Schäfer. 100-117
- Software Process Machines: A Framework for Future Software Development EnvironmentsPasquale Armenise. 118-139
- Practical Experience of Formal Specification: A Programming Interface for CommunicationsJohn Wordsworth. 140-158
- Industrialising Formal Methods for TelecommunicationsM. T. Norris, Sinclair Guillaume Stockman. 159-175
- An Application of the Event Calculus for Representing the History of a Software ProjectDaniele Nardi, Marco Tucci. 176-190
- Change Oriented VersioningAnund Lie, Tor Didriksen, Reidar Conradi, Even-André Karlsson, Svein O. Hallsteinsen, Per Holager. 191-202
- Software Change Dynamics or Half of all Ada Compilations are RedundantRolf Adams, Annette Weinert, Walter F. Tichy. 203-221
- Version Management in the PACT Integrated Software Engineering EnvironmentFlávio Oquendo, Karima Berrada, Ferdinando Gallo, Régis Minot, Ian Thomas. 222-242
- Software Engineering Implications for Formal RefinementAlan J. Dix. 243-259
- A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis ToolsR. N. Shutt. 260-291
- Formal Specification Using Structured Systems AnalysisRobert B. France, Thomas W. G. Docker. 293-310
- Tool Integration in an Open EnvironmentM. Lacroix, M. Vanhoedenaghe. 311-323
- HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program GenerationMichael Fastenbauer, Heinz Saria. 324-335
- Graph Grammars, a new Paradigm for Implementing Visual LanguagesHerbert Göttler. 336-350
- Structural Modelling of Prolog for MetricationMargaret Myers. 351-375
- Rule-Based Handling of Software Quality and Productivity ModelsHans-Ludwig Hausen. 376-394
- An Object-oriented Approach to the System AnalysisF. Manfredi, G. Orlando, P. Tortorici. 395-410
- A Pluralistic Knowledge-Based Approach to Software SpecificationCelso Niskier, T. S. E. Maibaum, Daniel Schwabe. 411-423
- PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed SystemsMarco Baldassari, Giorgio Bruno, Vincenzo Russi, Roberto Zompi. 424-445
- The Internet Worm IncidentEugene H. Spafford. 446-468
- Validation of Concurrent ADA Programs using Symbolic ExecutionSandro Morasca, Mauro Pezzè. 469-486
- Assay - A Tool to Support Regression TestingR. Lewis, D. W. Beck, J. Hartmann. 487-496