Design by Contract to improve Software Vigilance

by Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
Reference:
Design by Contract to improve Software Vigilance (Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel), In IEEE Transactions on Software Engineering, IEEE, volume 32, 2006.
Bibtex Entry:
@article{letraon06a,
	keywords = {test, contracts, OOP, selected},
	Author = {Le Traon, Yves and Baudry, Benoit and J{'e}z{'e}quel, Jean-Marc},
	Journal = {IEEE Transactions on Software Engineering},
	Month = aug,
	Number = {8},
	Pages = {571--586},
	Publisher = {IEEE},
	Title = {Design by Contract to improve Software Vigilance},
	url = {http://www.irisa.fr/triskell/publis/2006/letraon06a.pdf},
	Volume = {32},
	x-abbrv = {TSE},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Language = {EN},
	Year = {2006},}