A. Russo, R. Miller, B. Nuseibeh, and J. Kramer. An abductive approach for handling inconsistencies in SCR specifications. In Proceedings of the 3rd ICSE Workshop on Intelligent Software Engineering, Limerick, 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reasoning About Compositions of Concerns - Chechik, Easterbrook (2001) (3 citations) (Correct)
....first used by Belnap [4] in 1977 in the context of reasoning about inconsistent updates to a database. Here the system represents one concern, and each individual update represents a different concern. Compositions of potentially inconsistent concerns can be effectively described using abduction [21, 22]. Abduction creates a number of consistent worlds, where each world represents a possible resolution of inconsistency. Unfortunately, abductive reasoning is basically a limited version of composition as conjunction [1, 24] and cannot support other compositions. Instead, we argue that a family of ....
A. Russo, R. Miller, B. Nuseibeh, and J. Kramer. "An Abductive Approach for Handling Inconsistencies in SCR Specifications". In Proceedings of ICSE2000 Workshop on Intelligent Software Engineering, 2000.
ACLP: Integrating Abduction and Constraint Solving - Kakas (2000) (2 citations) (Correct)
.... of crew schedulling (Kakas Michael 1999) Other groups have used ACLP for (i) optical music recognition (Ferrand, Leite, Cardoso 1999) where ACLP was used to implement a system that can handle recognition under incomplete information, and (ii) resolving inconsistencies in software requirements (Russo et al. 1999) where (a simplified form of) ACLP was used to identify the causes of inconsistency and suggest changes that can restore consistency of the specification. Also the intelligent information integration work of (Bressan Goh. 1997) although it does not use ACLP in its implementation its approach to ....
Russo, A.; Miller, R.; Nuseibeh, B.; and Kramer, J. 1999. An abductive approach for handling inconsistencies in scr specifications. Technical report, Imperial College.
Combining Abductive Reasoning and Inductive Learning .. - Garcez, Russo.. (2003) Self-citation (Russo Nuseibeh) (Correct)
.... In our approach, abduction is used, instead, in refutation mode, in order to enable both (i) the analysis of system descriptions with respect to system properties, and (ii) the generation of counter examples (incorrect system transitions) as diagnostic information of properties violation [39, 40]. In refutation mode, the analysis task is translated into the equivalent task of showing that it is not possible to consistently extend the description D with assumptions A in such a way that the extended description entails the negation of the goal G, i.e. D [J A G. The equivalence between ....
A. Russo, R. Miller, B. Nuseibeh, and J. Kramer. An abductive approach for handling inconsistencies in SCR specifications. In Proceedings of the 3rd ICSE Workshop on Intelligent Software Engineering, Limerick, 2000.
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