A CRITICAL COMPARISON OF EXISTING SOFTWARE CONTRACT TOOLS
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.
Software contracts Design by contract Formal software specification
Janina Voigt Warwick Irwin Neville Churcher
Department of Computer Science and Software Engineering, University of Canterbury, Christchurch, New Zealand
国际会议
13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)
北京
英文
1678-1687
2011-06-08（万方平台首次上网日期，不代表论文的发表时间）