Concepedia

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

Anand Jeyaraj, Vicki L. Sauter

Communications of the ACM · 2007 · 20 citations · 8 references

Open access

Concepts

EngineeringSystems EngineeringRequirements EngineeringSystems DesignSystems ModelingModel-based DesignRequirements ModelingVerificationEmpirical EvaluationModel VerificationSystem VerificationVerification Failures

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.

References

8

An empirical investigation into the adoption of systems development methodologies

Brian Fitzgerald · Information & Management · 1998 · 237 citations

Business, Information Systems, Management Information Systems +13

Understanding and Evaluating Methodologies: NIMSAD, A Systemic Framework

Steve Simister · Journal of the Operational Research Society · 1996 · 214 citations

Management, Organization Studies, Organizational Design +1

Requirements specification

Iris Vessey, Sue Conger · Communications of the ACM · 1994 · 211 citations · Full text

Education, Educational Assessment, Building Information Modeling +5

Understanding the Role of Use Cases in UML

Brian Dobing, Jeffrey Parsons · Journal of Database Management · 2000 · 60 citations

Computing, Computer Science, Requirements Engineering +11

Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology

Jarr Eloff, Andries P. Engelbrecht, Paula Kotzé et al. · 2003 · 45 citations

Computing, Computer Science, Information Technology +8