Show simple item record  

dc.contributor.authorHenson, Martin C.
dc.contributor.authorReeves, Steve
dc.coverage.spatialConference held at York, UKen_NZ
dc.date.accessioned2008-12-04T22:49:22Z
dc.date.available2008-12-04T22:49:22Z
dc.date.issued2000
dc.identifier.citationHenson, 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.urihttps://hdl.handle.net/10289/1533
dc.description.abstractWe 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.isoen
dc.publisherSpringer, Berlinen_US
dc.relation.urihttp://www.springerlink.com/content/w33bmnj6mncye118/en_US
dc.sourceZB 2000en_NZ
dc.subjectcomputer scienceen_US
dc.subjectschema calculusen_US
dc.subjectZen_US
dc.titleProgram Development and Specification Refinement in the Schema Calculusen_US
dc.typeConference Contributionen_US
dc.identifier.doi10.1007/3-540-44525-0_20en_US
dc.relation.isPartOfProc 1st International Conference of B and Z Users: Formal Specification and Development in Z and Ben_NZ
pubs.begin-page344en_NZ
pubs.elements-id25978
pubs.end-page362en_NZ
pubs.finish-date2000-09-02en_NZ
pubs.place-of-publicationBerlinen_NZ
pubs.start-date2000-08-29en_NZ
pubs.volumeLNCS 1878en_NZ


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record