Revision as of 13:47, 20 April 2007 edit SmackBot (talk \| contribs) 3,734,324 edits m Date/fix the maintenance tags ← Previous edit		Revision as of 22:26, 2 June 2007 edit undo Wikidrone (talk \| contribs) Extended confirmed users 1,109 edits not a design pattern Next edit →
Line 5: The idea of developing the program together with its proof originated from [[Edsger Dijkstra\|E.W. Dijkstra]]. Actually writing invariants before program statements has been considered in a number of different forms by M.H. van Emden, [[John C. Reynolds\|J.C. Reynolds]] and [[Ralph-Johan Back\|R-J Back]]. ~~[[Category:Software design patterns]]~~

Invariant-based programming: Difference between revisions