This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound. We then provide an interpretation for (a rational reconstruction of) the specification language Z within ZC. As a result we obtain a sound logic for Z, including a basic schema calculus
Abstract. We show how a theory of specification refinement and program development can be constructe...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
In this paper we introduce and investigate an improved kernel logic Zc for the specification languag...
This is the first of two related papers. We introduce a simple specification logic ZC comprising a l...
This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journa...
We introduce a simple specification logic Zc comprising a logic and semantics (in ZF set theory). We...
This paper provides an introduction to the specification language Z from a logical perspective. The ...
This paper provides an introduction to the specification language Z from a logical perspective. The ...
We show how a theory of specification refinement and program development can be constructed as a con...
This thesis uses the Z specification language notation to discuss the relationship between programs ...
We provide an introduction to the specification language Z from a logical perspective. The possibili...
AbstractThe popularity and flexibility of the Z notation can largely be attributed to its notion of ...
The popularity and flexibility of the Z notation can largely be attributed to its notion of schemas....
The Z notation is a formal specification language used for describing and mod-elling computing syste...
The popularity and flexibility of the Z notation can largely be attributed to its notion of schemas....
Abstract. We show how a theory of specification refinement and program development can be constructe...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
In this paper we introduce and investigate an improved kernel logic Zc for the specification languag...
This is the first of two related papers. We introduce a simple specification logic ZC comprising a l...
This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journa...
We introduce a simple specification logic Zc comprising a logic and semantics (in ZF set theory). We...
This paper provides an introduction to the specification language Z from a logical perspective. The ...
This paper provides an introduction to the specification language Z from a logical perspective. The ...
We show how a theory of specification refinement and program development can be constructed as a con...
This thesis uses the Z specification language notation to discuss the relationship between programs ...
We provide an introduction to the specification language Z from a logical perspective. The possibili...
AbstractThe popularity and flexibility of the Z notation can largely be attributed to its notion of ...
The popularity and flexibility of the Z notation can largely be attributed to its notion of schemas....
The Z notation is a formal specification language used for describing and mod-elling computing syste...
The popularity and flexibility of the Z notation can largely be attributed to its notion of schemas....
Abstract. We show how a theory of specification refinement and program development can be constructe...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
In this paper we introduce and investigate an improved kernel logic Zc for the specification languag...
DOI
Add to ORKG