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

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 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
  • About this book
Industry Sectors
Energy, Utilities & Environment