Show simple item record  

Characterising Sound Visualisations of Specifications using Micro-charts and Refinement

dc.contributor.authorPilbrow, Colinen_NZ
dc.contributor.authorReeves, Steveen_NZ
dc.contributor.editorLv, Jianen_NZ
dc.contributor.editorZhang, He (Jason)en_NZ
dc.contributor.editorHinchey, Mikeen_NZ
dc.contributor.editorLiu, Xiaoen_NZ
dc.coverage.spatialNanjing, Chinaen_NZ
dc.date.accessioned2018-07-16T02:58:01Z
dc.date.available2017-01-01en_NZ
dc.date.available2018-07-16T02:58:01Z
dc.date.issued2017en_NZ
dc.identifier.citationPilbrow, C., & Reeves, S. (2017). Characterising Sound Visualisations of Specifications using Micro-charts and Refinement. In J. Lv, H. (Jason) Zhang, M. Hinchey, & X. Liu (Eds.), Proceedings of the 24th Asia-Pacific Software Engineering Conference (pp. 612–617). Washington, DC, USA: IEEE. https://doi.org/10.1109/APSEC.2017.74en
dc.identifier.issn1530-1362en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/11948
dc.description.abstractFor validation or for communication with a client, it is useful to create a visualisation of a specification. It is important that the visualisation does not mislead the user. In this work we look at how to characterise the conditions for a micro-chart visualisation to be sound. This is done by introducing a new operator to the micro-chart semantics, allowing us to use Z data refinement to find a refinement relation between a Z specification and its (claimed sound) micro-chart visualisation. If the relation does not hold, then the visualisation is not sound.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEEen_NZ
dc.rightsThis is the author's accepted version of an article published in the Proceedings of the 24th Asia-Pacific Software Engineering Conference. © 2017 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.
dc.source24th Asia-Pacific Software Engineering Conference (APSEC)en_NZ
dc.subjectScience & Technologyen_NZ
dc.subjectTechnologyen_NZ
dc.subjectComputer Science, Software Engineeringen_NZ
dc.subjectEngineering, Electrical & Electronicen_NZ
dc.subjectComputer Scienceen_NZ
dc.subjectEngineeringen_NZ
dc.titleCharacterising Sound Visualisations of Specifications using Micro-charts and Refinementen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1109/APSEC.2017.74en_NZ
dc.relation.isPartOfProceedings of the 24th Asia-Pacific Software Engineering Conferenceen_NZ
pubs.begin-page612
pubs.begin-page612
pubs.elements-id221667
pubs.end-page617
pubs.end-page617
pubs.finish-date2017-12-08en_NZ
pubs.place-of-publicationWashington, DC, USA
pubs.publication-statusPublisheden_NZ
pubs.start-date2017-12-04en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record