Supporting multi-path UI development with vertical refinement

Simple item page
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.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.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.doi10.1109/ASWEC.2009.24en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/8115
dc.language.isoenen_NZ
dc.publisherIEEEen_NZ
dc.relation.isPartOfProc 20th Australian Software Engineering Conference (ASWEC 2009)en_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
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
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.71 KB
Kind: License
Collections
Computing and Mathematical Sciences Papers