Extreme design by contract

Authors:
Yishai A. Feldman
Affiliations:
Efi Arazi School of Computer Science, The Interdisciplinary Center, Herzliya, Israel
Venue:
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Year:
2003

Citing 2
Cited 2

Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
iContract - The Java(tm) Design by Contract(tm) Tool

TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems

Contract driven development = test driven development - writing test cases

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Software development and experimentation in an academic environment: the Gaudi experience

PROFES'05 Proceedings of the 6th international conference on Product Focused Software Process Improvement

Quantified Score

Hi-index	0.00

Visualization

Abstract

Design by contract is a practical technique for developing code together with its (light-weight and executable) specification. It is synergistic with several XP practices, particularly unit testing and refactoring. This paper investigates this relationship and points out how it can be automated (at least in part).