Show simple item record  

dc.contributor.authorBowen, Judy
dc.contributor.authorReeves, Steve
dc.coverage.spatialConference held at Guildford, UKen_NZ
dc.identifier.citationBowen, J. & Reeves, S. (2005). Including design guidelines in the formal specification of interfaces in Z. In H. Treharne et al. (Eds), Proceedings of 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. (pp. 454-471). Berlin: Springer.en_US
dc.description.abstractFor any sort of computer system, the problems of being sure you have asked for the right thing and then being sure you are implementing the right thing are important and hard problems. For systems with a graphical user interface there are the analogous additional problems of making sure that the interface allows any interaction that is required, and works in a usable way. Design guidelines are used in both the design and evaluation of user interfaces to try and ensure that the systems we build are both usable and conform to specific requirements. This paper discusses practical ways in which we can use formal methods to model guidelines for interface design and then use these as a basis for the formal proof that a specified system has the desired properties described in the guidelines.en_US
dc.publisherSpringer, Berlinen_US
dc.sourceZB 2005en_NZ
dc.subjectcomputer scienceen_US
dc.titleIncluding design guidelines in the formal specification of interfaces in Zen_US
dc.typeConference Contributionen_US
dc.relation.isPartOfFormal Specification and Development in Z and B: 4th International Conference of B and Z Usersen_NZ
pubs.volumeLNCS 3455en_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