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

Active Bibliography

14 Principles for Modeling Language Design – Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke - 2000
11 Metaphor in Diagrams – Alan Frank Blackwell - 1998
4 Proving the Correctness of Simpson's 4-slot ACM Using an Assertional Rely-Guarantee Proof Method – N. Henderson - 2003
2 Ramifications of Metastability in Bit Variables Explored via Simpson’s 4-Slot Mechanism – S. E. Paynter, N. Henderson, J. M. Armstrong, S. E. Paynter, N. Henderson, J. M. Armstrong - 2003
12 Cognitive Factors in Programming with Diagrams – Alan F. Blackwell, Kirsten N. Whitley, Judith Good, Marian Petre
2 Formal interpreters for diagram notations – Luciano Baresi, MAURO PEZZÈ - 2005
2 Statechart Development Beyond WYSIWYG – Steffen Prochnow, Reinhard Von Hanxleden - 2007
70 Representation and Analysis of Reactive Behaviors: A Synchronous Approach – Charles André - 1996
6 Reconciling Statechart Semantics – Rik Eshuis - 2008
Low-cost embedded systems design using Statecharts – Luis Gomes, Carlos Soares
2 Exploiting Formality Within an Architectural Design Method – Stephen Paynter, Jim Armstrong, Jan Haveman, Pace Micro - 1997
371 Usability Analysis of Visual Programming Environments: a `cognitive dimensions' framework – T. R. G. Green, M. Petre - 1996
Communications Protocols and Mechanisms for Distributed Digital Systems – Anthony C Davies
3 Towards Synthesis of Asynchronous Communication Algorithms – A. Yakovlev, F. Xia - 2002
6 A Unified Approach to the Study of Asynchronous Communication Mechanisms in Real Time Systems. – Ian G. Clark - 2000
1 Petri Net Models of Metastable Operations in Latch Circuits – Xia Clark, F. Xia, A. C. Davies - 1997
5 Complementing role models with Petri nets in studying asynchronous data communications – Fei Xia, Ian Clark - 1998
4 Complementing The Role Model Method With Petri Net Techniques In Studying Issues Of Data Freshness Of The Four-Slot Mechanism – Fei Xia, Ian Clark - 1998
2 A Comparison of Some Wait-Free Communications Mechanisms – Ian G. Clark, Anthony C. Davies - 2000