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 (doi:10.1016/S1571-0661(04)80550-4)

[img]
Preview
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)

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

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. http://creativecommons.org/licenses/by-nc-nd/3.0/
Useful Links:
Depositing User: Nikos Gkorogiannis
Date Deposited: 12 May 2015 14:40
Last Modified: 17 Dec 2019 05:55
URI: https://eprints.mdx.ac.uk/id/eprint/15923

Actions (login required)

Edit Item Edit Item