H ?
«
‹
←
→
›
»
Language peer sets for FOCUS:
Germany↑
Germany/1992↑
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
FOCUS(ID:8394/)
Algebraic specification system
alternate simple view
Country: Germany
Designed 1992
Algebraic specification system and logic
Related languages
References:
(1992) Broy, M.; F. Dederichs, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. Summary of Case Studies in Focus - a Design Method for Distributed Systems. Technical Report SFB 342/3/92 A, Technische Universitat Miinchen, 1992
(1993) Broy, M., F. Dederichs, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. The Design of Distributed Systems ? An Introduction to Focus (Revised Version). Technical Report SFB 342/2/92 A, Technische Universitat Miinchen, 1993.
(1994) M. Broy, M. Fuchs, T. Gritzner, B. Schatz, K. Spies, and K. St0len. Summary of Case Studies in Focus - a Design Method for Distributed Systems. Technical Report SFB 342/13/94 A, Technische Universitat Miinchen, 1994.
(1995) Schatz B. and K. Spies. Formale Syntax zur logischen Kernsprache der FOCUS-Entwicklungsmethodik. TUM-I 9529, Technische Universitat Miinchen, 1995.
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:
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|