MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
The Object-Z specification language
The Object-Z specification language
IEEE Transactions on Software Engineering
Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Overview of the Semantics of TCOZ
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
The Design of a Tool-Supported Graphical Notation for Timed CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An XML/XSL Approach to Visualize and Animate TCOZ
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
ZML: XML support for standard Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
SVG web environment for z specification language
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |
Timed Communicating Object Z(TCOZ) combines Object-Z's strengths in modelling complex data and state with TCSP's strengths in modeling real-time concurrency. Based on our previous work on the XML environment for TCOZ, this paper firstly demonstrates the development of a type checker for detecting static semantic errors of the TCOZ specification, then illustrates a transformation tool to automatically project TCOZ models into UML statechart diagrams for visualising the dynamic system behaviour.