An Empirical Investigation of the Effectiveness of Systems Modeling and Verification Tools
Document Type
Article
Publication Date
6-2007
Abstract
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.
Repository Citation
Jeyaraj, A.,
& Sauter, V. L.
(2007). An Empirical Investigation of the Effectiveness of Systems Modeling and Verification Tools. Communications of the ACM, 50 (6), 62-67.
https://corescholar.libraries.wright.edu/infosys_scm/126
DOI
10.1145/1247001.1247007
