CafeOBJ: Logical Foundations and Methodologies (2003)

Cached

Download Links

by Razvan Diaconescu , Kokichi Futatsugi , Kazuhiro Ogata
Venue:Computing and Informatics
Citations:5 - 0 self

Documents Related by Co-Citation

47 An automata based interpretation of live sequence charts – J Klose, H Wittke - 2001
543 On Visual Formalisms – David Harel - 1988
349 LSCs: Breathing Life into Message Sequence Charts – Werner Damm, David Harel - 2001
83 Elements of Distributed Algorithms: Modeling and Verification with Petri Nets – W Reisig - 1997
198 Understanding Z: A specification language and its formal semantics – J M Spivey - 1988
53 Duration Calculus: A formal approach to real-time systems – C Zhou, M R Hansen - 2004
359 Executable Object Modeling with Statecharts – David Harel, Eran Gery - 1997
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
7 Developing Software using VDM-SL – John S Fitzgerald, Peter Gorm Larsen - 1997
7 Z Logic and its Consequences. Computing and Informatics, 22(1–2), 2003. This paper is one of a series – Martin C Henson, Steve Reeves, Jonathan P Bowen
26 Using Z: Specification, Proof and Refinement – J C P Woodcock - 1996
60 A calculus of durations – C Zhou, M R Hansen - 1991
33 Coloured Petri Nets, Volume 1: Basic Concepts, Second Edition – K Jensen - 1997
52 A Primer in Petri Net Design – W Reisig - 1992
85 Specifying Systems – L Lamport - 2002
1098 The Z Notation: a reference manual – J Michael Spivey - 1992
94 Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine – Come - 2003
402 STATEMATE: A Working Environment for the Development of Complex Reactive Systems – David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-trauring, Mark Trakhtenbrot - 1990
71 The Vienna Development Method: The Meta-Language, ser – D Bjørner, C B Jones, Eds - 1978