Straw poll: Are you aware of any of the following? Which ones? (1) Preconditions, postconditions and invariants (2) TLA+ (3) Asserts Bonus points if you can explain what they might be used to achieve.
I'd've gone with 1 ( Eiffel ) then 2 ( XP / TDD ) then 3 even though I think I covered formal methods about the same time I learnt Eiffel. If only TLA+ existed back then ...
-
-
Ahh, so you're thinking design by contract?
-
Started that way, but the ordering makes TLA+ stand out, at least to me!

- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.