Program Development by Specification and Transformation

The PROSPECTRA Methodology, Language Family, and System

  • Editors
  • Berthold Hoffmann
  • Bernd Krieg-Brückner

Part of the Lecture Notes in Computer Science book series (LNCS, volume 680)

Table of contents

  1. Front Matter
  2. Bernd Krieg-Brückner
    Pages 1-34
  3. Thomas Grünler, Micheal Breau, Rainer Weber
    Pages 35-53
  4. Michael Breu
    Pages 54-79
  5. Rainer Weber
    Pages 80-98
  6. Junbo Liu, Bernd Krieg-Brückner
    Pages 99-127
  7. Andrew D. McGettrick, Owen Traynor, David Duffy
    Pages 129-144
  8. Bernd Krieg-Brückner
    Pages 145-148
  9. Einar W. Karlsen, Jesper Jørgensen
    Pages 149-169
  10. Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl
    Pages 171-222
  11. Einar W. Karlsen
    Pages 223-238
  12. Pedro de la Cruz
    Pages 251-261
  13. Alain Marcuzzi, Syseca Logiciel
    Pages 263-274
  14. Reinhold Heckmann, Georg Sander
    Pages 275-313
  15. Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
    Pages 315-330
  16. Junbo Liu, Owen Traynor, Steen Lynenskjold
    Pages 331-366
  17. Alain Marcuzzi, Syseca Logiciel
    Pages 367-373
  18. Dominique Houdier, Syseca Logiciel
    Pages 374-388
  19. Einer W. Karlsen, Jesper Jørgensen
    Pages 389-417
  20. Einer W. Karlsen, Jesper Jørgensen
    Pages 418-449
  21. Einer W. Karlsen, Owen Traynor
    Pages 450-459
  22. Hubert Bertling, Harald Ganzinger, Robert Nieuwenhuis, Fernando Orejas
    Pages 460-494
  23. Owen Traynor
    Pages 495-521
  24. José Luis Mañas, Pedro de la Cruz
    Pages 523-525
  25. Bernd Gersdorf
    Pages 526-538
  26. Martin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm
    Pages 539-576
  27. Juan Antonio de Miguel
    Pages 577-586
  28. Berthold Hoffmann, Hui Shi
    Pages 587-623
  29. Back Matter

About this book


This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a rigorous methodology for developing correct software and a comprehensive support system. The results are substantial: a theoretically well-founded methodology covering the whole development cycle, a very high-level specification and transformation language family allowing meta-program development and formalization of the development process itself, and a prototype development system supporting structure editing, incremental static-semantic checking, interactive context-sensitivetransformation and verification, development of transformation (meta-) programs, version management, and so on, with an initial libraryof specifications and a sizeable collection of implemented transformations. The intended audience for this documentation is the academic community working in this and related areas and those members of the industrial community interested in the use of formal methods.


Attribut Programmentwicklung Semantics and Verification Software-Engineering Umgebungen development distributed systems documentation formal methods language programming semantics software software engineering system development verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56733-2
  • Online ISBN 978-3-540-47639-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site