|
37
|
Timed Communicating Object Z
– Brendan Mahony, Jin Song Dong
- 2000
|
|
31
|
Formal Object Oriented Specification Using Object-Z
– R Duke, G Rose
- 2000
|
|
65
|
A brief history of Timed CSP
– S Schneider, J Davies
- 1995
|
|
144
|
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
– Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
- 1996
|
|
2
|
Using State Diagrams to Describe Concurrent Behaviour
– J Davies, C Crichton
- 2003
|
|
4
|
Baselining a Doman-Specific Software Development Process
– R L Feldmann, J Munch, S Queins, S Vorwieger, G Zimmermann
- 1999
|
|
6
|
Message Sequence Chart(MSC), Nov 1999. Series Z: Languages and general software aspects for telecommunication systems
– ITU
|
|
3
|
Using Diagrams to give a Formal Specification of Timing Constraints in Z
– A. C. Coombes, J. A. Mcdermid
|
|
29
|
SOFL: A Formal Engineering Methodology for Industrial Applications
– Shaoying Liu, A Je O utt, Yong Sun, Chris Ho-Stuart, Mitsuru Ohba
- 1996
|
|
17
|
Activity graphs and processes
– Christie Bolton, Jim Davies
- 2000
|
|
1
|
Extended static checking home page. Available on the Internet from http://www.research.digital.com/SRC/esc/Esc.html
– G Nelson, K Rustan, M Leino, J Saxe, R Stata
- 1996
|
|
1
|
Sensorsand Actuatorsin TCOZ
– B Mahony, J S Dong
- 1999
|
|
1
|
The Object-Z Specification Language. Advancesin Formal Methods
– G Smith
- 2000
|
|
1
|
Object-Z Web Environment and Projectionsto UML
– J Sun, J S Dong, J Liu, H Wang
- 2001
|
|
12
|
Overview of the Semantics of TCOZ
– Brendan Mahony, Jin Song Dong
|
|
14
|
A Type Checker for Object-Z
– Wendy Johnston
- 1996
|
|
5
|
A XML/XSL Approach to Visualize and Animate TCOZ
– Jing Sun, Jin Song Dong, Jing Liu, Hai Wang
|
|
15
|
Sensors and Actuators in TCOZ
– Brendan Mahony , Jin Song Dong
- 1999
|
|
24
|
A Logic for Object-Z
– Graeme Smith
- 1994
|
