Program Development by Specification and Transformation
The PROSPECTRA Methodology, Language Family, and System
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
115.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Program Development by Specification and Transformation “
Klappentext zu „Program Development by Specification and Transformation “
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.
Inhaltsverzeichnis zu „Program Development by Specification and Transformation “
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.
Bibliographische Angaben
- 1993, 1993, 630 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Ed. by Berthold Hoffmann and Bernd Krieg-Brückner
- Herausgegeben: Bernd Krieg-Brückner, Berthold Hoffmann
- Verlag: Springer
- ISBN-10: 354056733X
- ISBN-13: 9783540567332
- Erscheinungsdatum: 30.08.1993
Sprache:
Englisch
Kommentar zu "Program Development by Specification and Transformation"
Schreiben Sie einen Kommentar zu "Program Development by Specification and Transformation".
Kommentar verfassen