Deriving non-zeno behaviour models from goal models using ILP

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

zbMATH Keywords

model checkinginductive learninggoal-oriented requirements engineeringoperational requirementsZeno behaviour

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Deriving non-zeno behaviour models from goal models using ILP ⋮ Incremental learning of event definitions with inductive logic programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A software architecture for distributed computer control systems
• Goal-directed requirements acquisition
• Nonmonotonic abductive inductive learning
• Deriving non-zeno behaviour models from goal models using ILP
• A Hybrid Abductive Inductive Proof Procedure

This page was built for publication: Deriving non-zeno behaviour models from goal models using ILP