Show simple item record  

dc.contributor.authorBowen, Judyen_NZ
dc.contributor.authorDittmar, Ankeen_NZ
dc.contributor.editorLv, Jianen_NZ
dc.contributor.editorZhang, Heen_NZ
dc.contributor.editorHinchey, Mikeen_NZ
dc.contributor.editorLiu, Xiaoen_NZ
dc.coverage.spatialNanjing, PEOPLES R CHINAen_NZ
dc.date.accessioned2018-05-09T22:16:44Z
dc.date.available2017-01-01en_NZ
dc.date.available2018-05-09T22:16:44Z
dc.date.issued2017en_NZ
dc.identifier.citationBowen, J., & Dittmar, A. (2017). Formal Definitions for Design Spaces and Traces. In J. Lv, H. Zhang, M. Hinchey, & X. Liu (Eds.), 2017 24th Asia-Pacific Software Engineering Conference (APSEC 2017) (pp. 600–605). Washington, DC, USA: IEEE. https://doi.org/10.1109/APSEC.2017.72en
dc.identifier.issn1530-1362en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/11817
dc.description.abstractWithin the domain of interactive system development and design, particularly for safety-critical systems, there is an inherent tension between formalisms used for software engineering methodologies and the creative aspects of design. In this paper we consider how we might better unify these by way of a framework for design spaces and design artefacts. We present formal definitions for simple and complex design spaces and then describe how they are incorporated into traces. We then discuss how these can be used to reason about considerations such as preservation of requirements and iterative changes throughout the design process and provide some small examples of this.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEEen_NZ
dc.rights© 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
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.subjectsoftware designen_NZ
dc.subjectformal methodsen_NZ
dc.subjectREFINEMENTen_NZ
dc.titleFormal Definitions for Design Spaces and Tracesen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1109/APSEC.2017.72en_NZ
dc.relation.isPartOf2017 24th Asia-Pacific Software Engineering Conference (APSEC 2017)en_NZ
pubs.begin-page600
pubs.elements-id221670
pubs.end-page605
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