Table of contents

  1. Front Matter
  2. Jonah Z. Lavi, Michael Winokur
    Pages 44-52
  3. Huw Oliver
    Pages 69-80
  4. Albert Alderson
    Pages 81-91
  5. Rainer Burchett
    Pages 92-98
  6. Johann Wagner
    Pages 130-142
  7. Peter Hruschka
    Pages 143-152
  8. Wolfgang Henhapl, Stefan Kaes, Gregor Snelting
    Pages 153-166
  9. Dominique Clément, Vincent Prunet, Francis Montagnac
    Pages 167-177
  10. Dines Bjørner, Søren Prehn
    Pages 178-210
  11. Jeff Kramer, Anthony Finkelstein
    Pages 233-257
  12. Watts S. Humphrey
    Pages 258-270
  13. Back Matter

About these proceedings


Software development environments are integrated sets of tools, techniques and processes that assist in the sys- tematic development of software products. They are intended to support all phases of the software development cycle: requirements definition, design, implementation, test, and maintenance. These Computer Aided Software Engineering (CASE) tools typically make use of graphic manipulation facilities and rely on some form of development database to exchange various types of design objects between tools. Facilitated by the availability of powerful workstations, implementations of these technologies are now within reach of every software developer. This volume presents the proceedings of a symposium organized by the GI (Gesellschaft für Informatik), the GMD (Gesellschaft für Mathematik und Datenverarbeitung) and ESEC (European Software Engineering Conferences). The symposium brought together application development managers and top specialists involved in the selection and introduction of software development tools, leading developers of such tools and well known authorities from the research community. The proceedings contain first-hand information on practical experiences and requirements, development directions and strategies, and key research issues and results.


CASE Programmierumgebungen Programmierung (EDV) Programming Environments Software Development Software-Design Software-Engineering Tools computer science design software engineering

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-54194-3
  • Online ISBN 978-3-540-47485-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site