Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1993

Program Development by Specification and Transformation

The PROSPECTRA Methodology, Language Family, and System

Editors:

  1. Berthold Hoffmann
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernd Krieg-Brückner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (28 chapters)

  1. Front Matter

    PDF

  2. Introduction

    • Bernd Krieg-Brückner
    Pages 1-34

  3. Algebraic specification

    • Thomas Grünler, Micheal Breau, Rainer Weber
    Pages 35-53

  4. Development of implementation

    • Michael Breu
    Pages 54-79

  5. Distributed systems

    • Rainer Weber
    Pages 80-98

  6. Transformation

    • Junbo Liu, Bernd Krieg-Brückner
    Pages 99-127

  7. Verification

    • Andrew D. McGettrick, Owen Traynor, David Duffy
    Pages 129-144

  8. A language family for programming and meta-programmming

    • Bernd Krieg-Brückner
    Pages 145-148

  9. PAnndA-S reference manual

    • Einar W. Karlsen, Jesper Jørgensen
    Pages 149-169

  10. Semantics of PAnndA-S

    • Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl
    Pages 171-222

  11. PAnndA reference manual

    • Einar W. Karlsen
    Pages 223-238

  13. TrafoLa-S reference manual

    • Pedro de la Cruz
    Pages 251-261

  14. Controla reference manual

    • Alain Marcuzzi, Syseca Logiciel
    Pages 263-274

  15. TrafoLa-H reference manual

    • Reinhold Heckmann, Georg Sander
    Pages 275-313

  16. Uniform transformational development

    • Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
    Pages 315-330

  17. Guided tour of the PROSPECTRA System

    • Junbo Liu, Owen Traynor, Steen Lynenskjold
    Pages 331-366

  18. Controller

    • Alain Marcuzzi, Syseca Logiciel
    Pages 367-373

  19. Library manager

    • Dominique Houdier, Syseca Logiciel
    Pages 374-388

  20. PAnndA-S editor

    • Einer W. Karlsen, Jesper Jørgensen
    Pages 389-417
Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Program Development by Specification and Transformation

  • Book Subtitle: The PROSPECTRA Methodology, Language Family, and System

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

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-56733-X

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1993

  • Softcover ISBN: 978-3-540-56733-2Published: 30 August 1993

  • eBook ISBN: 978-3-540-47639-9Published: 15 September 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 630

  • Topics: Software Engineering

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation