@inproceedings{barnett2003serious,
author = {Barnett, Mike and Grieskamp, Wolfgang and Kerer, Clemens and Schulte, Wolfram and Szyperski, Clemens and Tillmann, Nikolai and Watson, Arthur},
title = {Serious Specification for Composing Components},
booktitle = {Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction},
year = {2003},
month = {May},
abstract = {We discuss the use of an industrial-strength specification language to specify component-level contracts for a product group within Microsoft. We outline how the specification language evolved to meet the needs of the component-based approach followed by that group. The specification language, AsmL, is executable which allows for testing to be done using runtime verification. Runtime verification dynamically monitors the behavior of a component to ensure that it conforms to its specification.},
url = {http://approjects.co.za/?big=en-us/research/publication/serious-specification-for-composing-components/},
edition = {Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction},
}