The Design of a Tool-Supported Graphical Notation for Timed CSP (2002)

Cached

Download Links

by Phillip J. Brooke , Richard F. Palge
Venue:In Proc. Integrated Formal Methods 2002 (IFM’02
Citations:3 - 0 self

Documents Related by Co-Citation

31 Formal Object Oriented Specification Using Object-Z – R Duke, G Rose - 2000
38 Timed Communicating Object Z – Brendan Mahony, Jin Song Dong - 2000
69 A Brief History of Timed CSP – J W Davies, S A Schneider - 1995
172 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
18 Activity graphs and processes – Christie Bolton, Jim Davies - 2000
34 SOFL: A Formal Engineering Methodology for Industrial Applications – Shaoying Liu , A. Jeff Offutt , Chris Ho-stuart, Yong Sun, Mitsuru Ohba
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