I. Hayes, editor. Specification Case Studies. International Series in Computer Science. Prentice-Hall, 2nd edition, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
An Executable Semantics for a Formalized Data Flow Diagram .. - Wahls, Baker, Leavens (1993) (Correct)
Preliminary Design of JML: A Behavioral Interface.. - Leavens, Baker, Ruby (1999) (113 citations) (Correct)
Guidelines for the Manual Conversion of Object-Z to C++ - Johnston, Rose (1993) (11 citations) (Correct)
Guidelines for the Manual Conversion of Object-Z to C++ - Johnston, Rose (1993) (11 citations) (Correct)
A Semantic Foundation for Object Identity in Formal.. - Griffiths, Rose (1995) (10 citations) (Correct)
Structuring Z Specifications: Some Choices - MacDonald, Carrington (1995) (Correct)
Providing a Z Interface to the Sum Tools - Johnston (1998) (Correct)
The Object-Z Specification Language: Version 1 - Duke, King, al. (1991) (Correct)
JML: A Notation for Detailed Design - Leavens, Baker, Ruby (1999) (56 citations) (Correct)
Requirements Visualization - Teyseyre, Orosco, Campo (Correct)
JML: a Java Modeling Language - Leavens, Baker, Ruby (1998) (8 citations) (Correct)
Preliminary Design of JML: A Behavioral Interface.. - Leavens, Baker, Ruby (1999) (113 citations) (Correct)
Protective Interface Specifications - Leavens, Wing (1998) (3 citations) (Correct)
Prospects for A Viable Software Industry - Enterprise Models, .. - Bjørner (1993) (Correct)
Some Modifications to the Dexter Model for the Formal.. - Lamberti, Maioli, Vitali (Correct)
LSL traits for using Z with Larch - Hua Zhong (Correct)
Object Orientation in Z - Rose (1992) (2 citations) (Correct)
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
A Formal Specification Of Signalling System No.7 Telephone User Part - Smith (1989) (Correct)
th Australian Computer - Science Conference Jan (Correct)
Formalising Behavioural Compatibility for Reactive.. - Duke, King, Smith (1991) (1 citation) (Correct)
Temporal Logic and Z Specifications - Duke, Smith (1989) (19 citations) (Correct)
An Object-Oriented Approach to the Formal Specification of ODP.. - Dong, Duke (1993) (2 citations) (Correct)
Composing Grammar Transformations to Construct a.. - Wildman, Hayes (1995) (1 citation) Self-citation (Hayes) (Correct)
Specifying Parallel and Distributed Systems in Object-Z.. - Dong, Zucconi, Duke (1997) (2 citations) Self-citation (Case) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC