I've been watching a video on YouTube about the need of thinking above(before) the code.<p>Question:
What other alternatives exists to specify Software? Besides TLA+<p>Video:
https://www.youtube.com/watch?v=-4Yp3j_jk8Q
By the great Dr. Leslie Lamport.