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

Communications of the ACM

Volumn 50, Issue 6, 2007, Pages 63-67

  Jeyaraj, Anand ^a   Sauter, Vicki L ^b  

^a WRIGHT STATE UNIVERSITY   (United States)

^b UNIVERSITY OF MISSOURI ST LOUIS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODELING TOOLS; SYSTEM MODELING; TECHNICAL REQUIREMENTS; VERIFICATION TOOLS;

COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; INFORMATION SYSTEMS; SYSTEMS ANALYSIS; USER INTERFACES;

SOFTWARE ENGINEERING;

EID: 34249911449     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1247001.1247007     Document Type: Article

References (10)

1. Avison, D.E. and Taylor, V. Information systems development methodologies: A classification according to the problem situation. J. Information Technology 12 (1997) 73-81.
2. Dalcher, D., and Drevin, L. Learning from information systems failures by using narrative and ante-narrative methods. In Proceedings for the 2003 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement Through Technology. South African Institute for Computer Scientists and Information Technologists.
3. Dobing, B. and Parsons, J. Understanding the role of use cases in UML: A review and research agenda. J. Database Management 11, 4 (2000), 28-36.
4. Fitzgerald, B. An empirical investigation into the adoption of systems development methodologies. Information & Management 34, 6 (1998) 317-328.
5. Hoffer, J.A., George, J.F. and Valacich, J.S. Modern Systems Analysis & Design. Prentice-Hall, Upper Saddle River, NJ, 2002.
6. Jayaratna, N. Understanding and Evaluating Methodologies, NISAD: A Systematic Framework. McGraw-Hill, Maidenhead, UK, 1994.
7. Ross, J.K. Project and requirements management - Driving software project success. J. Validation Technology 10, 3 (2004), 192.
8. Standish Group. Chaos. 1995.
9. Sutcliffe, A.G. Object-oriented systems development; Survey of structured methods. Information and Software Technology 33, 6 (1991), 433-442.
10. Vessey, I. and Conger, S. Requirements specification; Learning object, process, and data methodologies. Commun. ACM 37, 5 (May 1994), 102-113.