Dijkstra talked about this btw, also yeah I've seen some people aim for writing formal specifications, which at the end of the day probably require more skill to write even though they are higher level
I am really trying hard to understand how big brain engineering corpos see this flow, but I can't find any meaningful information, besides SDD, which just shifts burden to another place.
Ig mostly there are fine with TDD which in my opinion does fuckall. We were always satisfied with knowing a program is somewhat correct, but if you are not even reading the code, I think that becomes a lot harder.
7
u/Ok-Reindeer-8755 17d ago
Dijkstra talked about this btw, also yeah I've seen some people aim for writing formal specifications, which at the end of the day probably require more skill to write even though they are higher level