Application of Statistical Processes on a Set Theory Model for Anomaly Handling in System Requirements Analysis

The ability to correctly identify system requirements is seen by most Information Systems (IS) researchers and practitioners as essential to the design and development of effective information systems (Yadav, Bravoco et al. 1988; Vessey 1994). Requirements are used to drive all subsequent stages of systems development and are critical to system validation. Incorrect requirements or poorly specified requirements usually produce systems that require major revisions or are abandoned entirely (Pressman 1996). Recently, many new techniques and methodologies have been introduced to assist analysts and users in efforts to identify and specify system requirements (Coad, North et al. 1995) (Pancake 1995). One of the newest approaches to be used in this effort to improve requirements analysis is the application of object oriented analysis (OOA).

Download Full-text

Introduction to System Requirements Analysis

System Requirements Analysis ◽

10.1016/b978-012088514-5/50004-7 ◽

2006 ◽

pp. 3-17 ◽

Cited By ~ 16

Author(s):

Jeffrey O. Grady

Keyword(s):

Requirements Analysis ◽

System Requirements

Download Full-text

Logic and Philosophical Methodology

10.1093/oxfordhb/9780199668779.013.30 ◽

2016 ◽

Author(s):

John P. Burgess

Keyword(s):

Set Theory ◽

Model Theory ◽

Classical Logic ◽

Proof Theory ◽

Recursion Theory ◽

Theory Model ◽

Philosophical Methodology ◽

Paraconsistent Logics ◽

Philosophical Logic

This article explores the role of logic in philosophical methodology, as well as its application in philosophy. The discussion gives a roughly equal coverage to the seven branches of logic: elementary logic, set theory, model theory, recursion theory, proof theory, extraclassical logics, and anticlassical logics. Mathematical logic comprises set theory, model theory, recursion theory, and proof theory. Philosophical logic in the relevant sense is divided into the study of extensions of classical logic, such as modal or temporal or deontic or conditional logics, and the study of alternatives to classical logic, such as intuitionistic or quantum or partial or paraconsistent logics. The nonclassical consists of the extraclassical and the anticlassical, although the distinction is not clearcut.

Download Full-text

Mathematical logic: a course with exercises Part II: Recursion theory, Gödel’s theorems, set theory, model theory, by René Cori and Daniel Lascar, translated by Donald H. Pelletier. Pp. 331. £62 (hb), £26 (pb). 2001. ISBN 0 19 850051 3 (hb) 0 19 850050 5 (pb) (Oxford University Press).

The Mathematical Gazette ◽

10.1017/s0025557200174832 ◽

2004 ◽

Vol 88 (511) ◽

pp. 187-188

Author(s):

S. C. Russen

Keyword(s):

Mathematical Logic ◽

Set Theory ◽

Model Theory ◽

Recursion Theory ◽

Theory Model ◽

Oxford University ◽

Oxford University Press

Download Full-text