Table of contents

  1. Front Matter
  2. Joëlle Coutaz
    Pages 7-22
  3. Jeremy Dick, Jérôme Loubersac
    Pages 37-59
  4. Thierry Cattel
    Pages 60-79
  5. Carlo Ghezzi, Richard A. Kemmerer
    Pages 122-146
  6. Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach et al.
    Pages 147-165
  7. H. Kopetz, R. Zainlinger, G. Fohler, H. Kantz, P. Puschner, W. Schütz
    Pages 166-188
  8. Jorge Amador, Belén de Vicente, Alejandro Alonso
    Pages 210-228
  9. Ben A. Sijtsma, Joseph W. L. J. Mager
    Pages 251-265
  10. Alberto Coen-Porisini, Flavio De Paoli
    Pages 266-289
  11. Richard W. Selby, R. Kent Madsen
    Pages 290-307
  12. Ivan Rozman, József Györkös, Tomaž Dogša
    Pages 332-342
  13. Martin Shepperd, Darrel Ince
    Pages 343-363
  14. Naser S. Barghouti, Gail E. Kaiser
    Pages 380-395
  15. Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder
    Pages 396-408
  16. Tim Collins, Kevin Ewert, Colin Gerety, Jon Gustafson, Ian Thomas
    Pages 409-423
  17. Dick Schefström
    Pages 443-464
  18. Alfonso Fuggetta
    Pages 465-467
  19. Anthony Finkelstein
    Pages 489-491
  20. Sol Greenspan
    Pages 492-494
  21. Peter Hruschka
    Pages 497-498
  22. Dave Robinson
    Pages 504-508
  23. Wolf E. Fischer
    Pages 509-511
  24. Back Matter

About these proceedings


The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of providing an international forum for researchers, developersand users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering researchin recent years, stimulated, for example, through major European research programmes. The 22 papers in these proceedings were selected from 133 papers submitted from 26 different countries. They cover a fairly broad range of themes such as formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics. Invited papers by well-known experts address further important areas: perspectives on configuration management, software factories, user interfacedesign, computer security, and technology transfer.


Configuration Management Echt-Zeit-Systeme Formal Methods Formale Methoden Real-Time Systems Software Engineering Software-Engineering artificial intelligence classification configuration design productivity programming security testing

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54742-6
  • Online ISBN 978-3-540-46446-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site