Using abduction and induction for operational requirements elaboration
From MaRDI portal
Publication:833728
DOI10.1016/j.jal.2008.10.002zbMath1176.68152MaRDI QIDQ833728
Oliver Ray, Sebastian Uchitel, Alessandra Russo, Dalal Alrajeh
Publication date: 14 August 2009
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2008.10.002
inductive logic programming; linear temporal logic; abductive reasoning; event calculus; goal-oriented requirements engineering; scenario-based specification
Related Items
Cites Work