An Empirical Investigation of the Effectiveness of Systems Modeling and Verification Tools
The article presents an empirical investigation of the effectiveness of systems modeling and verification tools. The authors believe that the biggest reason that best practices and tools do not deter system failure rates is that needs are often misinterpreted by designers and users. Projects often fail because their are poor specifications of user requirements. Software design can not be completed properly until designers understand a system and its needs and can translate those needs into technical requirements.
& Sauter, V. L.
(2007). An Empirical Investigation of the Effectiveness of Systems Modeling and Verification Tools. Communications of the ACM, 50 (6), 62-67.