Changes related to "Formal methods"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
22 May 2015
- (diff | hist) . . m Software; 02:11 . . (-60) . . Eeekster (talk | contribs) (Reverted edits by 122.56.63.225 (talk) to last version by Eeekster)
- (diff | hist) . . Software; 02:11 . . (+39) . . 122.56.63.225 (talk) (Tags: Mobile edit, Mobile web edit)
- (diff | hist) . . Software; 02:11 . . (+21) . . 122.56.63.225 (talk) (Added content) (Tags: canned edit summary, Mobile edit, Mobile web edit)
- (diff | hist) . . m Software; 02:10 . . (-21) . . Eeekster (talk | contribs) (Reverted edits by 122.56.63.225 (talk) to last version by Eeekster)
- (diff | hist) . . Software; 02:10 . . (+21) . . 122.56.63.225 (talk) (Tags: Mobile edit, Mobile web edit)
- (diff | hist) . . m Software; 02:07 . . (-37) . . Eeekster (talk | contribs) (Reverted edits by 122.56.63.225 (talk) to last version by ClueBot NG)
- (diff | hist) . . Software; 02:07 . . (+37) . . 122.56.63.225 (talk) (Added content.) (Tags: Mobile edit, Mobile web edit)
- (diff | hist) . . m Software; 02:06 . . (-48) . . ClueBot NG (talk | contribs) (Reverting possible vandalism by 122.56.63.225 to version by Eeekster. False positive? Report it. Thanks, ClueBot NG. (2247203) (Bot))
- (diff | hist) . . Software; 02:06 . . (+29) . . 122.56.63.225 (talk) (Tags: Mobile edit, Mobile web edit)
- (diff | hist) . . Software; 02:04 . . (+19) . . 122.56.63.225 (talk) (Tags: Mobile edit, Mobile web edit)
- (diff | hist) . . m Software; 02:03 . . (-40) . . Eeekster (talk | contribs) (Reverted edits by 122.56.63.225 (talk) to last version by Flyer22)
- (diff | hist) . . Software; 02:02 . . (+40) . . 122.56.63.225 (talk) (Tags: Mobile edit, Mobile web edit)
- (diff | hist) . . Actor model; 00:03 . . (0) . . 209.89.252.63 (talk) (Updating Orbit last release)
21 May 2015
- (diff | hist) . . m Actor model; 21:03 . . (+33) . . Gwylipedia (talk | contribs) (→Later Actor programming languages: Recent versions of Rust no longer use the Actor Model for concurrency: http://doc.rust-lang.org/nightly/reference.html#appendix:-influences)
- (diff | hist) . . TLA+; 18:56 . . (+113) . . Andrew Helwer (talk | contribs) (→Operators: Added note about temporal quantifiers)
- (diff | hist) . . m TLA+; 18:51 . . (-19) . . Andrew Helwer (talk | contribs) (→Proof system: phrasing)
- (diff | hist) . . TLA+; 18:50 . . (+82) . . Andrew Helwer (talk | contribs) (→Proof system: Added note on addition of proof constructs in TLA+ 2)
- (diff | hist) . . m TLA+; 18:47 . . (+1) . . Andrew Helwer (talk | contribs) (→Safety: more accurate definition of safety)
- (diff | hist) . . m TLA+; 18:45 . . (0) . . Andrew Helwer (talk | contribs) (→Liveness: Fixed page number on machine closure citation)
- (diff | hist) . . TLA+; 18:44 . . (+506) . . Andrew Helwer (talk | contribs) (→Liveness: Added citation for machine closure)
- (diff | hist) . . m TLA+; 18:39 . . (-4) . . Andrew Helwer (talk | contribs) (→Liveness: behaviours -> states)
- (diff | hist) . . m TLA+; 18:37 . . (-116) . . Andrew Helwer (talk | contribs) (→External links: Removed TLA+ summary link (outdated with TLA+ 2))
- (diff | hist) . . m TLA+; 18:36 . . (-7) . . Andrew Helwer (talk | contribs) (→Liveness: phrasing)
- (diff | hist) . . TLA+; 18:34 . . (+557) . . Andrew Helwer (talk | contribs) (→Liveness: Added specific citation and quote for specifications foregoing assertion of liveness properties)
- (diff | hist) . . TLA+; 18:21 . . (+60) . . Andrew Helwer (talk | contribs) (→Data structures: Added note about empty set)
- (diff | hist) . . TLA+; 18:14 . . (+458) . . Andrew Helwer (talk | contribs) (→Operators: Added note on user-defined operators)
- (diff | hist) . . TLA+; 18:04 . . (+46) . . Andrew Helwer (talk | contribs) (→Data structures: Added note about anonymous functions)
- (diff | hist) . . Boolean algebra; 17:48 . . (-3) . . 174.26.239.140 (talk) (→Basic operations)
- (diff | hist) . . TLA+; 17:40 . . (+57) . . Andrew Helwer (talk | contribs) (→Liveness: Added note that stuttering steps are useful for refinement)
- (diff | hist) . . m Donald Knuth; 17:28 . . (+117) . . Davemck (talk | contribs) (→Computer musings: format ref)
- (diff | hist) . . Software; 15:12 . . (-1) . . Flyer22 (talk | contribs) (Reverted 1 good faith edit by MH Rabby khan using STiki)
- (diff | hist) . . Software; 14:56 . . (+1) . . MH Rabby khan (talk | contribs) (Tags: Mobile app edit, Mobile edit)
- (diff | hist) . . Donald Knuth; 14:55 . . (+24) . . Fluteflute (talk | contribs) (→Computer musings: Knuth at Oxford)
- (diff | hist) . . Software engineering; 14:22 . . (+299) . . 71.28.124.157 (talk) (Added reference to ISO/IEC/IEEE std 24765:2010(E) which superseded IEEE std 610.12-1990)
- (diff | hist) . . Software architecture; 13:51 . . (+5) . . Pmerson (talk | contribs) (Since 1994 we know S/w Arch has many (not one) structures; fixed definition quoting DSA2)
- (diff | hist) . . m Database; 13:33 . . (+66,219) . . ClueBot NG (talk | contribs) (Reverting possible vandalism by 91.244.229.126 to version by Name Omitted. False positive? Report it. Thanks, ClueBot NG. (2246250) (Bot))
- (diff | hist) . . Database; 13:33 . . (-66,219) . . 91.244.229.126 (talk) (←Replaced content with 'Anal') (Tag: blanking)
- (diff | hist) . . m Database; 13:28 . . (-3) . . Name Omitted (talk | contribs) (Reverted edits by 91.244.229.47 (talk) (HG))
- (diff | hist) . . Database; 13:27 . . (+3) . . 91.244.229.47 (talk) (grammar)
- (diff | hist) . . m Database; 13:26 . . (-33) . . Pinethicket (talk | contribs) (Reverted edits by 91.244.229.47 (talk) to last version by Deli nk)
- (diff | hist) . . Database; 13:25 . . (+3) . . 91.244.229.47 (talk) (grammar)
- (diff | hist) . . Database; 13:25 . . (+30) . . 91.244.229.47 (talk) (I have changed trhe gramatica errors)
- (diff | hist) . . Cryptography; 12:41 . . (-42) . . Bryanrutherford0 (talk | contribs) (Undid revision 663397736 by 110.142.58.26 (talk): vandalism)
- (diff | hist) . . m Network topology; 12:40 . . (-114) . . Favonian (talk | contribs) (Reverted edits by 14.96.199.26 (talk) to last version by Mindmatrix)
- (diff | hist) . . Network topology; 12:39 . . (+114) . . 14.96.199.26 (talk) (→Star)
- (diff | hist) . . Cryptography; 12:19 . . (+42) . . 110.142.58.26 (talk)
- (diff | hist) . . ISO/IEC 15504; 09:54 . . (+19) . . 57.79.10.100 (talk) (→Acceptance of ISO/IEC 15504: Citation is needed to substantiate claim that CMMI is more successful)
- (diff | hist) . . SQL; 09:06 . . (+170) . . Samwilson (talk | contribs) (→Operators: Link to skyline operator.)
- (diff | hist) . . m Virtual reality; 06:41 . . (+263) . . Enmolina (talk | contribs) (→History: This section was changed to resemble less like a list of events of events)
- (diff | hist) . . Wearable computer; 02:02 . . (+2) . . YazminVS (talk | contribs) (→Form Factors of Wearable Technology)
