A CRITICAL COMPARISON OF EXISTING SOFTWARE CONTRACT TOOLS

Janina Voigt, Warwick Irwin, Neville Churcher

2011

Abstract

The idea of using contracts to specify interfaces and interactions between software components was proposed several decades ago. Since then, a number of tools providing support for software contracts have been developed. In this paper, we explore eleven such technologies to investigate their approach to various aspects of software contracts. We present the similarities as well as the areas of significant disagreement and highlight the shortcomings of existing technologies. We conclude that the large variety of approaches to even some basic concepts of software contracts indicate a lack of maturity in the field and the need for more research.

Paper Citation

in Harvard Style

Voigt J., Irwin W. and Churcher N. (2011). A CRITICAL COMPARISON OF EXISTING SOFTWARE CONTRACT TOOLS . In Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8425-57-7, pages 38-47. DOI: 10.5220/0003421200380047

in Bibtex Style

@conference{enase11,
author={Janina Voigt and Warwick Irwin and Neville Churcher},
title={A CRITICAL COMPARISON OF EXISTING SOFTWARE CONTRACT TOOLS},
booktitle={Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2011},
pages={38-47},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003421200380047},
isbn={978-989-8425-57-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A CRITICAL COMPARISON OF EXISTING SOFTWARE CONTRACT TOOLS
SN - 978-989-8425-57-7
AU - Voigt J.
AU - Irwin W.
AU - Churcher N.
PY - 2011
SP - 38
EP - 47
DO - 10.5220/0003421200380047