Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
A classical mind
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
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
IEEE Transactions on Software Engineering
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Lightweight Formalisation in Support of Requirements Engineering
Automated Software Engineering
Proceedings of the 1st International Conference on Integrated Formal Methods
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
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
Overview of the Semantics of TCOZ
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
The role of secondary attributes in formal object modelling
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
| Hi-index | 0.00 |
The design of complex systems requires powerful mechanisms for modeling data, state, communication, and real-time behaviour; as well as for structuring and decomposing systems in order to control local complexity. Timed Communicating Object Z (TCOZ) builds on Object-Z's strengths in modeling complex data and state, and on Timed CSP's strengths in modeling process control and real-time interactions. In this paper, we demonstrate the TCOZ approach to the design and verification of the Teleservices and Remote Medical Care System.