Results on formal stepwise design in Z

Simple item page
dc.contributor.authorDeutsch, Mosheen_US
dc.contributor.authorHenson, Martin C.en_US
dc.contributor.authorReeves, Steveen_US
dc.coverage.spatialConference held at Gold Coast; Australiaen_NZ
dc.date.accessioned2008-03-19T04:58:22Z
dc.date.available2007-04-29en_US
dc.date.available2008-03-19T04:58:22Z
dc.date.issued2002-12-01en_US
dc.description.abstractStepwise design involves the process of deriving a concrete model of a software system from a given abstract one. This process is sometimes known as refinement. There are numerous refinement theories proposed in the literature, each of which stipulates the nature of the relationship between an abstract specification and its concrete counterpart. This paper considers six refinement theories in Z that have been proposed by various people over the years. However, no systematic investigation of these theories, or results on the relationships between them, have been presented or published before. This paper shows that these theories fall into two important categories and proves that the theories in each category are equivalent.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.citationDeutsch, M., Henson, M.C. & Reeves, S. (2002). Results on formal stepwise design in Z. In Proceedings: APSEC 2002: Ninth Asia-Pacific Software Engineering Conference: 4-5 December, 2002, Gold Coast, Australia. (pp. 33-42). Los Alamitos, Calif.: IEEE Computer Society Press.en_US
dc.identifier.doi10.1109/APSEC.2002.1182973en_US
dc.identifier.urihttps://hdl.handle.net/10289/86
dc.language.isoen
dc.publisherIEEE Computer Societyen_NZ
dc.relation.isPartOfProc 9th Asia-Pacific Software Engineering Conferenceen_NZ
dc.relation.urihttp://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1182973en_US
dc.rights©2000 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.en_US
dc.sourceAPSEC 2002en_NZ
dc.titleResults on formal stepwise design in Zen_US
dc.typeConference Contributionen_US
pubs.begin-page33en_NZ
pubs.elements-id12198
pubs.end-page42en_NZ
pubs.finish-date2002-12-06en_NZ
pubs.place-of-publicationWashingtonen_NZ
pubs.start-date2002-12-04en_NZ
pubs.volume2002-Januaryen_NZ
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
content.pdf
Size:
301.59 KB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: content.pdf
Size: 301.59 KB
Kind: Adobe PDF
Collections
Computing and Mathematical Sciences Papers