4 ms·

Ask HN: Software specifications, how to?

1 points by sanosuke 12y ago

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.