Gorogiannis, N.; Ryan, M.

Requirements, specifications, and minimal refinement

Conference paper

Gorogiannis, N. and Ryan, M. 2002. Requirements, specifications, and minimal refinement. WoLLIC 2002: 9th Workshop on Logic, Language, Information and Computation. Rio de Janeiro, Brazil 30 Jul - 02 Aug 2002 Elsevier. https://doi.org/10.1016/S1571-0661(04)80550-4

Publication dates
Type	Conference paper
Title	Requirements, specifications, and minimal refinement
Authors	Gorogiannis, N. and Ryan, M.
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
Research Group	Artificial Intelligence group
	Foundations of Computing group
Conference	WoLLIC 2002: 9th Workshop on Logic, Language, Information and Computation
Proceedings Title	Electronic Notes in Theoretical Computer Science
ISSN	1571-0661
Publisher	Elsevier
Print	30 Oct 2002
Online	28 Sep 2004
Publication process dates
Deposited	12 May 2015
Output status	Published
Publisher's version	1-s2.0-S1571066104805504-main.pdf
Copyright Statement	© 2002 Published by Elsevier Science B. V. Open access under CC BY-NC-ND license. http://creativecommons.org/licenses/by-nc-nd/3.0/
Digital Object Identifier (DOI)	https://doi.org/10.1016/S1571-0661(04)80550-4
Language	English
Book title	Electronic Notes in Theoretical Computer Science. Volume 67: WoLLIC'2002, 9th Workshop on Logic, Language, Information and Computation