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

542 On Visual Formalisms – David Harel - 1988
2115 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
348 LSCs: Breathing Life into Message Sequence Charts – Werner Damm, David Harel - 2001
198 Understanding Z: A specification language and its formal semantics – J M Spivey - 1988
47 An automata based interpretation of live sequence charts – J Klose, H Wittke - 2001
53 Duration Calculus: A formal approach to real-time systems – C Zhou, M R Hansen - 2004
357 Executable Object Modeling with Statecharts – David Harel, Eran Gery - 1997
83 Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets – Wolfgang Reisig - 1998
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
94 Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine – Come - 2003
1098 The Z Notation: A Reference Manual – J Michael Spivey - 1992
51 A Primer in Petri Net Design – W Reisig - 1992
401 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
86 Specifying Systems – L Lamport - 2002
71 The Vienna Development Method: The Meta-Language, ser – D Bjørner, C B Jones, Eds - 1978