Publication:
Program Development and Specification Refinement in the Schema Calculus

Authors

Thumbnail Image

Permanent Link

https://hdl.handle.net/10289/1533
DOI
10.1007/3-540-44525-0_20

Publisher link

Rights

Share on Facebook
Share on LinkedIn
Share on X
Share by Email

Abstract

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.

Citation

Henson, M.C. & Reeves, S.(2000). Program Development and Specification Refinement in the Schema Calculus. In J.P. Bowen et al. (Eds), Proceedings of First International Conference of B and Z Users York, UK, August 29 – September 2, 2000.(pp. 344-362). Berlin: Springer.

Type

Conference Contribution

Series name

Date

2000

Publisher

Springer, Berlin

Degree

Type of thesis

Supervisor

Link to supplementary material

Keywords

computer science, schema calculus, Z

Research Projects

Organizational Units

Journal Issue

Collections

Computing and Mathematical Sciences Papers