Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System by Berthold HoffmannProgram Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System by Berthold Hoffmann

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language…

EditorBerthold Hoffmann, Bernd Krieg-Brückner

Paperback | August 30, 1993

Pricing and Purchase Info

$172.90 online 
$193.95 list price save 10%
Earn 865 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language…Format:PaperbackDimensions:648 pagesPublished:August 30, 1993Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354056733X

ISBN - 13:9783540567332

Look for similar items by category:

Reviews

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.