Jump to content

Program specification: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 13:2013:20, 29 January 2011 Ruud Koot talk contribs 34 bytes −4 more appropriate target undo

curprev 21:2821:28, 28 January 2008 Radagast83 talk contribs 38 bytes −1,426 completed merger undo

curprev 14:2414:24, 26 January 2008 Lakeworks talk contribs 1,464 bytes −290 →See also undo

curprev 07:3007:30, 19 October 2007 203.200.222.34 talk 1,754 bytes +264 →See also undo
curprev 07:2907:29, 19 October 2007 203.200.222.34 talk 1,490 bytes −75 →See also undo
curprev 07:2807:28, 19 October 2007 203.200.222.34 talk 1,565 bytes +76 →See also undo

curprev 14:3214:32, 16 October 2007 Oxymoron83 talk contribs m 1,489 bytes +733 Reverted edits by 212.219.119.164 (talk) to last version by 78.102.86.214 undo
curprev 14:2914:29, 16 October 2007 212.219.119.164 talk 756 bytes −733 →See also undo

curprev 06:3006:30, 14 October 2007 78.102.86.214 talk 1,489 bytes +4 No edit summary undo

curprev 07:1407:14, 6 May 2007 Jamelan talk contribs m 1,485 bytes +29 →See also: +ja undo

curprev 06:2706:27, 20 April 2007 Jpbowen talk contribs m 1,456 bytes +25 Added links undo

curprev 09:0909:09, 7 April 2007 EmxBot talk contribs m 1,431 bytes +60 robot Adding: bs:Specifikacija programa, hr:Specifikacija programa undo

curprev 08:2608:26, 21 March 2007 SmackBot talk contribs m 1,371 bytes +11 Date/fix maintenance tags undo

curprev 19:2219:22, 20 March 2007 Rodasmith talk contribs 1,360 bytes +38 suggest merge to functional specification undo

curprev 17:5817:58, 21 February 2007 Dreftymac talk contribs m 1,322 bytes +41 →See also: ad link undo

curprev 18:1118:11, 2 February 2007 Torfason talk contribs 1,281 bytes +8 →See also: Change link to program refinement undo

curprev 22:1322:13, 31 January 2007 Thijs!bot talk contribs m 1,273 bytes +36 robot Adding: pt:Especificação de Programa undo

curprev 22:4622:46, 27 January 2007 88.211.176.116 talk 1,237 bytes +26 →See also undo

curprev 12:4512:45, 3 December 2006 Jpbowen talk contribs m 1,211 bytes +99 Updated categories undo

curprev 09:5009:50, 2 November 2006 81.149.192.54 talk 1,112 bytes −18 No edit summary undo
curprev 09:4909:49, 2 November 2006 81.149.192.54 talk 1,130 bytes +18 No edit summary undo

curprev 20:0520:05, 29 September 2006 EmersonLowry talk contribs 1,112 bytes +319 No edit summary undo

curprev 18:0818:08, 11 March 2006 Alai talk contribs m 793 bytes −17 sort stub undo

curprev 17:3117:31, 24 November 2005 Dfletter talk contribs 810 bytes +4 No edit summary undo

curprev 08:3408:34, 30 September 2005 Jpbowen talk contribs m 806 bytes +37 Added link and stub undo
curprev 08:3008:30, 30 September 2005 Jpbowen talk contribs m 769 bytes +53 Updated links undo
curprev 08:2608:26, 30 September 2005 Jpbowen talk contribs m 716 bytes +28 Added category undo

curprev 12:4612:46, 29 August 2005 Jpbowen talk contribs m 688 bytes +27 →See also undo

curprev 11:1411:14, 4 December 2004 Jyril talk contribs m 661 bytes +9 compu-stub undo

curprev 13:4813:48, 5 September 2004 Leibniz talk contribs 652 bytes +29 No edit summary undo

curprev 14:1814:18, 18 February 2004 Zoltar0 talk contribs 623 bytes +27 add formal verification undo

curprev 17:0417:04, 7 February 2003 Oliver Pereira talk contribs m 596 bytes +8 corrected two links; added bullet points undo

curprev 11:2511:25, 22 January 2003 194.129.118.250 talk 588 bytes +10 No edit summary undo

curprev 00:5100:51, 27 December 2002 Vkuncak talk contribs 578 bytes +21 No edit summary undo

curprev 02:1102:11, 27 October 2002 Anonymoues talk contribs 557 bytes +1 No edit summary undo
curprev 02:1002:10, 27 October 2002 Anonymoues talk contribs 556 bytes +27 No edit summary undo
curprev 02:0302:03, 27 October 2002 Anonymoues talk contribs 529 bytes +1 fix name of VDM undo
curprev 02:0202:02, 27 October 2002 Anonymoues talk contribs 528 bytes +90 link to B, Z undo

curprev 08:5008:50, 14 August 2002 The Anome talk contribs 438 bytes +23 Design by Contract undo
curprev 08:4808:48, 14 August 2002 The Anome talk contribs 415 bytes +254 See also: formal specification, program transformation, denotational semantics. undo
curprev 08:4508:45, 14 August 2002 217.133.232.33 talk 161 bytes +161 No edit summary

Retrieved from "https://en.wikipedia.org/wiki/Program_specification"