Show simple item record  

dc.contributor.authorBowen, Judy
dc.contributor.authorReeves, Steve
dc.coverage.spatialConference held at Gold Coast, Australiaen_NZ
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.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.relation.ispartof2009 Australian Software Engineering Conference
dc.source20th Australian Software Engineering Conference 2009en_NZ
dc.subjectcomputer scienceen_NZ
dc.subjectUI developmenten_NZ
dc.subjectmulti-path developmenten_NZ
dc.titleSupporting multi-path UI development with vertical refinementen_NZ
dc.typeConference Contributionen_NZ
dc.relation.isPartOfProc 20th Australian Software Engineering Conference (ASWEC 2009)en_NZ
pubs.finish-date2009-04-17en_NZ Alamitos, Californiaen_NZ

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record