You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Imperial College London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Imperial College London

Return to search Previous output Next output

Output 109 of 201 in the submission

Output title

Learning Operational Requirements from Goal Models

Type

E - Conference contribution

DOI

10.1109/ICSE.2009.5070527

Name of conference/published proceedings

31st International Conference on Software Engineering (ICSE 2009)

Volume number

Issue number

First page of article

265

ISSN of proceedings

0270-5257

Year of publication

2009

URL

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

B - Distributed Software Engineering

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract