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 37 of 201 in the submission

Article title

Automated Abstractions for Contract Validation

Type

D - Journal article

DOI

10.1109/TSE.2010.98

Title of journal

IEEE Transactions on Software Engineering

Article number

Volume number

Issue number

First page of article

141

ISSN of journal

0098-5589

Year of publication

2012

URL

Number of additional authors

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

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract