Invariant-based programming: Difference between revisions

Revision as of 23:57, 16 March 2006

Revision as of 03:05, 6 June 2006

Line 5:

Writing invariants before program statements has been considered in a number of different forms by, e.g, M.H. van Emden, [[Edsger Dijkstra|E.W. Dijkstra]], [[John C. Reynolds|J.C. Reynolds]] and [[Ralph-Johan Back|R-J Back]].

[[Category:ComputerSoftware sciencedesign patterns]]