-
2
-
-
35048854886
-
-
Technical Report TR 96-32, Technische Universität Berlin
-
Robert Büssow, Heiko Dörr, Robert Geisler, Wolfgang Grieskamp, and Marcus Klar. μSZ-ein Ansatz zur systematischen Verbindung von Z und Statecharts. Technical Report TR 96-32, Technische Universität Berlin, 1996.
-
(1996)
μSZ-ein Ansatz zur systematischen Verbindung von Z und Statecharts
-
-
Büssow, R.1
Dörr, H.2
Geisler, R.3
Grieskamp, W.4
Klar, M.5
-
4
-
-
84884658320
-
Specifying real-time systems with Z and the Duration Calculus
-
In J. Bowen and J. Hall, editors,, Workshops in Computing, Springer-Verlag, Berlin, Heidelberg, New York
-
M. Engel, Specifying real-time systems with Z and the Duration Calculus. In J. Bowen and J. Hall, editors, Z User Workshop, Cambridge 1994, Workshops in Computing, pages 282-294. Springer-Verlag, Berlin, Heidelberg, New York, 1994.
-
(1994)
Z User Workshop, Cambridge 1994
, pp. 282-294
-
-
Engel, M.1
-
5
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
June
-
David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
6
-
-
0025416878
-
Statemate: A working environment for the development of complex reactive systems
-
April 1990
-
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, and Mark Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16 No. 4, April 1990.
-
IEEE Transactions on Software Engineering
, vol.16
, Issue.4
-
-
Harel, D.1
Lachover, H.2
Naamad, A.3
Pnueli, A.4
Politi, M.5
Sherman, R.6
Shtull-Trauring, A.7
Trakhtenbrot, M.8
-
10
-
-
0012053729
-
A structure preserving encoding of Z in Isabelle/HOL
-
In J. von Wright, J. Grundy, and J. Harrison, editors, number 1125 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg, New York
-
Kolyang, Thomas Santen, and Burkhart Wolff. A structure preserving encoding of Z in Isabelle/HOL. In J. von Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher-Order Logics, number 1125 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg, New York, 1996.
-
(1996)
Theorem Proving in Higher-Order Logics
-
-
Kolyang, T.S.1
Wolff, B.2
-
11
-
-
0013317302
-
-
PhD thesis, Stanford University, Tech. Report STAN-CS-83-970
-
B. C. Moszkowski. Reasoning about Digital Circuits. PhD thesis, Stanford University, 1983. Tech. Report STAN-CS-83-970.
-
(1983)
Reasoning about Digital Circuits
-
-
Moszkowski, B.C.1
-
12
-
-
84958790003
-
What is in a step: On the semantics of statecharts
-
Takayasu Ito and Albert R. Meyer, editors, New York, September Springer-Verlag. Lecture Notes in Computer Science 526
-
A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In Takayasu Ito and Albert R. Meyer, editors, Theoretical Aspects of Computer Software, pages 244-264, New York, September 1991. Springer-Verlag. Lecture Notes in Computer Science 526.
-
(1991)
Theoretical Aspects of Computer Software
, pp. 244-264
-
-
Pnueli, A.1
Shalev, M.2
-
13
-
-
0003566434
-
-
Prentice Hall International Series in Computer Science, 2nd edition
-
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
-
(1992)
The Z Notation: A Reference Manual
-
-
Spivey, J.M.1
-
14
-
-
78449244619
-
A comparison of statecharts variants
-
Langmaak, de Roever, and Vytopil, editors
-
Michael von der Beeck. A comparison of statecharts variants. In Langmaak, de Roever, and Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science, pages 128-148, 1994.
-
(1994)
Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science
, pp. 128-148
-
-
Von der Beeck, M.1
|