Requirements, specifications, and minimal refinement

Gorogiannis, Nikos ORCID: 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: 17 Dec 2019 05:55

Actions (login required)

View Item View Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year