Cover Image
Read Now

Program Development by Specification and Transformation The PROSPECTRA Methodology, Language Family, and System

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 we...

Full description

Bibliographic Details
Other Authors: Hoffmann, Berthold (Editor), Krieg-Brückner, Bernd (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1993, 1993
Edition:1st ed. 1993
Series:Lecture Notes in Computer Science
Subjects:
Software Engineering
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Algebraic specification
  • Development of implementation
  • Distributed systems
  • Transformation
  • Verification
  • A language family for programming and meta-programmming
  • PAnndA-S reference manual
  • Semantics of PAnndA-S
  • PAnndA reference manual
  • PAnndA standard types and predefined type schemata
  • TrafoLa-S reference manual
  • Controla reference manual
  • TrafoLa-H reference manual
  • Uniform transformational development
  • Guided tour of the PROSPECTRA System
  • Controller
  • Library manager
  • PAnndA-S editor
  • PAnn dA transformer shell
  • Attributes for transformations and proof
  • Completion subsystem
  • Proof subsystem
  • The TrafoLa-S editor
  • Translators from TrafoLa to SSL and TrafoLa-H
  • TrafoLa-H subsystem
  • System development components
  • Annotated bibliography of the PROSPECTRA project

Similar Items