I've been watching a video on YouTube about the need of thinking above(before) the code.

Question: What other alternatives exists to specify Software? Besides TLA+

Video: https://www.youtube.com/watch?v=-4Yp3j_jk8Q By the great Dr. Leslie Lamport.