Berthold Hoffmann / Bernd Krieg-Brückner (eds.)

Program Development by Specification and Transformation

The PROSPECTRA Methodology, Language Family, and System
Mitarbeit:Hoffmann, Berthold; Krieg-Brückner, Bernd

• Broschiertes Buch

Produktbeschreibung

This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram development by SPECificationand TRAnsformation) that aims to provide a rigorousmethodology for developing correct software and acomprehensive support system. The results are substantial: atheoretically well-founded methodology covering the wholedevelopment cycle, a very high-level specification andtransformation language family allowing meta-programdevelopment and formalization of the development processitself, and a prototype development system supportingstructure editing, incremental static-semantic checking,interactive context-sensitivetransformation andverification, development of transformation (meta-)programs, version management, and so on, with an initiallibraryof specifications and a sizeable collection ofimplemented transformations. The intended audience for thisdocumentation is the academic community working in this andrelated areas and those members of the industrial communityinterested in the use of formal methods.

Produktdetails

• Lecture Notes in Computer Science 680
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-56733-2
• 1993.
• Seitenzahl: 648
• Erscheinungstermin: 30. August 1993
• Englisch
• Abmessung: 235mm x 155mm x 35mm
• Gewicht: 806g
• ISBN-13: 9783540567332
• ISBN-10: 354056733X
• Artikelnr.: 23143789

Inhaltsangabe

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.