We introduce a framework for program development and specification refinement in the schema calculus of Z. We provide illustrative examples outlining the major design decisions based on an interpretation of operation schemas as sets of programs
This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journa...
The Z notation is a formal specification language used for describing and mod-elling computing syste...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
We introduce a framework for program development and specification refinement in the schema calculus...
We show how a theory of specification refinement and program development can be constructed as a con...
Abstract. We show how a theory of specification refinement and program development can be constructe...
AbstractThe popularity and flexibility of the Z notation can largely be attributed to its notion of ...
The schema calculus of Z provides a means for expressing structured, modular specifications. Extendi...
AbstractIt is well known that the principal operators in the Z schema calculus are not monotonic wit...
The popularity and flexibility of the Z notation can largely be attributed to its notion of schemas....
In this paper we introduce and investigate a logic for the schema calculus of Z. The schema calculus...
This thesis uses the Z specification language notation to discuss the relationship between programs ...
The popularity and flexibility of the Z notation can largely be attributed to its notion of schemas....
This paper examines how specification construction operators may be added to the refinement calctilu...
We present a methodology for the formal specification and development of software systems using Z an...
This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journa...
The Z notation is a formal specification language used for describing and mod-elling computing syste...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
We introduce a framework for program development and specification refinement in the schema calculus...
We show how a theory of specification refinement and program development can be constructed as a con...
Abstract. We show how a theory of specification refinement and program development can be constructe...
AbstractThe popularity and flexibility of the Z notation can largely be attributed to its notion of ...
The schema calculus of Z provides a means for expressing structured, modular specifications. Extendi...
AbstractIt is well known that the principal operators in the Z schema calculus are not monotonic wit...
The popularity and flexibility of the Z notation can largely be attributed to its notion of schemas....
In this paper we introduce and investigate a logic for the schema calculus of Z. The schema calculus...
This thesis uses the Z specification language notation to discuss the relationship between programs ...
The popularity and flexibility of the Z notation can largely be attributed to its notion of schemas....
This paper examines how specification construction operators may be added to the refinement calctilu...
We present a methodology for the formal specification and development of software systems using Z an...
This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journa...
The Z notation is a formal specification language used for describing and mod-elling computing syste...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
DOI
Add to ORKG