dc.contributor.author | Henson, Martin C. | |
dc.contributor.author | Reeves, Steve | |
dc.coverage.spatial | Conference held at York, UK | en_NZ |
dc.date.accessioned | 2008-12-04T22:49:22Z | |
dc.date.available | 2008-12-04T22:49:22Z | |
dc.date.issued | 2000 | |
dc.identifier.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. | en_US |
dc.identifier.uri | https://hdl.handle.net/10289/1533 | |
dc.description.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. | |
dc.language.iso | en | |
dc.publisher | Springer, Berlin | en_US |
dc.relation.uri | http://www.springerlink.com/content/w33bmnj6mncye118/ | en_US |
dc.source | ZB 2000 | en_NZ |
dc.subject | computer science | en_US |
dc.subject | schema calculus | en_US |
dc.subject | Z | en_US |
dc.title | Program Development and Specification Refinement in the Schema Calculus | en_US |
dc.type | Conference Contribution | en_US |
dc.identifier.doi | 10.1007/3-540-44525-0_20 | en_US |
dc.relation.isPartOf | Proc 1st International Conference of B and Z Users: Formal Specification and Development in Z and B | en_NZ |
pubs.begin-page | 344 | en_NZ |
pubs.elements-id | 25978 | |
pubs.end-page | 362 | en_NZ |
pubs.finish-date | 2000-09-02 | en_NZ |
pubs.place-of-publication | Berlin | en_NZ |
pubs.start-date | 2000-08-29 | en_NZ |
pubs.volume | LNCS 1878 | en_NZ |