skip to main content
article
Free Access

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

Published:01 June 2007Publication History
Skip Abstract Section

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

  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.Google ScholarGoogle ScholarCross RefCross Ref
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle ScholarCross RefCross Ref
  4. Fitzgerald, B. An empirical investigation into the adoption of systems development methodologies. Information & Management 34, 6 (1998) 317--328. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Hoffer, J.A., George, J.F. and Valacich, J.S. Modern Systems Analysis & Design. Prentice-Hall, Upper Saddle River, NJ, 2002.Google ScholarGoogle Scholar
  6. Jayaratna, N. Understanding and Evaluating Methodologies, NISAD: A Systematic Framework. McGraw-Hill, Maidenhead, UK, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Ross, J.K. Project and requirements management---Driving software project success. J. Validation Technology 10, 3 (2004), 192.Google ScholarGoogle Scholar
  8. Standish Group. Chaos. 1995.Google ScholarGoogle Scholar
  9. Sutcliffe, A.G. Object-oriented systems development: Survey of structured methods. Information and Software Technology 33, 6 (1991), 433--442. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Vessey, I. and Conger, S. Requirements specification: Learning object, process, and data methodologies. Commun. ACM 37, 5 (May 1994), 102--113. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

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

              Recommendations

              Comments

              Login options

              Check if you have access through your login credentials or your institution to get full access on this article.

              Sign in

              Full Access

              • Published in

                cover image Communications of the ACM
                Communications of the ACM  Volume 50, Issue 6
                Smart business networks
                June 2007
                84 pages
                ISSN:0001-0782
                EISSN:1557-7317
                DOI:10.1145/1247001
                Issue’s Table of Contents

                Copyright © 2007 ACM

                Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

                Publisher

                Association for Computing Machinery

                New York, NY, United States

                Publication History

                • Published: 1 June 2007

                Permissions

                Request permissions about this article.

                Request Permissions

                Check for updates

                Qualifiers

                • article

              PDF Format

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader

              HTML Format

              View this article in HTML Format .

              View HTML Format