J.M. Spivey. Understanding Z: A specification language and its formal semantics, volume 3 of Cambridge Tracts in Theoretical Comput. Sci. Cambridge University Press, UK, 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
The STRESS Method for Boundary-point Performance Analysis - Of End-To-End Multicast (Correct)
....SRM with deterministic timers (b) SRM with adaptive timers Figure 6: Simulation results for deterministic and adaptive timers over stress and random topologies. Theorem proving systems define a set of axioms and relations to prove properties, and include model based and logicbased formalisms [26, 27]. These systems are useful in many applications. However, these systems tend to abstract out some network dynamics that we study (e.g. selective packet loss) Moreover, they do not synthesize network topologies and do not address performance issues per se. Reachability analysis algorithms [28] ....
J. Spivey. Understanding Z: a Specification Language and its Formal Semantics. Cambridge University Press, 1988.
A Formulation of the Simple Theory of Types (for Isabelle) - Paulson (1989) (Correct)
....How well does Isabelle perform against specialized systems like these Zermelo Fraenkel set theory [36] is intended as a foundation of mathematics, but is inconvenient for formal proof even set theorists use intuition and diagrams. Yet set theory is the basis of the Z specification language [35]. Philippe Noel has conducted extensive set theory proofs in Isabelle [25] Type theory is also intended as a foundation for mathematics, and seems nearly as powerful. How does it compare with set theory as a practical formal language Isabelle s meta logic is a fragment of Church s version of ....
J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics. Cambridge University Press, 1988. 27
Role of Verification in the Software Specification Process - Zelkowitz (1998) (1 citation) (Correct)
....that a program meets its specifications. However, the real utility for any of these methods is their application to solving real world software development problems. All of these methods are difficult to apply to realistically sized programming tasks. In order to address this, notations like Z (Spivey, 1988), Larch (Guttag, 1985) OBJ (Goguen, 1985) and VDM were developed as general purpose specification languages in addition to special purpose lan guages for specific applications such as: Anna for Ada programs (Luckham, 1985) or AS for Pascal programs (Zelkowitz, 1991) In this paper we will ....
Spivey J. M., Introducing Z: A specification language and its formal semantics, Cambridge University Press. 54
Towards Verified Systems: The SAFEMOS Project - Bowen, He, Hale, Herbert (1993) (1 citation) (Correct)
....LCF, but is now an independent programming language in its own right [40] It is an eager evaluation functional language with a polymorphic type discipline. Some use of the formal notation Z has been made on the project. Z is based on Zermelo Fraenkel set theory and first order predicate calculus [50], with the addition of the schema box notation to aid the structuring of the large amount of detailed mathematics that is necessary to specify systems of a realistic size. An advantage of a formal notation likeZis that it has been accepted for international standardisation by ISO whichis ....
J.M. Spivey. Understanding Z: A Specification Language and its Formal Semantics,volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.
The Specification of Dynamic Distributed Component Systems - Kiniry (1998) (2 citations) (Correct)
....a convenience in the definition of our new language. The reader should be familiar with the Unified Modeling Language and at least one formal specification language. Suggested references include [42] and [50, Chapter 2] for UML, and [20, Chapter 6] for a specification language (in this case, Z [152]) vi Contents Acknowledgements iii Abstract v List of Figures ix List of Tables x 1 Introduction 1 1.1 Motivation: Tackling Complexity . 1 1.2 Terminology . 1 ....
....package. 1.3 Thesis Roadmap component systems. The reader should be familiar with the Unified Modeling Language and at least one formal specification language. Suggested references include [42] and [50, Chapter 2] for UML, and [20, Chapter 6] for a specification language (in this case, Z [152]) In Chapter 2, I will discuss the general problem of systems and component specification in more detail. Next, in Chapter 3, I will describe some of our extensions to an existing system level specification methodology. Then, in Chapter 4, I will describe the requirements, design, and ....
[Article contains additional citation context not shown here]
J.M. Spivey. Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
No context found.
J.M. Spivey. Understanding Z: A specification language and its formal semantics, volume 3 of Cambridge Tracts in Theoretical Comput. Sci. Cambridge University Press, UK, 1988.
Sensors and Actuators in TCOZ - Brendan Mahony Jin (Correct)
No context found.
J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.
Sensors and Actuators in TCOZ - Brendan Mahony Jin (Correct)
No context found.
J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics,Cam- bridge University Press, 1988.
JACK: A process algebra implementation in Java - Freitas (2002) (Correct)
No context found.
J. M. Spivey. Understanding Z: a specification language and its formal semantics. Cambridge University Press, 1988. 182
Specifying Temporal Requirements for Distributed Real-Time.. - Andrew Coombes John (1992) (11 citations) (Correct)
No context found.
Spivey88. J. Michael Spivey, Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, UK (January 1988).
A Z Patterns Catalogue II - definitions and laws, v0.1 - Valentine, Stepney, Toyn (2004) (Correct)
No context found.
J. Michael Spivey. Understanding Z: a specification language and its formal semantics. Cambridge University Press, 1988.
Two Semantic Embeddings of Z Schemas in Isabelle/HOL - Völker (2001) (Correct)
No context found.
J.M. Spivey. Understanding Z: a specification language and its formal semantics. Cambridge Tracts in Theoretical Computer Science 3. Cambridge University Press, 1988.
How to Formalize It? Formalization Principles for.. - Hofstede, Proper (1998) (Correct)
No context found.
J.M. Spivey. Understanding Z: A Specification Language and its Formal Semantics. Cambridge University Press, Cambridge, United Kingdom, 1988.
An Object-Oriented Approach to Formal Specification - Smith (1992) (13 citations) (Correct)
No context found.
J.M. Spivey. Understanding Z: A specification language and its formal semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, UK, 1988.
Formal Methods Applied to a Floating Point Number System - Geoff Barrett July (1989) (31 citations) (Correct)
No context found.
M. J. Spivey, Understanding Z: A specification language and its formal semantics, Cambridge, England: Cambridge University Press, 1988.
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) (Correct)
No context found.
J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics. Cambridge Tracts in Theoretical Computer Science 3. Cambridge University Press, Cambridge, UK, 1988.
Model-Based Verification and Validation of Properties - Engels, Küster, Heckel.. (2003) (Correct)
No context found.
J. M. Spivey. Introducing Z: a Specification Language and its Formal Semantics. Cambridge University Press, 1988. 18
Z Logic and its Consequences - Henson, Reeves, Bowen (2003) (Correct)
No context found.
J. M. Spivey: Understanding Z: A Specification Language and its Formal Semantics. Cambridge University Press, 1988.
Combination and Implementation of Processes and Data: from CSP-OZ .. - Fischer (2000) (18 citations) (Correct)
No context found.
J. M. Spivey. Understanding Z: a specification language and its formal semantics. Cambridge tracts in theoretical computer science. Cambridge University Press, 1988.
Z Logic And Its Consequences - Henson, Reeves, Bowen (2003) (Correct)
No context found.
J. M. Spivey: Understanding Z: A Specification Language and its Formal Semantics. Cambridge University Press, 1988.
The STRESS Method for Boundary-Point - Performance Analysis Of (Correct)
No context found.
J. Spivey, Understanding Z: A Specification Language and its Formal Semantics. Cambridge, U.K.: Cambridge Univ. Press, 1988.
Using Relations on Streams to Solve the RPC-Memory.. - Stølen (1996) (Correct)
No context found.
J. M. Spivey. Understanding Z, A Specification Language and its Formal Semantics,volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
No context found.
J. M. Spivey. Understanding Z -- A Specification Language and its Formal Semantics. Cambridge Tracts in Computer Science 3. Cambridge University Press, 1988.
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach - Mahony, Dong (2002) (Correct)
No context found.
Spivey, J. M.: Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, UK, 1988.
Versioning in a Software Engineering Database - The Change.. - Munch (1993) (13 citations) (Correct)
No context found.
J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics. Cambridge University Press, 1988. 131 pp.
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