Output details
11 - Computer Science and Informatics
Imperial College London
Return to search
Output 0 of 0 in the submission
Article title
Elaborating Requirements Using Model Checking and Inductive Learning
Type
D - Journal article
Title of journal
IEEE Transactions on Software Engineering
Article number
-
Volume number
39
Issue number
3
First page of article
361
ISSN of journal
0098-5589
Year of publication
2013
URL
-
Number of additional authors
3
Additional information
<07>
This is the culmination of 6 years of the authors’ research on formal methods in requirements engineering. The major achievement is the fully automatic elaboration of complex systems requirements through model checking and inductive learning, a long-standing problem in software engineering. Verification techniques are effective in uncovering incompleteness in specifications, but no mechanisms previously existed for computing refinements that resolve incompleteness. The work led to new collaborations with Prof. van Lamsweerde (avl@info.ucl.ac.be), the world-leader in requirements engineering with publications in ICSE12, FASE12 and ICSE13.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Distributed Software Engineering
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
