Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems-Reference-Cited by-同舟云学术

Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems

Published:1997 Issue: Volume: Page:46-56
ISSN:0302-9743
Container-title:Advances in Computing Science — ASIAN'97
language:
Short-container-title:

Author:

Büssow Robert,Grieskamp Wolfgang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63875-X_42

Reference14 articles.

1. R. Büssow, R. Geisler, and M.Klar. Spezifikation eingebetteter Steuerungssysteme mit Z und Statecharts. In Tagungsband zur 5. Fachtagung Entwurf komplexer Automatisierung ssysteme. TU Braunschweig, 1997.

2. Robert Büssow, Heiko Dörr, Robert Geisler, Wolfgang Grieskamp, and Marcus Klar. MSZ — ein Ansatz zur systematischen Verbindung von Z und Statecharts. Technical Report TR 96-32, Technische Universität Berlin, 1996.

3. Z. Chaochen, C. A. R. Hoare, and A.P Ravn. A calculus of durations. Information Processing Letters, 40(5), 1991.

4. 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.

5. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, June 1987.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Tools and Techniques for Model Based Testing;Handbook of Research on Software Engineering and Productivity Technologies;2010

2. From program languages to software languages;Journal of Systems and Software;2002-02

3. A Modular Framework for the Integration of Heterogeneous Notations and Tools;IFM’99;1999

4. An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools;Applied Formal Methods — FM-Trends 98;1999

5. Specifying safety-critical embedded systems with statecharts and Z: A case study;Fundamental Approaches to Software Engineering;1998