Deriving non-Zeno behaviour models from goal models using ILP

DOI10.1007/S00165-009-0128-5zbMATH Open1213.68360OpenAlexW2083654756MaRDI QIDQ973050FDOQ973050

Dalal Alrajeh, Jeff Kramer, 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

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

zbMATH Keywords

model checkinginductive learninggoal-oriented requirements engineeringoperational requirementsZeno behaviour

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Nonmonotonic abductive inductive learning
• Title not available (Why is that?)
• A software architecture for distributed computer control systems
• Goal-directed requirements acquisition
• Deriving non-zeno behaviour models from goal models using ILP
• A Hybrid Abductive Inductive Proof Procedure

Cited In (4)

• Using abduction and induction for operational requirements elaboration
• Incremental learning of event definitions with inductive logic programming
• Deriving non-zeno behaviour models from goal models using ILP
• Extracting Requirements from Scenarios with 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)