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