Deriving non-Zeno behaviour models from goal models using ILP

DOI10.1007/S00165-009-0128-5MaRDI QIDQ973050zbMATH OpenOpenAlexFDO

Authors Jeff Kramer, Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel

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

goal-oriented requirements engineeringinductive learningmodel checkingoperational requirementsZeno behaviour

Mathematics Subject Classification ID

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

Recommendations

• Extracting Requirements from Scenarios with ILP
• Using abduction and induction for operational requirements elaboration
• Journal on Data Semantics I
• scientific article; zbMATH DE number 1953017
• Goal-directed requirements acquisition

Cites work

• A Hybrid Abductive Inductive Proof Procedure
• A software architecture for distributed computer control systems
• Deriving non-Zeno behaviour models from goal models using ILP
• Goal-directed requirements acquisition
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• scientific article; zbMATH DE number 1926646 (Why is no real title available?)
• Nonmonotonic abductive inductive learning

Cited in

(4)

• Extracting Requirements from Scenarios with ILP
• Incremental learning of event definitions with inductive logic programming
• Using abduction and induction for operational requirements elaboration
• Deriving non-Zeno behaviour models from goal models using ILP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q973050)