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.