Answers are grounded in this paper and cite their sources.
We must question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed.
No takes yet. Share an insight, caveat, or question.
David Lorge Parnas (2010) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: