H ? « ‹ ← → › »

Language peer sets for SPECTRUM:
Germany↑
Germany/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

SPECTRUM(ID:8395/)

alternate simple view
Country: Germany
Designed 1993

Formal specification language
Related languages
PAnnDA-S → SPECTRUM   Incorporated some features of
SPECTRUM → FOCUS   Evolution of
References:
  • Broy (1993) M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. St0len. The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. (Version 1.0). Part I. TUM-I 9311, Technische Universitat Miinchen, May 1993
  • Broy (1993) M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. St0len. The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. (Version 1.0). Part II. TUM-I 9312, Technische Universitat Miinchen, May 1993
  • 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: SPECTRUM Extract:
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder