Show simple item record  

dc.contributor.authorReeves, Steve
dc.contributor.authorStreader, David
dc.coverage.spatialConference held at Londonen_NZ
dc.date.accessioned2009-01-15T03:49:14Z
dc.date.available2009-01-15T03:49:14Z
dc.date.issued2007
dc.identifier.citationReeves, S. & Streader, D. (2007). Feature refinement. In Proceedings of Fifth IEEE International Conference on Software Engineering and Formal Methods(SEFM 2007), 2007(pp. 371-380). Washington, DC,USA: IEEE.en
dc.identifier.urihttps://hdl.handle.net/10289/1788
dc.description.abstractDevelopment by formal stepwise refinement offers a guarantee that an implementation satisfies a specification. But refinement is frequently defined in such a restrictive way as to disallow some useful development steps. Here we de- fine feature refinement to overcome some limitations of re- finement and show its usefulness by applying it to examples taken from the literature. Using partial relations as a canonical state-based semantics and labelled transition systems as a canonical event-based semantics, we degine functions formally linking the state- and event-based operational semantics. We can then use this link to move notions of refinement between the event- and state-based worlds. An advantage of this abstract approach is that it is not restricted to a specific syntax or even a specific interpretation of the operational semanticsen
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEE Computer Societyen
dc.relation.urihttp://www2.computer.org/portal/web/csdl/doi/10.1109/SEFM.2007.14en
dc.rightsThis article has been published in the Proceedings of Fifth IEEE International Conference on Software Engineering and Formal Methods(SEFM 2007), 2007. ©2007 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
dc.sourceSEFM 2007en_NZ
dc.subjectcomputer scienceen
dc.subjectstate-based refinementen
dc.subjectevent-based refinementen
dc.subjectfeature refinementen
dc.subjectstuttering refinementen
dc.subjectZen
dc.subjectBen
dc.subjectEvent Ben
dc.titleFeature refinementen
dc.typeConference Contributionen
dc.identifier.doi10.1109/SEFM.2007.14en
dc.relation.isPartOfProc 5th International Conference on Software Engineering and Formal Methodsen_NZ
pubs.begin-page371en_NZ
pubs.elements-id17400
pubs.end-page380en_NZ
pubs.finish-date2007-09-14en_NZ
pubs.place-of-publicationUSAen_NZ
pubs.start-date2007-09-12en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record