Elaborating Requirements Using Model Checking and Inductive Learning

10.1109/TSE.2008.107

10.1109/FPT.2002.1188689

10.1109/ISRE.2001.948567

de roever, 1990, Design and Verification in Real-Time Distributed Computing: An Introduction to Compositional Methods, Proc IFIP WG6 1 Ninth Int'l Symp Protocol Specification Testing and Verification IX, 37

10.1109/32.738341

10.1007/s00766-004-0191-7

10.1109/IWSSD.1996.501141

10.1145/1181775.1181800

10.1109/TSE.2005.138

10.1145/239098.239131

10.1016/0167-6423(93)90021-G

giannakopoulou, 1999, Model Checking for Concurrent Software Architectures

letier, 2002, Goal-Oriented Elaboration of Requirements for a Safety Injection Control System

letier, 2001, Reasoning about Agents in Goal-oriented Requirements Engineering

10.1049/ip-e.1983.0001

koymans, 1992, Specifying Message Passing and Time-Critical Systems with Temporal Logic, 10.1007/3-540-56283-4

10.1007/BF03037383

10.1145/360248.360251

jackson, 1995, the world and the machine, 1995 17th International Conference on Software Engineering icse, 283, 10.1145/225014.225041

10.1145/940103.940106

fuxman, 2001, Model Checking Early Requirements Specifications in Tropos, Proc IEEE Int l Symp Requirements Eng, 174

gelfond, 1988, The Stable Model Semantics for Logic Programming, Proc Fifth Int'l Conf Logic Programming, 1070

10.1007/978-3-642-96826-6

10.1007/s10458-008-9028-y

magee, 1999, Concurrency State Models and Java Programs

10.1007/978-1-4612-0931-7

mitchell, 1997, Machine Learning

10.1007/BF03037227

10.1016/0743-1066(94)90035-3

10.1109/32.142871

10.1145/581352.581353

10.1145/587051.587070

corapi, 2010, Inductive Logic Programming as Abductive Search, Proc Technical Comm 26th Int'l Conf Logic Programming, 54

10.1007/s10515-008-0027-7

rolland, 1999, Experience with Goal-Scenario Coupling in Requirements Engineering, Proc IEEE Int'l Symp Requirements Eng, 74, 10.1109/ISRE.1999.777987

10.1109/32.738339

10.1093/jigpal/12.5.371

10.1109/ICRE.2003.1232781

10.1109/32.738340

10.1145/1368088.1368095

subrahmanian, 1995, Relating Stable Models and AI Planning Domains, Proc 12th Int'l Conf Logic Programming, 233

10.1109/ICSE.2009.5070527

alrajeh, 2006, Extracting Requirements from Scenarios with ILP, Proc 16th Int'l Conf Inductive Logic Programming, 63

alrajeh, 2010, Requirements Elaboration Using Model Checking and Inductive Learning

10.1007/s00165-009-0128-5

cimatti, 2002, NuSMV 2: An Opensource Tool for Symbolic Model Checking, Proc 14th Int'l Conf Computer Aided Verification, 241

ray, 2006, Using Abduction for Induction of Normal Logic Programs, Proc Workshop Abduction and Induction in AI and Scientific Modelling

clark, 1987, Readings in Nonmonotonic Reasoning, 311

10.1016/j.jal.2008.10.007

10.1016/j.jal.2008.10.002

patrizi, 2011, Computing Infinite Plans for LTL Goals Using a Classical Planner, Proc 22nd Int'l Joint Conf Artificial Intelligence, 2003

anton, 1997, Goal Identification and Refinement in the Specification of Software-Based Information Systems