Sensors and Actuators in TCOZ
暂无分享,去创建一个
[1] Mary Shaw,et al. Beyond objects: a software design paradigm based on process control , 1995, SOEN.
[2] Iso. Lotos,et al. A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .
[3] J. Michael Spivey,et al. Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.
[4] Michael Jackson,et al. Four dark corners of requirements engineering , 1997, TSEM.
[5] Roger Duke,et al. Object-Z: a specification language advocated for the description of standards , 1995 .
[6] Jin Song Dong,et al. Network Topology and a Case Study in TCOZ , 1998, ZUM.
[7] Andrew P. Martin,et al. A Set-Theoretic Model for Real-Time Specification and Reasoning , 1998, MPC.
[8] Bill Stoddart,et al. An operational semantics for ZCCS , 1997, First IEEE International Conference on Formal Engineering Methods.
[9] Jim Davies,et al. Specification and proof in real-time systems , 1991 .
[10] Andrew Simpson. Security management via Z and CSP , 1998 .
[11] Ian J. Hayes,et al. Coercing real-time refinement: a transmitter , 1996, FME 1996.
[12] Jin Song Dong,et al. Overview of the Semantics of TCOZ , 1999, IFM.
[13] Graeme Smith,et al. A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems , 1997, FME.
[14] Ian J. Hayes,et al. A Case-Study in Timed Refinement: A Mine Pump , 1992, IEEE Trans. Software Eng..
[15] Clemens Fischer. CSP-OZ: a combination of object-Z and CSP , 1997 .
[16] C. A. R. Hoare,et al. A Calculus of Durations , 1991, Inf. Process. Lett..
[17] Carsten Sühl. RT-Z: An Integration of Z and timed CSP , 1999, IFM.
[18] Keijiro Araki,et al. The state-based CCS semantics for concurrent Z specification , 1997, First IEEE International Conference on Formal Engineering Methods.
[19] Luc Steels,et al. Beyond Objects , 1994, ECOOP.
[20] Brendan P. Mahony. The Specification and Refinement of Timed Processes , 1992 .
[21] Jim Davies,et al. A Brief History of Timed CSP , 1995, Theor. Comput. Sci..
[22] Jin Song Dong,et al. Blending Object-Z and Timed CSP: an introduction to TCOZ , 1998, Proceedings of the 20th International Conference on Software Engineering.
[23] Jin Song Dong,et al. Active objects in TCOZ , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).