by Technische Universität München, Alle Rechte Vorbehalten, Technischen Universität München, Thomas Stauner, Thomas Stauner, Bernhard Rumpe, Bernhard Rumpe, Peter Scholz, Peter Scholz
http://www4.in.tum.de/publ/papers/SRSch99.pdf
Add To MetaCart
Abstract:
Nachdruck auch auszugsweise verboten c1999 Druck: Institut für Informatik der
Citations
|
1713
|
Statecharts: A visual formalism for complex systems
– Harel
- 1987
|
|
244
|
Domains for denotational semantics
– Scott
- 1982
|
|
165
|
The Formal Semantics of Programming Languages
– Winskel
- 1993
|
|
134
|
The foundations of ESTEREL
– Berry
- 2000
|
|
118
|
The Design of Distributed Systems, An Introduction to FOCUS", Internal Report TU-Munich
– Dederichs, Fuchs, et al.
- 1992
|
|
116
|
R.Sethi: An ideal model for recursive polymorphic types
– MacQueen
- 1984
|
|
97
|
A comparison of statecharts variants
– Beeck
- 1984
|
|
92
|
General Topology
– Engelking
- 1977
|
|
89
|
The UML as a Formal Modeling Notation
– France, Evans, et al.
- 1999
|
|
41
|
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
– Rumpe
- 1996
|
|
35
|
A Modular Visual Model for Hybrid Systems
– Grosu, Stauner, et al.
- 1998
|
|
31
|
A stream-based mathematical model for distributed information processing systems - SysLab system model
– Klein, Rumpe, et al.
- 1996
|
|
23
|
Enhancing the syslab system model with state
– Grosu, Klein, et al.
- 1996
|
|
22
|
Concurrent timed port automata
– Grosu, Rumpe
- 1995
|
|
22
|
General systems theory: Mathematical foundations
– Mesarovic, Y
- 1975
|
|
22
|
Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - Syslab Systemmodell
– Rumpe, Klein, et al.
- 1995
|
|
17
|
Design of Reactive Systems and Their Distributed Implementation with Statecharts
– Scholz
- 1998
|
|
14
|
A Note on Semantics (with an Emphasis on UML
– Rumpe
- 1998
|
|
13
|
The Requirement and Design Speci cation Language Spectrum. An Informal Introduction. Version 1.0. Part II
– Broy, Facchi, et al.
- 1993
|
|
10
|
inter-)action re nement: The easy way
– Broy
- 1993
|
|
9
|
Algebraic Speci cation
– Wirsing
- 1990
|
|
7
|
Introduction to metric and topological spaces. Claredon Press
– Sutherland
- 1975
|
|
6
|
Re nement of information ow architectures
– Philipps, Rumpe
- 1997
|
|
6
|
Petrinetze, Eine Einfuhrung
– Reisig
- 1990
|
|
5
|
LOTOS und SDL: Standard{Spezi kationssprachen fur verteilte Systeme
– Estelle
- 1989
|
|
5
|
Functional speci cation of real-time and hybrid systems
– Muller, Scholz
- 1997
|
|
3
|
Re nement of time
– Broy
- 1997
|
