H ? « ‹ ← → › »

Language peer sets for PAnnDA-S:
Germany↑
Germany/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

PAnnDA-S(ID:2820/pro073)

PROSPECTA specification language 

alternate simple view
Country: Germany
Designed 1986

PROSPECTRA (PROgram development by SPECification and TRAnsformation)
The PROSPECTRA Consortium ESPRIT Project

Related languages
Ada 83 → PAnnDA-S   Influence
CIP-L → PAnnDA-S   Influence
OPTRAN → PAnnDA-S   Evolution of
PAnnDA-S → SPECTRAL   Based on
PAnnDA-S → SPECTRUM   Incorporated some features of
PAnnDA-S → TrafoLa   Evolution of
References:
  • Heckmann, Reinhold (1986) Heckmann, Reinhold A Proposal for the Syntactic Part of the PROSPECTRA Transformation Language, study note, 1986
  • Krieg-Brückner et al (1986) Krieg-Brückner, B. et al "PROgram development by SPECification and TRAnsformation in Ada/Anna"
          in Wallis, P. (1986) Wallis, P. (ed.): Ada: Managing the Transition. Proc Ada Europe Conf. 86. Ada Companion Series, Cambridge Univ. Press (1986)
  • Krieg-Brückner (1986) Krieg-Brückner, B.: Integration of Program Construction and Verification:The PROSPECTRA Methodology. in: Montanari, U. (ed.): Innovative Software Factories and Ada, Proc. Capri Conf. 86. LNCS, Springer (erscheint demnächst).
          in Wallis, P. (1986) Wallis, P. (ed.): Ada: Managing the Transition. Proc Ada Europe Conf. 86. Ada Companion Series, Cambridge Univ. Press (1986)
  • Krieg-Brückner et al (1986) Krieg-Brückner, B.; B. Hoffmann, H. Ganzinger, M. Broy, R. Wilhelm, U. Moncke, B. Weisgerber, A. McGettrick, I. G. Campbell, and G. Winterstein. PROgram development by SPECification and TRAnsformation. In Proc. ESPRIT Conf. '86: Results and Achievements, pages 301-312. North-Holland, 1987.
          in Wallis, P. (1986) Wallis, P. (ed.): Ada: Managing the Transition. Proc Ada Europe Conf. 86. Ada Companion Series, Cambridge Univ. Press (1986)
  • Krieg-Brückner (1986) Krieg-Brückner, Bernd "Korrekte Software mit PROgrammentwicklung durch SPECifikation und TRAnsformation" IMPULSE 2 / Oktober 1986
          in Wallis, P. (1986) Wallis, P. (ed.): Ada: Managing the Transition. Proc Ada Europe Conf. 86. Ada Companion Series, Cambridge Univ. Press (1986)
  • Krieg-Brückner, B., Karlsen, E.W., Liu, J., Trayno (1991) Krieg-Brückner, B., Karlsen, E.W., Liu, J., Traynor, O. "The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development" pp363-397 (invited tutorial).
          in Prehn, S., Toetenel, W. (1991) Prehn, S., Toetenel, W. J. (eds.): VDM'91, Formal Software Development Methods, Proc. 4th Int'l Symp. of VDM Europe; Vol. 2: Tutorials. LNCS 552 1991
  • Karlsen, E.W.: PAnndA Transformer Shell. (1993) Karlsen, E.W.: PAnndA Transformer Shell. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 418-449.
          in Prehn, S., Toetenel, W. (1991) Prehn, S., Toetenel, W. J. (eds.): VDM'91, Formal Software Development Methods, Proc. 4th Int'l Symp. of VDM Europe; Vol. 2: Tutorials. LNCS 552 1991
  • Liu, J., Krieg-Brückner, B.: Transformation. (1993) Liu, J., Krieg-Brückner, B.: Transformation. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 99-127
          in Prehn, S., Toetenel, W. (1991) Prehn, S., Toetenel, W. J. (eds.): VDM'91, Formal Software Development Methods, Proc. 4th Int'l Symp. of VDM Europe; Vol. 2: Tutorials. LNCS 552 1991
  • Liu, J., Traynor, O., Lynenskjøld, S.: Guided Tour (1993) Liu, J., Traynor, O., Lynenskjøld, S.: Guided Tour of the PROSPECTRA System. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 331-366.
          in Prehn, S., Toetenel, W. (1991) Prehn, S., Toetenel, W. J. (eds.): VDM'91, Formal Software Development Methods, Proc. 4th Int'l Symp. of VDM Europe; Vol. 2: Tutorials. LNCS 552 1991
  • McGettrick, A.D., Traynor, O., Duffy, D.: Verifica (1993) McGettrick, A.D., Traynor, O., Duffy, D.: Verification. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 129-146.
          in Prehn, S., Toetenel, W. (1991) Prehn, S., Toetenel, W. J. (eds.): VDM'91, Formal Software Development Methods, Proc. 4th Int'l Symp. of VDM Europe; Vol. 2: Tutorials. LNCS 552 1991
  • Traynor, O.: Proof Subsystem. (1993) Traynor, O.: Proof Subsystem. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 495-521.
          in Prehn, S., Toetenel, W. (1991) Prehn, S., Toetenel, W. J. (eds.): VDM'91, Formal Software Development Methods, Proc. 4th Int'l Symp. of VDM Europe; Vol. 2: Tutorials. LNCS 552 1991
  • Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997 Abstract ps Extract: PROSPECTRA Extract:
          in Prehn, S., Toetenel, W. (1991) Prehn, S., Toetenel, W. J. (eds.): VDM'91, Formal Software Development Methods, Proc. 4th Int'l Symp. of VDM Europe; Vol. 2: Tutorials. LNCS 552 1991
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder