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.
- 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 ScholarCross Ref
- 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 ScholarDigital Library
- 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 ScholarCross Ref
- Fitzgerald, B. An empirical investigation into the adoption of systems development methodologies. Information & Management 34, 6 (1998) 317--328. Google ScholarDigital Library
- Hoffer, J.A., George, J.F. and Valacich, J.S. Modern Systems Analysis & Design. Prentice-Hall, Upper Saddle River, NJ, 2002.Google Scholar
- Jayaratna, N. Understanding and Evaluating Methodologies, NISAD: A Systematic Framework. McGraw-Hill, Maidenhead, UK, 1994. Google ScholarDigital Library
- Ross, J.K. Project and requirements management---Driving software project success. J. Validation Technology 10, 3 (2004), 192.Google Scholar
- Standish Group. Chaos. 1995.Google Scholar
- Sutcliffe, A.G. Object-oriented systems development: Survey of structured methods. Information and Software Technology 33, 6 (1991), 433--442. Google ScholarDigital Library
- Vessey, I. and Conger, S. Requirements specification: Learning object, process, and data methodologies. Commun. ACM 37, 5 (May 1994), 102--113. Google ScholarDigital Library
Index Terms
- An empirical investigation of the effectiveness of systems modeling and verification tools
Recommendations
Modeling and Verification of Reactive Systems using Rebeca
Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...
Modeling and Verification of Reactive Systems using Rebeca
Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and SystemsSoftware modelling is a challenging and error-prone task. Existing Model-Driven Engineering (MDE) tools provide modellers with little aid, partly because tool providers have not investigated users' difficulties through empirical investigations such as ...
Comments