Vigilance,” IEEE Transactions on Software Engineering 32, no. 8 (August 2006): 571–586.
242 Jean-Marc Jezequel and Bertrand Meyer, “Design by Contract: the Lessons of Ariane,” IEEE Computer
(January 1997): 129–130.
243 Sometimes called Fagan inspections, after Michael Fagan who is credited with inventing formal