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. Keyword: Z, requirements, conjectures, DVD

• Type: Conference
• Year: 2005
• Where: ZUM
• Authors: Jemima Rossmorris, Susan Stepney
• Keywords: Formal Methods, Menu Navigation, Potential Algorithms, Requirements, ZUM 2005