4 ms·
> Only a small group of software engineers are interested in this principled approach. Only a small fraction of software applications can be specified up-front
by pphysch 3y ago
> Only a small group of software engineers are interested in this principled approach.
Only a small fraction of software applications can be specified up-front. Most software is enterprise software, entertainment software, etc.; software that evolves, where a priori 100% specification is a fool's errand.
- thfuran 3y agoThat the spec can change over time just means you'll change the spec, not that you shouldn't or can't have one.
- pphysch 3y agoIn practice, software development methodologies that rely heavily on a complete spec (formal verification, 100% test coverage, pure programming, etc) do not perform well when the spec changes underneath them. It's doable but requires enormous resources and is almost never economical unless you're NASA.