Table of contents

  1. Front Matter
  2. V. Donzeau-Gouge, C. Dubois, P. Facon, F. Jean
    Pages 21-32
  3. Y. Bernard, M. Lacroix, P. Lavency, M. Vanhoedenaghe
    Pages 33-43
  4. Gregor Engels, Andreas Schürr
    Pages 80-88
  5. Stephen Beer, Ray Welland, Ian Sommerville
    Pages 89-97
  6. Walter F. Tichy, Frances J. Newbery
    Pages 99-109
  7. D. England
    Pages 110-117
  8. A. J. Dix, M. D. Harrison, C. Runciman, H. W. Thimbleby
    Pages 118-126
  9. John Cartmell, Albert Alderson
    Pages 127-137
  10. I. F. Currie, J. M. Foster, P. W. Core
    Pages 138-148
  11. Eric Dubois, Nicole Levy, Jeanine Souquières
    Pages 159-171
  12. Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
    Pages 180-190

About these proceedings


This volume contains the proceedings of the First European Software Engineering Conference, held at Strasbourg on September 9-11, 1987. The purpose of ESEC 87 was to provide a European forum for the interchange of ideas, and presentations of the current state of research and development in software engineering. The conference had over 400 participants, and papers were presented from all over Europe, Japan and North America. The book brings together the latest information on software engineering. Not only are working systems described but the latest research topics are also covered. The book will be of interest to all computer professionals as a rapid means of obtaining the state-of-the-art in the subject. The content will be of interest to practitioners and researchers alike. The papers are grouped into topics for easy reference and the whole of software engineering is covered. In particular the book contains much information on the important new topics of support environments. The reader will not only gain a knowledge of the subject but will also find which organisations and institutes are working in particular areas. The reader will gain both industrial and academic perspectives on the subject.


Action Ada C programming language Constraint Eclipse Eiffel Fortran Turing data structures design documentation operating system validation verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-18712-7
  • Online ISBN 978-3-540-48117-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book