Output details
11 - Computer Science and Informatics
Imperial College London
Learning Operational Requirements from Goal Models
<07>This paper describes the first ever approach for formally combining model checking, inductive learning and scenarios to compute operational requirements from goal models. The work has resulted in publications in top tier conference and journals (FASE08, FASE10, ICSE12, TSE12), a new collaboration with Prof Satoh (http://research.nii.ac.jp/~ksatoh) NII Japan, the creation of the International Workshop on Machine Learning in Software Engineering (MALETS), and a successful PhD (Alrajeh). This work has also led to a much broader Junior Research Fellowship 3 year programme, awarded to Alrajeh, and collaborations with UK Home Office and Metropolitan Police. ICSE09 Acceptance 12.34%/405.