Requirements, specifications, and minimal refinement

Gorogiannis, Nikos ORCID logoORCID: 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)

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

Download (267kB)


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

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science > Artificial Intelligence group
A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15923
Notes on copyright: © 2002 Published by Elsevier Science B. V. Open access under CC BY-NC-ND license.
Useful Links:
Depositing User: Nikos Gkorogiannis
Date Deposited: 12 May 2015 14:40
Last Modified: 30 Nov 2022 02:44

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.