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

  • Authors:
  • Anand Jeyaraj;Vicki L. Sauter

  • Affiliations:
  • Raj Soin College of Business at Wright State University, Dayton, OH;University of Missouri---St. Louis

  • Venue:
  • Communications of the ACM - Smart business networks
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.