Using abduction and induction for operational requirements elaboration-Reference-Cited by-同舟云学术

Using abduction and induction for operational requirements elaboration

Published:2009-09 Issue:3 Volume:7 Page:275-288
ISSN:1570-8683
Container-title:Journal of Applied Logic
language:en
Short-container-title:Journal of Applied Logic

Author:

Alrajeh D.,Ray O.,Russo A.,Uchitel S.

Publisher

Elsevier BV

Subject

Applied Mathematics,Logic

Reference29 articles.

1. D. Alrajeh, O. Ray, A. Russo, S. Uchitel, Extracting requirements from scenarios with ILP, in: Proc. of 16th Int. Conference on Inductive Logic Programming, 2006, pp. 63–77

2. Inferring operational requirements from scenarios and goal models using inductive learning;Alrajeh,2006

3. Generating annotated behavior models from end-user scenarios;Damas;IEEE Transactions on Software Engineering,2005

4. Scenarios, goals, and state machines: a win-win partnership for model synthesis;Damas,2006

5. M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, in: R.A. Kowalski, K. Bowen (Eds.), Proc. of 5th Int. Conference on Logic Programming, 1988, pp. 1070–1080

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus;Inductive Logic Programming;2022

2. GR(1)*: GR(1) specifications extended withexistential guarantees;Formal Aspects of Computing;2021-08

3. GR(1)*: GR(1) Specifications Extended with Existential Guarantees;Lecture Notes in Computer Science;2019

4. Abduction;Encyclopedia of Machine Learning and Data Mining;2017

5. Run-time architectural modeling for future internet applications;Complex & Intelligent Systems;2016-06