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 BibTeX

@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 BibTeX
Thomas Grünler: Specification: Algebraic Specification. 35-53 BibTeX
Michael Breu: Specification: Development of Implementations. 54-79 BibTeX
Rainer Weber: Specification: Distributed Systems. 80-98 BibTeX
Junbo Liu, Bernd Krieg-Brückner: Transformation. 99-127 BibTeX
Andrew D. McGettrick, Owen Traynor, David Duffy: Verification. 129-144 BibTeX

Language Family

Bernd Krieg-Brückner: A Language Family for Programming and Meta-Programming. 147-148 BibTeX
Einar W. Karlsen, Jesper Jørgensen II: PAⁿⁿdA-S Reference Manual. 149-169 BibTeX
Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl: Semantics of PAⁿⁿdA-S. 171-222 BibTeX
Einar W. Karlsen: PAⁿⁿdA Reference Manual. 223-238 BibTeX
Stefan Kahrs: PAⁿⁿdA Standard Types and Predefined Type Schemata. 239-249 BibTeX
Pedro de la Cruz: TrafoLa-S Reference Manual. 251-261 BibTeX
Alain Marcuzzi: ControLa Reference Manual. 263-274 BibTeX
Reinhold Heckmann, Georg Sander: TrafoLa-H Reference Manual. 275-313 BibTeX

System

Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor: Uniform Transformational Development. 317-330 BibTeX
Junbo Liu, Owen Traynor, Steen Lynenskjold: Guided Tour of the PROSPECTRA System. 331-366 BibTeX
Alain Marcuzzi: Control: Controller. 367-373 BibTeX
Dominique Houdier: Control: Library Manager. 374-388 BibTeX
Einar W. Karlsen, Jesper Jørgensen II: Program Development: PAⁿⁿdA-S Editor. 389-417 BibTeX
Einar W. Karlsen: Program Development: PAⁿⁿdA Transformer Shell. 418-449 BibTeX
Einar W. Karlsen, Owen Traynor: Program Development: Attributes for Transformation and Proof. 450-459 BibTeX
Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas: Program Development: Completion Subsystem. 460-494 BibTeX
Owen Traynor: Program Development: Proof Subsystem. 495-521 BibTeX
José Luis Mañas, Pedro de la Cruz: Transformation Development: The TrafoLa-S Editor. 523-525 BibTeX
Bernd Gersdorf: Transformation Development: Translators from TrafoLa to SSL and TrafoLa-H. 526-538 BibTeX
Martin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm: Transformation Development: TrafoLa-H Subsystem. 539-576 BibTeX
Juan Antonio de Miguel: System Development Components. 577-586 BibTeX