Table of contents

  1. Front Matter
  2. François Bancilhon
    Pages 3-4
  3. Watts S. Humphrey
    Pages 5-7
  4. Naser S. Barghouti, Eleftherios Koutsofios, Edith Cohen
    Pages 28-43
  5. Lawrence G. Votta, Mary L. Zajac
    Pages 44-58
  6. Javier Tuya, Luciano Sánchez, Jose A. Corrales
    Pages 59-75
  7. Alberto Valderruten Vidal, Manuel Vilares Ferro, Jorge Graña Gil
    Pages 76-89
  8. Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
    Pages 90-108
  9. Yih -Farn Chen, Balachander Krishnamurthy, Kiem -Phong Vo
    Pages 109-123
  10. Martin Hitz, Behzad Montazeri
    Pages 124-136
  11. Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
    Pages 137-153
  12. Kuo-Chung Tai, Richard H. Carver
    Pages 154-172
  13. Ian Warren, Ian Sommerville
    Pages 173-190
  14. Andreas Zeller, Gregor Snelting
    Pages 191-204
  15. Tim A. Wagner, Susan L. Graham
    Pages 205-218
  16. Andy Schürr, Andreas J. Winter, Albert Zündorf
    Pages 219-234

About these proceedings

Introduction

This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995.
The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development.

Keywords

Reengineering Software Engineering Softwareentwicklung design formal method formal methods logic modeling object object-oriented technology programming real-time software architecture software development testing

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-60406-5
  • Copyright Information Springer-Verlag 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60406-8
  • Online ISBN 978-3-540-45552-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace