Consistent graphical specification of distributed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1313, Issue , 1997, Pages 122-141

  Huber, Franz ^a   Schlätz, Bernhard ^a   Einert, Geralf ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION;

DISTRIBUTED SYSTEMS; GRAPHICAL DESCRIPTION; HIERARCHICAL DESCRIPTION;

FORMAL METHODS;

EID: 84957360688     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63533-5_7     Document Type: Conference Paper

References (15)

1. A. Biere. Eine Methode zur u-Kalkiil-Modellpriifung. Slides for the AKFM from 23.05.96, GI/ITG-Fachgespräich,,Formale Beschreibungstechniken ffir verteilte Systeme" (in German), 1996.
2. M. Broy, C. Dendorfer, F. Dederichs, M. Fuchs, T. Gritzner, and R. Weber. The Design of Distributed Systems - An Introduction to FOCUS. Technical Report TUM-I9225, Technische Universitäit Manchen, 1992
3. M. Fuchs and M. Mendler. Functional Semantics for Delta-Delay VHDL based on Focus. In: C. Delgado Kloos and P. Breuer (eds.). Formal Semantics for VHDL, Kluwer Academic Publishers, 1994, Chapter I, pp. 9 - 38.
4. R. Grosu, C. Klein, B. Rumpe, and M. Broy. State Transition Diagrams. Technical Report TUM-I9630, Technische Universitfit Mtinchen, 1996.
5. D. Harel and A. Naamad. The Statemate Semantics of Statecharts. IEEE Transactions of Software Engineering Methods, 1996.
6. F. Huber, B. Schlitz, A. Schmidt, and K. Spies. AutoFocus - A Tool for Distributed System Specification. In: B. Jonsson and J. Parrow (eds.). Proceedings FTRTFT'96. Lecture Notes in Computer Science 1135, Springer, 1996, pp. 476-470.
7. International Telecommunication Union. Message Sequence Charts, 1996. ITU-T Recommendation Z. 129. Geneva, 1996.
8. M.P. Jones. Introduction to Gofer 2.20. Technical Report, Yale University, 1991.
9. J.-L. Lions et al. Ariane 5 Flight 501 Failure. ESA Press Release 33-96, Paris, 1996.
10. D. Park. Finitness is l.t-ineffible. Theoretical Computer Science 3(2), 1976, pp. 173-181.
11. F. Regensburger. HOLCF: Higher Order Logic of Computable Functions. In: T. Schubert, P. Windley, and J. Alves-Foss (eds.). Higher Order Logic Theorem Proving and Its Application (HOL95), 1995, pp. 293-307.
12. R. Sandner and Olaf Mailer. Theorem Prover Support for the Refinement of Stream Processing Functions. Proc. 3rd Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97). Lecture Notes in Computer Sience Vol. 1217. Springer, 1997, pp. 351-365.
13. B. Schätz, H. Hugmann, and M. Broy. Graphical Development of Consistent System Specifications. In: J. Woodcock, M.-C. Gaudel (eds.). FME' 96. Lecture Notes in Computer Science Vol. 1051, Springer, 1996, pp. 248-267.
14. B. Schfitz and K. Spies. Formale Syntax zur logischen Kernsprache der Focus- Entwicklungsmethodik. Technial Report TUM-I9529, Technische Universitäit Mfinchen, 1995.
15. D. yon Oheimb. Datentypspezifikationen in HOLCF. Master's Thesis, Technische Universitäit München, 1996.