Where now for development methodologies? 论文
2003Communications of the ACM引用 276
Distributed systems and fault toleranceFormal Methods in Verification
摘要
The current swirl of diversity could signal a return to the days of ad hoc systems development, lack of formalmethodology, and consequent increase in failure.