Output details
11 - Computer Science and Informatics
Imperial College London
Return to search
Output 0 of 0 in the submission
Article title
Automated Abstractions for Contract Validation
Type
D - Journal article
Title of journal
IEEE Transactions on Software Engineering
Article number
-
Volume number
38
Issue number
1
First page of article
141
ISSN of journal
0098-5589
Year of publication
2012
URL
-
Number of additional authors
3
Additional information
<08>
The ideas in this TSE journal paper were developed to address needs that arose during consultancy work for industry and resulted in uncovering various undiscovered problems in industry specifications. The paper’s enabledness-preserving abstraction has been shortlisted by Microsoft’s Windows Server and Tools Interoperability Team to address their recurrent need to reduce complex protocol behavioral models to a more succinct representation.
The work also led to a Microsoft Software Engineering Innovation Foundation Award.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Distributed Software Engineering
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-