J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
On the Design of an Object-oriented Formal Notation - Herranz-Nieva, Moreno-Navarro Self-citation (Notation) (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Inventory of Software Technical Aspects - Pierre-Antoine Queloz Queloz (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Specification of a Gas Station using a Formalism - Integrating Formal Datatypes (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Integration of Formal Datatypes within State Diagrams - Christian Attiogb Pascal (2003) (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
External Program Model Checking - Stefan Edelkamp Shahid (Correct)
No context found.
J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 1992.
Languages for Programming BDI-style Agents: an Overview - Mascardi, Demergasso, Ancona (2005) (Correct)
No context found.
M. Spivey, The Z Notation: A Reference Manual, 2nd edition. Prentice Hall International Series in Computer Science, 1992.
Loosely-coupled" Consistency between Agent-Oriented.. - Aneesh Krishna Aditya (2005) (Correct)
No context found.
Spivey, J. M. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Formal Extreme (and Extremely Formal) Programming - Angel Herranz And (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Design Patterns as Class Operators - Moreno-Navarro, Herranz-Nieva (2001) (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992. Abstract Factory arguments Abstract Factory results
Specifying in the large: Object Oriented Specifications in the .. - Herranz-Nieva (2002) (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
On the Role of Functional-logic Languages for the.. - Herranz-Nieva.. (2000) (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Specification of a Gas Station Using a Formalism.. - Attiogbe, Salaün, al. (2003) (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Integration of Formal Datatypes within State Diagrams - Attiogbé, Poizat, Salaün (2003) (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Testing Context-Sensitive Middleware-Based Software.. - Tse, Yau, Chan, Lu, Chen (2004) (1 citation) (Correct)
No context found.
J. M. Spivey. The Z Notation: a Reference Manual. Prentice Hall International Series in Computer Science. Prentice Hall, Hemel Hempstead, Hertfordshire, UK, 1992.
Establishing Formal Regulatory Requirements for.. - Vilkomir, Bowen (2002) (Correct)
No context found.
Spivey, J. M. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Co-Evolution of Complementary Formal and Informal Requirements - Aneesh Krishna Aditya (2004) (Correct)
No context found.
Spivey, J. M. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
View-Centric Reasoning for Linda and Tuple Space - Computation Smith Parsons (2003) (Correct)
No context found.
ROSCOE, A. W. The Theory and Practice of Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall Europe, 1998.
The Denotational Semantics of View-Centric Reasoning - Marc Smith Department (2003) (Correct)
No context found.
A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall Europe, 1998.
Software Verification with Integrated Data Type Refinement.. - Beckert, Schlager (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Formal Analysis of Early Requirements Specifications - Fuxman (2001) (6 citations) (Correct)
No context found.
J. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 1992.
Development of a Normative Package for Safety-Critical.. - Vilkomir, Ghose (Correct)
No context found.
Spivey, J. M. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Combining Agent-Oriented Conceptual Modelling with Formal.. - Vilkomir, Ghose, Krishna (Correct)
No context found.
Spivey, J. M. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
No context found.
J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
ABTOOLS: Another B Tool - Jean-Louis Boulanger University (Correct)
No context found.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
No context found.
J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
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