+612 9045 4394
 
CHECKOUT
Program Development by Specification and Transformation : The Prospectra Methodology, Language Family, and System - Berthold Hoffmann

Program Development by Specification and Transformation

The Prospectra Methodology, Language Family, and System

By: Berthold Hoffmann (Editor), Bernd Krieg-Bruckner (Editor)

Paperback

Published: 30th August 1993
Ships: 15 business days
15 business days
$181.29
or 4 easy payments of $45.32 with Learn more

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.

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.

ISBN: 9783540567332
ISBN-10: 354056733X
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 630
Published: 30th August 1993
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 3.3
Weight (kg): 0.89
Edition Type: Annotated