default search action

combined dblp search
author search
venue search
publication search

ask others

PROSPECTRA Book 1993

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > PROSPECTRA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/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

- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Krieg-Bruckner93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Krieg-Bruckner93
Bernd Krieg-Brückner:
Introduction. 3-34
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Grunler93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Grunler93
Thomas Grünler:
Specification: Algebraic Specification. 35-53
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Breu93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Breu93
Michael Breu:
Specification: Development of Implementations. 54-79
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Weber93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Weber93
Rainer Weber:
Specification: Distributed Systems. 80-98
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/LiuK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/LiuK93
Junbo Liu, Bernd Krieg-Brückner:
Transformation. 99-127
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/McGettrickTD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/McGettrickTD93
Andrew D. McGettrick, Owen Traynor, David Duffy:
Verification. 129-144

Language Family

- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Krieg-Bruckner93a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Krieg-Bruckner93a
Bernd Krieg-Brückner:
A Language Family for Programming and Meta-Programming. 147-148
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/KarlsenJ93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/KarlsenJ93
Einar W. Karlsen, Jesper Jørgensen II:
PAⁿⁿdA-S Reference Manual. 149-169
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/BreuBGN93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/BreuBGN93
Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl:
Semantics of PAⁿⁿdA-S. 171-222
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Karlsen93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Karlsen93
Einar W. Karlsen:
PAⁿⁿdA Reference Manual. 223-238
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Kahrs93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Kahrs93
Stefan Kahrs:
PAⁿⁿdA Standard Types and Predefined Type Schemata. 239-249
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Cruz93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Cruz93
Pedro de la Cruz:
TrafoLa-S Reference Manual. 251-261
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/MarcuzziL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/MarcuzziL93
Alain Marcuzzi:
ControLa Reference Manual. 263-274
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/HeckmannS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/HeckmannS93
Reinhold Heckmann, Georg Sander:
TrafoLa-H Reference Manual. 275-313

System

- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Krieg-BrucknerKLT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Krieg-BrucknerKLT93
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor:
Uniform Transformational Development. 317-330
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/LiuTL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/LiuTL93
Junbo Liu, Owen Traynor, Steen Lynenskjold:
Guided Tour of the PROSPECTRA System. 331-366
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/MarcuzziL93a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/MarcuzziL93a
Alain Marcuzzi:
Control: Controller. 367-373
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/HoudierL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/HoudierL93
Dominique Houdier:
Control: Library Manager. 374-388
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/KarlsenJ93a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/KarlsenJ93a
Einar W. Karlsen, Jesper Jørgensen II:
Program Development: PAⁿⁿdA-S Editor. 389-417
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Karlsen93a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Karlsen93a
Einar W. Karlsen:
Program Development: PAⁿⁿdA Transformer Shell. 418-449
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/KarlsenT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/KarlsenT93
Einar W. Karlsen, Owen Traynor:
Program Development: Attributes for Transformation and Proof. 450-459
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/BertlingGSNO93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/BertlingGSNO93
Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas:
Program Development: Completion Subsystem. 460-494
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Traynor93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Traynor93
Owen Traynor:
Program Development: Proof Subsystem. 495-521
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/ManasC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/ManasC93
José Luis Mañas, Pedro de la Cruz:
Transformation Development: The TrafoLa-S Editor. 523-525
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Gersdorf93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Gersdorf93
Bernd Gersdorf:
Transformation Development: Translators from TrafoLa to SSL and TrafoLa-H. 526-538
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/AltFFW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/AltFFW93
Martin Helmut Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm:
Transformation Development: TrafoLa-H Subsystem. 539-576
- view
  authority control:
- export record
  dblp key:
  - conf/prospectra/Miguel93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prospectra/Miguel93
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.