Deriving non-zeno behaviour models from goal models using ILP
From MaRDI portal
Publication:973050
DOI10.1007/S00165-009-0128-5zbMath1213.68360OpenAlexW2083654756MaRDI QIDQ973050
Jeff Kramer, Dalal Alrajeh, Sebastian Uchitel, Alessandra Russo
Publication date: 28 May 2010
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-009-0128-5
model checkinginductive learninggoal-oriented requirements engineeringoperational requirementsZeno behaviour
Related Items (2)
Deriving non-zeno behaviour models from goal models using ILP ⋮ Incremental learning of event definitions with inductive logic programming
Cites Work
This page was built for publication: Deriving non-zeno behaviour models from goal models using ILP