Title

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.

DOI

10.1145/1247001.1247007

Find in your library

Off-Campus WSU Users


Share

COinS