default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPROSPECTRA Book 1993
- Berthold Hoffmann
, Bernd Krieg-Brückner:
Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Lecture Notes in Computer Science 680, Springer 1993, ISBN 3-540-56733-X
Methodology
- Bernd Krieg-Brückner:
Introduction. 3-34 - Thomas Grünler:
Specification: Algebraic Specification. 35-53 - Michael Breu:
Specification: Development of Implementations. 54-79 - Rainer Weber:
Specification: Distributed Systems. 80-98 - Junbo Liu, Bernd Krieg-Brückner:
Transformation. 99-127 - Andrew D. McGettrick, Owen Traynor, David Duffy:
Verification. 129-144
Language Family
- Bernd Krieg-Brückner:
A Language Family for Programming and Meta-Programming. 147-148 - Einar W. Karlsen, Jesper Jørgensen II:
PAnndA-S Reference Manual. 149-169 - Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl:
Semantics of PAnndA-S. 171-222 - Einar W. Karlsen:
PAnndA Reference Manual. 223-238 - Stefan Kahrs:
PAnndA Standard Types and Predefined Type Schemata. 239-249 - Pedro de la Cruz:
TrafoLa-S Reference Manual. 251-261 - Alain Marcuzzi:
ControLa Reference Manual. 263-274 - Reinhold Heckmann, Georg Sander:
TrafoLa-H Reference Manual. 275-313
System
- Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor:
Uniform Transformational Development. 317-330 - Junbo Liu, Owen Traynor, Steen Lynenskjold:
Guided Tour of the PROSPECTRA System. 331-366 - Alain Marcuzzi:
Control: Controller. 367-373 - Dominique Houdier:
Control: Library Manager. 374-388 - Einar W. Karlsen, Jesper Jørgensen II:
Program Development: PAnndA-S Editor. 389-417 - Einar W. Karlsen:
Program Development: PAnndA Transformer Shell. 418-449 - Einar W. Karlsen, Owen Traynor:
Program Development: Attributes for Transformation and Proof. 450-459 - Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas:
Program Development: Completion Subsystem. 460-494 - Owen Traynor:
Program Development: Proof Subsystem. 495-521 - José Luis Mañas, Pedro de la Cruz:
Transformation Development: The TrafoLa-S Editor. 523-525 - Bernd Gersdorf:
Transformation Development: Translators from TrafoLa to SSL and TrafoLa-H. 526-538 - Martin Helmut Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm:
Transformation Development: TrafoLa-H Subsystem. 539-576 - Juan Antonio de Miguel:
System Development Components. 577-586
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 12:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
