PROSPECTRA Book 1993

Berthold Hoffmann, Bernd Krieg-Brückner (Eds.): 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

@proceedings{DBLP:conf/prospectra/1993,
  editor    = {Berthold Hoffmann and
               Bernd Krieg-Br{\"u}ckner},
  title     = {Program Development by Specification and Transformation, The
               PROSPECTRA Methodology, Language Family, and System},
  booktitle = {PROSPECTRA Book},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {680},
  year      = {1993},
  isbn      = {3-540-56733-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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:
PAⁿⁿdA-S Reference Manual. 149-169
Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl: Semantics of PAⁿⁿdA-S. 171-222
Einar W. Karlsen:
PAⁿⁿdA Reference Manual. 223-238
Stefan Kahrs:
PAⁿⁿdA 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: PAⁿⁿdA-S Editor. 389-417
Einar W. Karlsen:
Program Development: PAⁿⁿdA 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 Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm:
Transformation Development: TrafoLa-H Subsystem. 539-576
Juan Antonio de Miguel:
System Development Components. 577-586

Last update Tue Feb 14 04:09:37 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page