Hacker News new | ask | show | jobs
by aaaaaaaaaab 2700 days ago
False. Writing a waterfall-style “spec” on paper has nothing to do with formal methods.
1 comments
gaius 2700 days ago
It absolutely does. We studied SSADM in college.
link