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.
-
-
You do? Why?
-
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 ...
- 3 more replies
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.