DFG priority program since 1998: Integration of technologies of software specification for engineering applications;DFG-Schwerpunktprogramm ab 1998: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen

Informatik - Forschung und Entwicklung

Volumn 13, Issue 1, 1998, Pages 43-46

  Ehrig, H ^a   Geisler, R ^a   Klar, M ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35048864363     PISSN: 01783564     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004500050096     Document Type: Article

References (6)

1. Büssow, R., Geisler, R., Klar, M.: Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts. 5. Fachtagung EKA. TU Braunschweig 1997
2. Coleman, D.: Object oriented development. The Fusion method. Engle-wood Cliffs: Prentice Hall 1994
3. Cook, S., Daniels, J.: Designing object systems: Object-oriented modelling with Syntropy. Englewood Cliffs: Prentice Hall 1994
4. Ehrig, H.: DFG-Schwerpunktprogramm " Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen". Informatik '97
5. LOTOS - A formal description technique based on temporal ordering of observational behavior. Information Processing Systems - Open Systems Interconnection ISO DIS 8807, 1987. (ISO/TC 97/SC 21 N
6. Rational Software Corporation, Santa Clara. UML - Unified Modelling Language, version 1.1; 1997