Skip to main content
profile image
Faculty Selected Works of Vicki Sauter
Article
An empirical investigation of the effectiveness of systems modeling and verification tools
Communications of the ACM (2007)
  • Vicki L. Sauter
  • Anand Jeyaraj
Link Find in your library
Abstract
One reason system failure rates are not deterred by the latest best practices and tools may lie in how needs are (mis)interpreted by designers and users.
Disciplines
Publication Date
June, 2007
DOI
10.1145/1247001.1247007
Citation Information
Vicki L. Sauter and Anand Jeyaraj. "An empirical investigation of the effectiveness of systems modeling and verification tools" Communications of the ACM Vol. 50 Iss. 6 (2007) ISSN: 0001-0782
Available at: http://works.bepress.com/vicki-sauter/37/