Add to ORKGWe provide a constructive and intensional interpretation for the specification language Z in a theory of operations and kinds T. The motivation is to facilitate the development of an integrated approach to program construction. We illustrate the new foundations for Z with examples
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
This paper describes a model for supporting the process of specification construction. The model enc...
This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journa...
We provide a constructive and intensional interpretation for the specification language Z in a theor...
. We provide a constructive and intensional interpretation for the specification language Z in a the...
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...
In this chapter, we describe a specification logic called ?Z. This is a Z-like formal method in whic...
We introduce a framework for program development and specification refinement in the schema calculus...
This thesis uses the Z specification language notation to discuss the relationship between programs ...
A view is a partial specification of a program, consisting of a state space and a set of operations....
This paper describes a model for supporting the process of specification construction. The model enc...
In this paper we present a formalization of the Z notation and its structuring mechanisms. One of th...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
We provide an introduction to the specification language Z from a logical perspective. The possibili...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
This paper describes a model for supporting the process of specification construction. The model enc...
This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journa...
We provide a constructive and intensional interpretation for the specification language Z in a theor...
. We provide a constructive and intensional interpretation for the specification language Z in a the...
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...
In this chapter, we describe a specification logic called ?Z. This is a Z-like formal method in whic...
We introduce a framework for program development and specification refinement in the schema calculus...
This thesis uses the Z specification language notation to discuss the relationship between programs ...
A view is a partial specification of a program, consisting of a state space and a set of operations....
This paper describes a model for supporting the process of specification construction. The model enc...
In this paper we present a formalization of the Z notation and its structuring mechanisms. One of th...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
We provide an introduction to the specification language Z from a logical perspective. The possibili...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
This paper describes a model for supporting the process of specification construction. The model enc...
This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journa...