Nuseibeh, B., and Russo, A. (1999). Using Abduction to Evolve Inconsistent Requirements Specifications. Australian Journal of Information Systems, Special Issue on Requirements Engineering. ISSN:1039-7841: 118-130. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Consistency Managementby Prioritized Minimal Revision - Satoh (Correct)
....computed by our proof procedure. 4 Related Work Application of default reasoning to evolving requirement engineering is mainly used directly to specify assumptive requirement [Ryan93, Zowghi96] whereas in this paper, we use default reasoning to specify change in software specification. Recently, [Nuseibeh99] proposes a usage of abduction to avoid from an inconsistent specification and uses abductive logic programming. From our experience of using abductive logic programing[Satoh98] it turns out that a minimality check of abducibles will be necessary. So, we changed to use an extended logic ....
Nuseibeh, B. and Russo, A., Using Abduction to Evolve Inconsistent Requirements Specifications, Proc. of ICSE99 workshop on Software Change and Evolution (1999).
An Abductive Approach for Analysing Event-Based.. - Russo, Miller.. (2001) (2 citations) Self-citation (Nuseibeh Russo) (Correct)
....of time that is independent of any (sequence of) events under consideration. This characteristic makes it straightforward to model event based systems where a number of input events may occur simultaneously, and where the system behavior may in some circumstances be non deterministic (see [37]) Second, the Event Calculus ontology is close enough to existing types of event based requirements specifications to allow them to be mapped automatically into the logical representation. This allows our approach and tool to be used as a back end to existing requirements engineering ....
....However, we are currently investigating its applicability to LTS style specifications [33] which may be for concurrent and non deterministic systems. Different forms of Event Calculus have been presented in the literature [32; 45] Our approach adapts a simple classical logic form [37], whose ontology consists of (i) a set of time points isomorphic to the non negative integers, ii) a set of time varying properties called fluents, and (iii) a set of event types (or actions) The logic is correspondingly sorted 3 , and includes the predicates Happens, Initiates, Terminates and ....
[Article contains additional citation context not shown here]
Nuseibeh, B., and Russo, A. (1999). Using Abduction to Evolve Inconsistent Requirements Specifications. Australian Journal of Information Systems, Special Issue on Requirements Engineering. ISSN:1039-7841: 118-130.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC