User contributions for Tomb
A user with 64 edits. Account created on 10 April 2004.
6 May 2004
- 21:2621:26, 6 May 2004 diff hist +497 Agile software development No edit summary
- 21:2121:21, 6 May 2004 diff hist 0 m Agile software development No edit summary
- 21:2021:20, 6 May 2004 diff hist +1,109 Agile software development No edit summary
- 20:3020:30, 6 May 2004 diff hist −6 m Extreme programming =Communication in Extreme Programming=
- 20:2920:29, 6 May 2004 diff hist +41 N Extreme Programming, when to use moved to "Agile_methods,_when_to_use"
- 18:4818:48, 6 May 2004 diff hist +555 N Agile software development setup page with links, references
- 18:3718:37, 6 May 2004 diff hist +4 m Extreme programming =Communication in Extreme Programming=
- 18:3218:32, 6 May 2004 diff hist −137 m Extreme programming =Communication in Extreme Programming=
- 18:2618:26, 6 May 2004 diff hist +72 m Extreme programming =Communication in Extreme Programming=
- 18:2618:26, 6 May 2004 diff hist −74 m Extreme programming =Controversial aspects=
- 18:2418:24, 6 May 2004 diff hist +870 Extreme programming ==Communication in Extreme Programming==
11 April 2004
- 03:5003:50, 11 April 2004 diff hist 0 m Formal verification =See also=
- 03:4903:49, 11 April 2004 diff hist 0 m Temporal logic in finite-state verification =See Also=
- 03:4803:48, 11 April 2004 diff hist +58 N Temporal Logic in Finite-State Verification moved to "Temporal_logic_in_finite-state_verification"
- 03:3603:36, 11 April 2004 diff hist +89 m User talk:Tomb =Image:PatternExamplePrecedence.JPG=
- 03:2603:26, 11 April 2004 diff hist 0 m Temporal logic in finite-state verification =See Also= update links
- 03:2403:24, 11 April 2004 diff hist 0 m Temporal logic in finite-state verification =See Also= updated links
- 02:4802:48, 11 April 2004 diff hist −2 m Temporal logic in finite-state verification =See Also=
- 02:4602:46, 11 April 2004 diff hist +78 m Temporal logic in finite-state verification updated links
- 01:2101:21, 11 April 2004 diff hist +50 m Formal verification =See also= add link
- 01:1801:18, 11 April 2004 diff hist +1,234 N Temporal logic in finite-state verification Created page with simple example of LTL in finite-state verification
10 April 2004
- 21:0921:09, 10 April 2004 diff hist +59 Formal verification =See also=