The SCEAS System
Navigation Menu

Conferences in DBLP

PROSPECTRA (prospectra)
1993 (conf/prospectra/1993)

  1. Bernd Krieg-Brückner
    Introduction. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:3-34 [Conf]
  2. Thomas Grünler
    Specification: Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:35-53 [Conf]
  3. Michael Breu
    Specification: Development of Implementations. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:54-79 [Conf]
  4. Rainer Weber
    Specification: Distributed Systems. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:80-98 [Conf]
  5. Junbo Liu, Bernd Krieg-Brückner
    Transformation. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:99-127 [Conf]
  6. Andrew D. McGettrick, Owen Traynor, David Duffy
    Verification. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:129-144 [Conf]
  7. Bernd Krieg-Brückner
    A Language Family for Programming and Meta-Programming. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:147-148 [Conf]
  8. Einar W. Karlsen, Jesper Jørgensen II
    PAnndA-S Reference Manual. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:149-169 [Conf]
  9. Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl
    Semantics of PAnndA-S. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:171-222 [Conf]
  10. Einar W. Karlsen
    PAnndA Reference Manual. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:223-238 [Conf]
  11. Stefan Kahrs
    PAnndA Standard Types and Predefined Type Schemata. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:239-249 [Conf]
  12. Pedro de la Cruz
    TrafoLa-S Reference Manual. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:251-261 [Conf]
  13. Alain Marcuzzi
    ControLa Reference Manual. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:263-274 [Conf]
  14. Reinhold Heckmann, Georg Sander
    TrafoLa-H Reference Manual. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:275-313 [Conf]
  15. Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
    Uniform Transformational Development. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:317-330 [Conf]
  16. Junbo Liu, Owen Traynor, Steen Lynenskjold
    Guided Tour of the PROSPECTRA System. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:331-366 [Conf]
  17. Alain Marcuzzi
    Control: Controller. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:367-373 [Conf]
  18. Dominique Houdier
    Control: Library Manager. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:374-388 [Conf]
  19. Einar W. Karlsen, Jesper Jørgensen II
    Program Development: PAnndA-S Editor. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:389-417 [Conf]
  20. Einar W. Karlsen
    Program Development: PAnndA Transformer Shell. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:418-449 [Conf]
  21. Einar W. Karlsen, Owen Traynor
    Program Development: Attributes for Transformation and Proof. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:450-459 [Conf]
  22. Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas
    Program Development: Completion Subsystem. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:460-494 [Conf]
  23. Owen Traynor
    Program Development: Proof Subsystem. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:495-521 [Conf]
  24. José Luis Mañas, Pedro de la Cruz
    Transformation Development: The TrafoLa-S Editor. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:523-525 [Conf]
  25. Bernd Gersdorf
    Transformation Development: Translators from TrafoLa to SSL and TrafoLa-H. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:526-538 [Conf]
  26. Martin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm
    Transformation Development: TrafoLa-H Subsystem. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:539-576 [Conf]
  27. Juan Antonio de Miguel
    System Development Components. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:577-586 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002