Requirements as Conjectures: Intuitive DVD Menu Navigation

  • Jemima Rossmorris
  • Susan Stepney
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3455)


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.


requirements conjectures DVD 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Abowd & Dix 1992]
    Abowd, G.D., Dix, A.J.: Abowd and Alan J. Dix. Giving undo attention. Interacting with Computers 4(3), 317–342 (1992)CrossRefGoogle Scholar
  2. [ISO-Z 2002]
    ISO/IEC 13568. Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics: International Standard (2002),
  3. [Norman 2001]
    Norman, D.A.: DVD menu design: The failures of web design recreated yet again (December 2001),
  4. [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
  5. [WC3]
    WC3. HTML Techniques for Web Content Accessibility: Guidelines 1.0, WC3 Note November 6 (2000),

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jemima Rossmorris
    • 1
  • Susan Stepney
    • 1
  1. 1.Department of Computer ScienceUniversity of YorkHeslington, YorkUK

Personalised recommendations