Requirements as Conjectures: Intuitive DVD Menu Navigation | Zendy

Jemima Rossmorris | Zendy; Susan Stepney | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Requirements as Conjectures: Intuitive DVD Menu Navigation

Author(s) -

Jemima Rossmorris,

Susan Stepney

Publication year - 2005

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-25559-1

DOI - 10.1007/11415787_11

Subject(s) - computer science , series (stratigraphy) , fuzzy logic , human–computer interaction , programming language , software engineering , artificial intelligence , paleontology , biology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research