Rigorous software engineering using design by contract
KartMichael · Journal of computing sciences in colleges · 2011
An important aspect of any software system is correctness, that is, whether the system does what it is supposed to do. Despite this importance, it is frequently the case that either the software sp...