Requirements as Conjectures: Intuitive DVD Menu Navigation
In this paper we use Z to capture the requirements for an ‘intuitive’ menu navigation system as a series of conjectures that should hold. We use those requirements to investigate potential algorithms. The Z formalisation enables the somewhat fuzzy requirement of ‘being intuitive’ to be captured precisely, analysed, and critiqued, leading to possibly new requirements, and more intuitive algorithms.
KeywordsZ requirements conjectures DVD
Unable to display preview. Download preview PDF.
- [Abowd & Dix 1992]
- [ISO-Z 2002]ISO/IEC 13568. Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics: International Standard (2002), http://www.iso.org/iso/en/ittf/PubliclyAvailableStandards/c021573_ISO_IEC_13568_2002E.zip
- [Norman 2001]Norman, D.A.: DVD menu design: The failures of web design recreated yet again (December 2001), http://www.jnd.org/dn.mss/DVDmenus.html
- [Valentine et al. 2004]Valentine, S.H., Stepney, S., Toyn, I.: A Z patterns catalogue II: definitions and laws, v0.1. Technical Report YCS-2004-383, Department of Computer Science, University of York (October 2004)Google Scholar
- [WC3]WC3. HTML Techniques for Web Content Accessibility: Guidelines 1.0, WC3 Note November 6 (2000), http://www.w3.org/TR/2000/NOTE-WCAG10-HTML-TECHS-20001106/