Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
Beyond objects: a software design paradigm based on process control
ACM SIGSOFT Software Engineering Notes
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
Proceedings of the 1st International Conference on Integrated Formal Methods
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Network Topology and a Case Study in TCOZ
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Overview of the Semantics of TCOZ
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
A Set-Theoretic Model for Real-Time Specification and Reasoning
MPC '98 Proceedings of the Mathematics of Program Construction
RT-Z: An Integration of Z and timed CSP
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
An operational semantics for ZCCS
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Coercing real-time refinement: a transmitter
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
XML-Based Static Type Checking and Dynamic Visualization for TCOZ
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Structuring Real-Time Object-Z Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
Constructing property-oriented models for verification
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
| Hi-index | 0.00 |
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TCOZ inherits CSP's channel-based communication mechanism, in which messages represent discrete synchronisations between processes. The purpose of most control systems is to observe and control analog components. In such cases, the interface between the control system and the controlled systems cannot be satisfactorily described using the channel mechanism. In order to address this problem, TCOZ is extended with continuous-function interface mechanisms inspired by process control theory, the sensor and the actuator. The utility of these new mechanisms is demonstrated through their application to the design of an automobile cruise control system.