Program Development and Specification Refinement in the Schema Calculus

Simple item page
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.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.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.doi10.1007/3-540-44525-0_20en_US
dc.identifier.urihttps://hdl.handle.net/10289/1533
dc.language.isoen
dc.publisherSpringer, Berlinen_US
dc.relation.isPartOfProc 1st International Conference of B and Z Users: Formal Specification and Development in Z and Ben_NZ
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
dspace.entity.typePublication
pubs.begin-page344en_NZ
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

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Computing and Mathematical Sciences Papers