Show simple item record  

dc.contributor.authorPilbrow, Colinen_NZ
dc.contributor.authorReeves, Steveen_NZ
dc.coverage.spatialAdelaide, Australiaen_NZ
dc.date.accessioned2015-12-06T20:32:24Z
dc.date.available2015en_NZ
dc.date.available2015-12-06T20:32:24Z
dc.date.issued2015en_NZ
dc.identifier.citationPilbrow, C., & Reeves, S. (2015). Using state machines for the visualisation of specifications via refinement. In Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference (Vol. II, pp. 106–110). New York, USA: ACM. http://doi.org/10.1145/2811681.2811702en
dc.identifier.isbn978-1-4503-3796-0en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/9795
dc.description.abstractWe talk in this paper about using state machines and refinement to characterise the visualisation of a computation. We use Z specifications to give examples of systems in the usual way, and then use Z schemas to also represent states and transitions in state machines, which we consider to be a particular kind of visualisation of a specified system. We have investigated the principle of substitutivity and the idea of downward simulation to check whether or not a refinement relation exists between the specification and the state machine. We are looking at this because we believe that the soundness of the visualisation can be captured by such a refinement relationship.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherACMen_NZ
dc.rights© 2015 Copyright held by the owner/author(s). Publication rights licensed to ACM.
dc.sourceASWEC 2015en_NZ
dc.titleUsing state machines for the visualisation of specifications via refinementen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1145/2811681.2811702en_NZ
dc.relation.isPartOfProceedings of the ASWEC 2015 24th Australasian Software Engineering Conferenceen_NZ
pubs.begin-page106
pubs.elements-id133529
pubs.end-page110
pubs.finish-date2015-10-01en_NZ
pubs.place-of-publicationNew York, USA
pubs.start-date2015-09-28en_NZ
pubs.volumeIIen_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record