Show simple item record  

dc.contributor.authorBowen, Judy
dc.contributor.authorReeves, Steve
dc.coverage.spatialConference held at Gold Coast, Australiaen_NZ
dc.date.accessioned2013-10-28T22:46:00Z
dc.date.available2013-10-28T22:46:00Z
dc.date.copyright2009-04
dc.date.issued2009
dc.identifier.citationBowen, J., & Reeves, S. (2009). Supporting multi-path UI development with vertical refinement. In Proceedings of 2009 Australian Software Engineering Conference, Gold Coast, Australia (pp. 64-72). Washington, DC, USA: IEEE.en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/8115
dc.description.abstractAs computers and software applications become ubiquitous the systems we build are increasingly required to run on not just a single piece of hardware, but rather be available for different platforms, different types of hardware and offer different modes of interaction depending on the context of use. Within a formal development process when we consider refinement for interactive systems we therefore need to consider not only the transformation of abstract specifications and models into single implementations but also the possibility of multiple implementations with differing interactive requirements. In such cases the changing requirements in general and changes to the user interface in particular make supporting the development by formal refinement challenging. One way to solve this problem is by extending our notion of refinement. In this paper we introduce vertical refinement for system and interface pairs which enables us to deal with such multi-path development.en_NZ
dc.language.isoenen_NZ
dc.publisherIEEEen_NZ
dc.relation.ispartof2009 Australian Software Engineering Conference
dc.relation.urihttp://www.computer.org/csdl/proceedings/aswec/2009/3599/00/3599a064-abs.htmlen_NZ
dc.source20th Australian Software Engineering Conference 2009en_NZ
dc.subjectcomputer scienceen_NZ
dc.subjectUI developmenten_NZ
dc.subjectrefinementen_NZ
dc.subjectmulti-path developmenten_NZ
dc.titleSupporting multi-path UI development with vertical refinementen_NZ
dc.typeConference Contributionen_NZ
dc.identifier.doi10.1109/ASWEC.2009.24en_NZ
dc.relation.isPartOfProc 20th Australian Software Engineering Conference (ASWEC 2009)en_NZ
pubs.begin-page64en_NZ
pubs.elements-id18640
pubs.end-page72en_NZ
pubs.finish-date2009-04-17en_NZ
pubs.place-of-publicationLos Alamitos, Californiaen_NZ
pubs.start-date2009-04-14en_NZ


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record