Design by Contract to improve Software Vigilance

  • By
by Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
View PDF
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},
	Number = {8},
	Pages = {571--586},
	Publisher = {IEEE},
	Title = {Design by Contract to improve Software Vigilance},
	doi       = {10.1109/TSE.2006.79},
	url = {https://hal.inria.fr/inria-00542784/document},
	Volume = {32},
	x-abbrv = {TSE},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Language = {EN},
	Year = {2006},}