Requirements, specifications, and minimal refinement

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Ryan, Mark (2002) Requirements, specifications, and minimal refinement. Electronic Notes in Theoretical Computer Science. Volume 67: WoLLIC'2002, 9th Workshop on Logic, Language, Information and Computation. In: WoLLIC 2002: 9th Workshop on Logic, Language, Information and Computation, 30 Jul - 2 Aug 2002, Rio de Janeiro, Brazil. . ISSN 1571-0661 [Conference or Workshop Item] (doi:10.1016/S1571-0661(04)80550-4)

Preview	PDF - Published version (with publisher's formatting) Download (945kB) | Preview
	PDF - Final accepted version (with author's formatting) Restricted to Repository staff and depositor only Download (267kB)

Abstract

Refinement is usually employed to produce more concrete versions of a specification, or to add new requirements to it. However, during specification revision one may over-refine, thus incorporating unnecessary requirements. In this paper, we argue that this process can be formalised by the notion of minimal refinements, hence avoiding over-refinement, and prove that this definition is well-behaved theoretically as well as computationally

Actions (login required)

View Item

Statistics

DownloadsShow export options

Export as CSVXMLJSON

Activity Overview

6 month trend

129Downloads

6 month trend

346Hits

Additional statistics are available via IRStats2.