C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
PROSPECTRA Book
1993
1993
1993
Keyphrases
Publications
1993
Stefan Kahrs
dA Standard Types and Predefined Type Schemata.
PROSPECTRA Book
(1993)
Rainer Weber
Specification: Distributed Systems.
PROSPECTRA Book
(1993)
Einar W. Karlsen
dA Reference Manual.
PROSPECTRA Book
(1993)
José Luis Mañas
,
Pedro de la Cruz
Transformation Development: The TrafoLa-S Editor.
PROSPECTRA Book
(1993)
Bernd Gersdorf
Transformation Development: Translators from TrafoLa to SSL and TrafoLa-H.
PROSPECTRA Book
(1993)
Bernd Krieg-Brückner
,
Einar W. Karlsen
,
Junbo Liu
,
Owen Traynor
Uniform Transformational Development.
PROSPECTRA Book
(1993)
Einar W. Karlsen
dA Transformer Shell.
PROSPECTRA Book
(1993)
Junbo Liu
,
Owen Traynor
,
Steen Lynenskjold
Guided Tour of the PROSPECTRA System.
PROSPECTRA Book
(1993)
Michael Breu
Specification: Development of Implementations.
PROSPECTRA Book
(1993)
Owen Traynor
Program Development: Proof Subsystem.
PROSPECTRA Book
(1993)
Einar W. Karlsen
,
Jesper Jørgensen II
dA-S Reference Manual.
PROSPECTRA Book
(1993)
Bernd Krieg-Brückner
A Language Family for Programming and Meta-Programming.
PROSPECTRA Book
(1993)
Juan Antonio de Miguel
System Development Components.
PROSPECTRA Book
(1993)
Thomas Grünler
Specification: Algebraic Specification.
PROSPECTRA Book
(1993)
Martin Helmut Alt
,
Christian Fecht
,
Christian Ferdinand
,
Reinhard Wilhelm
Transformation Development: TrafoLa-H Subsystem.
PROSPECTRA Book
(1993)
Pedro de la Cruz
TrafoLa-S Reference Manual.
PROSPECTRA Book
(1993)
Dominique Houdier
Control: Library Manager.
PROSPECTRA Book
(1993)
Andrew D. McGettrick
,
Owen Traynor
,
David Duffy
Verification.
PROSPECTRA Book
(1993)
Hubert Bertling
,
Harald Ganzinger
,
Renate Schäfers
,
Robert Nieuwenhuis
,
Fernando Orejas
Program Development: Completion Subsystem.
PROSPECTRA Book
(1993)
Alain Marcuzzi
Control: Controller.
PROSPECTRA Book
(1993)
Einar W. Karlsen
,
Jesper Jørgensen II
dA-S Editor.
PROSPECTRA Book
(1993)
Reinhold Heckmann
,
Georg Sander
TrafoLa-H Reference Manual.
PROSPECTRA Book
(1993)
Michael Breu
,
Manfred Broy
,
Thomas Grünler
,
Friederike Nickl
dA-S.
PROSPECTRA Book
(1993)
Alain Marcuzzi
ControLa Reference Manual.
PROSPECTRA Book
(1993)
Bernd Krieg-Brückner
Introduction.
PROSPECTRA Book
(1993)
Einar W. Karlsen
,
Owen Traynor
Program Development: Attributes for Transformation and Proof.
PROSPECTRA Book
(1993)
Junbo Liu
,
Bernd Krieg-Brückner
Transformation.
PROSPECTRA Book
(1993)
volume 680, 1993
Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System
PROSPECTRA Book
680 (1993)