Program Development by Specification and Transformation

The PROSPECTRA Methodology, Language Family, and System

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

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

About this book

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-56733-X
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace