- Sensors and Actuators in TCOZ Brendan Mahony1Jin Song Dong2
- The Geometry of Object Containment 1 Jin Song Dong Roger Duke
- Blending ObjectZ and Timed CSP: An introduction to TCOZ
- Timed Communicating Object Z Brendan Mahony
- From an Object Semantic Model to a Design of SPA Jin Song Dong Stan Jarzabek
- 32 PERVASIVE computing Published by the IEEE CS and IEEE ComSoc 1536-1268/04/$20.00 2004 IEEE U B I Q U I T O U S S Y S T E M S O F T W A R E
- Formal Object Modelling Techniques and Denotational Semantics Studies
- A Formal Object Approach to RealTime Specification Jin Song Dong John Colton Lin Zucconi
- Overview of the Semantics of TCOZ Brendan Mahony
- ObjectZ: a Specification Language Advocated for the Description of Standards
- Z Approach to Semantic Web Jin Song Dong, Jing Sun, and Hai Wang
- Integrating Object-Z with Timed Automata National University of Singapore
- Z Family on the Web with Their UML Photos J. Sun, J. S. Dong, J. Liu and H. Wang
- Living with Free Type and Class Union Jin Song Dong
- A Combined Approach to Checking Web Ontologies Jin Song Dong
- XML-Based Static Type Checking and Dynamic Visualization for TCOZ
- The Role of Secondary Attributes in Formal Object Modelling a, b, c,A,B , C ,area, perimeter : R+
- Semantic Web for Extending and Linking Jin Song Dong, Jing Sun, and Hai Wang
- State, Event, Time and Diagram in System Modeling Jin Song Dong (dongjs@comp.nus.edu.sg)
- Timed Communicating Object Z Brendan Mahony \Lambda and Jin Song Dong y
- Specifying Parallel and Distributed Systems in ObjectZ: The Lift Case Study
- Active Objects in TCOZ Jin Song Dong
- An ObjectOriented Approach to the Semantics of Programming Languages
- Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program
- Network Topology and a Case Study in TCOZ Brendan Mahony Jin Song Dong
- Class Union and Polymorphism Jin Song Dong Roger Duke
- An ObjectOriented Approach to the Formal Specification of ODP Trader \Lambda
