2. ESEC 1989: Warwick, Coventry, UK

@proceedings{DBLP:conf/esec/1989,
  editor    = {Carlo Ghezzi and
               John A. McDermid},
  title     = {ESEC '89, 2nd European Software Engineering Conference, University
               of Warwick, Coventry, UK, September 11-15, 1989, Proceedings},
  booktitle = {ESEC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {387},
  year      = {1989},
  isbn      = {3-540-51635-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Paper

• Barry W. Boehm: Software Risk Management. 1-19

Invited Papers

• Martin Wirsing, Rolf Hennicker, Robert Stabl: MENU - An Example for the Systematic Reuse of Specifications. 20-41
• Martyn Thomas: Asking for the Impossible: The State of the Art in Safety-Related Systems. 42-47
• Christiane Floyd, Fanny-Michaela Reisin, Gerhard Schmidt: STEPS to Software Development with Users. 48-64

Measurement

• H. Dieter Rombach: The Role of Measurement in ISEEs. 65-85
• Darrel C. Ince: Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric. 86-99

Software Processes Modelling

• Wolfgang Deiters, Volker Gruhn, Wilhelm Schäfer: Systematic Development of Formal Software Process Models. 100-117
• Pasquale Armenise: Software Process Machines: A Framework for Future Software Development Environments. 118-139

Practical Experience with Formal Methods

• John Wordsworth: Practical Experience of Formal Specification: A Programming Interface for Communications. 140-158
• M. T. Norris, Sinclair Guillaume Stockman: Industrialising Formal Methods for Telecommunications. 159-175

Software Configuration Management

• Daniele Nardi, Marco Tucci: An Application of the Event Calculus for Representing the History of a Software Project. 176-190
• Anund Lie, Tor Didriksen, Reidar Conradi, Even-André Karlsson, Svein O. Hallsteinsen, Per Holager: Change Oriented Versioning. 191-202
• Rolf Adams, Annette Weinert, Walter F. Tichy: Software Change Dynamics or Half of all Ada Compilations are Redundant. 203-221
• Flávio Oquendo, Karima Berrada, Ferdinando Gallo, Régis Minot, Ian Thomas: Version Management in the PACT Integrated Software Engineering Environment. 222-242

Formal Approaches

• Alan J. Dix: Software Engineering Implications for Formal Refinement. 243-259
• R. N. Shutt: A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools. 260-291
• Robert B. France, Thomas W. G. Docker: Formal Specification Using Structured Systems Analysis. 293-310

Tools and Environments

• M. Lacroix, M. Vanhoedenaghe: Tool Integration in an Open Environment. 311-323
• Michael Fastenbauer, Heinz Saria: HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program Generation. 324-335
• Herbert Göttler: Graph Grammars, a new Paradigm for Implementing Visual Languages. 336-350

Software Metrics

• Margaret Myers: Structural Modelling of Prolog for Metrication. 351-375
• Hans-Ludwig Hausen: Rule-Based Handling of Software Quality and Productivity Models. 376-394

Requirements Engineering

• F. Manfredi, G. Orlando, P. Tortorici: An Object-oriented Approach to the System Analysis. 395-410
• Celso Niskier, T. S. E. Maibaum, Daniel Schwabe: A Pluralistic Knowledge-Based Approach to Software Specification. 411-423
• Marco Baldassari, Giorgio Bruno, Vincenzo Russi, Roberto Zompi: PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed Systems. 424-445

Analysis and Validation

• Eugene H. Spafford: The Internet Worm Incident. 446-468
• Sandro Morasca, Mauro Pezzè: Validation of Concurrent ADA Programs using Symbolic Execution. 469-486
• R. Lewis, D. W. Beck, J. Hartmann: Assay - A Tool to Support Regression Testing. 487-496