Requirements as Conjectures: Intuitive DVD Menu Navigation

Jemima Rossmorris; Susan Stepney; Helen Treharne; Steve King; Martin C. Henson; Steve A. Schneider

Requirements as Conjectures: Intuitive DVD Menu Navigation

Jemima Rossmorris, Susan Stepney, Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

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.

Original language	Undefined/Unknown
Pages	172-186
Publication status	Published - 2005

Access to Document

http://dx.doi.org/10.1007/11415787_11

Cite this

@conference{644c6bf046fd41aba52b873b02a4e59b,

title = "Requirements as Conjectures: Intuitive DVD Menu Navigation",

abstract = "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.",

author = "Jemima Rossmorris and Susan Stepney and Helen Treharne and Steve King and Henson, {Martin C.} and Schneider, {Steve A.}",

year = "2005",

language = "Undefined/Unknown",

pages = "172--186",

}

TY - CONF

T1 - Requirements as Conjectures

T2 - Intuitive DVD Menu Navigation

AU - Rossmorris, Jemima

AU - Stepney, Susan

AU - Treharne, Helen

AU - King, Steve

AU - Henson, Martin C.

AU - Schneider, Steve A.

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

M3 - Paper

SP - 172

EP - 186

ER -