An empirical investigation of the effectiveness of systems modeling and verification tools

Vicki L. Sauter; Anand Jeyaraj

doi:10.1145/1247001.1247007

An empirical investigation of the effectiveness of systems modeling and verification tools

Vicki L. Sauter, Anand Jeyaraj

University of Missouri-St. Louis

Research output: Contribution to journal › Article › peer-review

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.

Original language	American English
Journal	Communications of The ACM
Volume	50
DOIs	https://doi.org/10.1145/1247001.1247007
State	Published - Jun 2007

Disciplines

Business

Access to Document

10.1145/1247001.1247007License: Unspecified

Cite this

@article{02f772f4fb94450584d9e466f6f44d0e,

title = "An empirical investigation of the effectiveness of systems modeling and verification tools",

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.",

author = "Sauter, \{Vicki L.\} and Anand Jeyaraj",

note = "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.",

year = "2007",

month = jun,

doi = "10.1145/1247001.1247007",

language = "American English",

volume = "50",

journal = "Communications of The ACM",

}

TY - JOUR

T1 - An empirical investigation of the effectiveness of systems modeling and verification tools

AU - Sauter, Vicki L.

AU - Jeyaraj, Anand

N1 - 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.

PY - 2007/6

Y1 - 2007/6

N2 - 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.

AB - 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.

UR - https://doi.org/10.1145/1247001.1247007

U2 - 10.1145/1247001.1247007

DO - 10.1145/1247001.1247007

M3 - Article

VL - 50

JO - Communications of The ACM

JF - Communications of The ACM

ER -

An empirical investigation of the effectiveness of systems modeling and verification tools

Abstract

Disciplines

Access to Document

Other files and links

Cite this