Changes related to "Formal methods"
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown in bold.
25 May 2013
- (diff | hist) . . m ALGOL 58; 02:57 . . (+18) . . Nbarth (talk | contribs) (→ALGOL 58's influence on ALGOL 60: link)
- (diff | hist) . . m Natural language processing; 00:28 . . (+12) . . Greenrd (talk | contribs) (Disambiguated: corpora → Text corpus)
- (diff | hist) . . m Network topology; 00:27 . . (+25) . . Greenrd (talk | contribs) (Disambiguated: Network diagram → Computer network diagram)
24 May 2013
- (diff | hist) . . m Model checking; 23:31 . . (+22) . . Greenrd (talk | contribs) (Disambiguated: verification → Software verification)
- (diff | hist) . . m ISO/IEC 15504; 22:01 . . (+34) . . Technical 13 (talk | contribs) (Template:Out of date replacement and/or general fixes. using AWB)
- (diff | hist) . . m SQL; 19:55 . . (0) . . Amaury (talk | contribs) (Reverted edits by 65.255.146.18 (talk) to last revision by Caltas (HG))
- (diff | hist) . . SQL; 19:55 . . (0) . . 65.255.146.18 (talk)
- (diff | hist) . . m Programming paradigm; 19:43 . . (-11) . . Caltas (talk | contribs) (Reverted edits by 2.187.229.11 (talk) to last revision by Janeve.george (HG))
- (diff | hist) . . Programming paradigm; 19:43 . . (+11) . . 2.187.229.11 (talk)
- (diff | hist) . . m SQL; 19:30 . . (0) . . Caltas (talk | contribs) (Reverted edits by 65.255.146.18 (talk) to last revision by 71.59.153.34 (HG))
- (diff | hist) . . SQL; 19:30 . . (0) . . 65.255.146.18 (talk)
- (diff | hist) . . m Daniel Jackson (computer scientist); 18:10 . . (+13) . . Ketiltrout (talk | contribs) (dab)
- (diff | hist) . . Algorithm; 16:12 . . (-1) . . Tobias Bergemann (talk | contribs) (Undid revision 556597449 by 50.58.22.15 (talk))
- (diff | hist) . . Algorithm; 16:11 . . (-1) . . Tobias Bergemann (talk | contribs) (Undid revision 556597239 by 50.58.22.14 (talk))
- (diff | hist) . . Relational database; 15:47 . . (+304) . . 8.28.150.80 (talk) (→Relational operations)
- (diff | hist) . . Algorithm; 15:42 . . (+1) . . 50.58.22.15 (talk) (→By design paradigm)
- (diff | hist) . . Algorithm; 15:40 . . (+1) . . 50.58.22.14 (talk) (→An elegant program for Euclid's algorithm)
- (diff | hist) . . m Robotics; 15:30 . . (-12) . . BiH (talk | contribs) (→References)
- (diff | hist) . . Aerospace engineering; 15:17 . . (-54) . . Fnlayson (talk | contribs) (remove stray text and unclear wording)
- (diff | hist) . . Actor model; 14:53 . . (0) . . 207.35.173.122 (talk) (→Actor libraries and frameworks)
- (diff | hist) . . Cognitive science; 14:51 . . (-15) . . 69.157.85.250 (talk) (→Knowledge, and Processing, of Language: added page reference to Isac&Reiss reference)
- (diff | hist) . . m Software development process; 14:18 . . (-2) . . Walter Görlitz (talk | contribs) (Reverted 1 edit by 101.215.69.119 (talk) to last revision by Walter Görlitz. (TW))
- (diff | hist) . . m Function model; 14:05 . . (-1) . . Mdd (talk | contribs) (→Function block diagram)
- (diff | hist) . . m Function model; 13:59 . . (-4) . . Mdd (talk | contribs) (→Functional modeling methods)
- (diff | hist) . . Function model; 13:57 . . (+1,340) . . Mdd (talk | contribs) (→Functional modeling methods: + section about Function block diagram)
- (diff | hist) . . Computational science; 13:37 . . (+16) . . MariSo87 (talk | contribs)
- (diff | hist) . . Software development process; 12:29 . . (+2) . . 101.215.69.119 (talk) (→Code and fix)
- (diff | hist) . . Scrum (development); 12:04 . . (-1) . . William Avery (talk | contribs) (Reverted 1 edit by 203.191.35.22 (talk). (TW))
- (diff | hist) . . Aerospace engineering; 12:01 . . (+14) . . 14.99.10.213 (talk) (→India)
- (diff | hist) . . Aerospace engineering; 11:59 . . (+102) . . 14.99.10.213 (talk) (→India)
- (diff | hist) . . Universal Systems Language; 11:41 . . (+302) . . Mdd (talk | contribs) (+ Link(s))
- (diff | hist) . . m Computer animation; 11:34 . . (-11) . . Piandcompany (talk | contribs) (Reverted edits by 194.82.200.211 (talk) to last revision by 124.105.56.34 (HG))
- (diff | hist) . . Computer animation; 11:32 . . (+11) . . 194.82.200.211 (talk)
- (diff | hist) . . Universal Systems Language; 11:32 . . (-103) . . Mdd (talk | contribs) (Moved double/triple/quadruple references to further reading section)
- (diff | hist) . . Scrum (development); 11:25 . . (+1) . . 203.191.35.22 (talk) (→Sprint)
- (diff | hist) . . Universal Systems Language; 11:25 . . (+70) . . Mdd (talk | contribs) (Links to sources online)
- (diff | hist) . . Universal Systems Language; 11:10 . . (+52) . . Mdd (talk | contribs) ({{multiple issues|confusing=June 2009|context=June 2009|original research=June 2009|primary sources=May 2013}})
- (diff | hist) . . m Systems engineering; 09:01 . . (0) . . Aboctok (talk | contribs) (→Tools for graphic representations)
- (diff | hist) . . Human–computer interaction; 08:24 . . (-199) . . Enric Naval (talk | contribs) (→External links: removed some links that had little content)
- (diff | hist) . . m Object-oriented programming; 08:13 . . (0) . . Melody Lavender (talk | contribs) (→See also: putting in alphabetical order)
- (diff | hist) . . SQL; 07:41 . . (-1) . . 71.59.153.34 (talk)
- (diff | hist) . . SQL; 07:40 . . (+1) . . 71.59.153.34 (talk)
- (diff | hist) . . m Operating system; 07:35 . . (-43) . . Materialscientist (talk | contribs) (Reverted edits by Oroba (talk) to last version by Webclient101)
- (diff | hist) . . Operating system; 07:31 . . (+43) . . Oroba (talk | contribs) (→References)
- (diff | hist) . . m Systems engineering; 06:49 . . (+5) . . R0xXx0r (talk | contribs) (added link for requirements management)
- (diff | hist) . . m Artificial intelligence; 06:16 . . (-4) . . Evanh2008 (talk | contribs) (Reverted 1 edit by 112.198.82.43 (talk) to last revision by Neo.. (TW))
- (diff | hist) . . Artificial intelligence; 06:14 . . (+4) . . 112.198.82.43 (talk)
- (diff | hist) . . m Function model; 02:09 . . (-1) . . Mdd (talk | contribs) (→Related types of models)
- (diff | hist) . . Function model; 02:08 . . (+1) . . Mdd (talk | contribs) (Some rearrangement(s))
- (diff | hist) . . Function model; 02:07 . . (+4,361) . . Mdd (talk | contribs) (Restored listing of close related models 14 May 2012 removed. It was declared "maybe orginal - generally unknown", which is incorrect)
