Dissertation

A Study of Object Orientation and Formal Specifications

for the Analysis of an Expert System

Dissertation for Master of Applied Science (Information Studies)

Charles Sturt University - Riverina

The dissertation is available as a set of postscript documents (except where otherwise indicated)

Chapter
Size

Table of Contents 21KB

Title page/Abstract/Acknowledgements 20KB

Abstract (html format)

1. Introduction 24KB

2. The Problem

Rationale for the study
Theoretical framework for the study
Statement of the problem
Research elements to be investigated
Delimitations and limitations of the study
Definition of terms
Summary
34KB

3. Review of the Literature

Introduction
Historical overview of the literature
Software Engineering developments
Expert System development
Theory and research literature specific to the topic
Research in cognate areas relevant to the topic
Critique of the validity of the literature
Summary of what is known and unknown about the topic
Contribution of this study
Summary
Notes
445KB

4. Research Design

General method
Context of the study
Specific procedures
Data collection methods
Data treatment/analysis
Summary
Notes
64KB

5. The Action Research and its Findings

Overview of the process
Specific procedures
Research question
Evidence to support the research question
unanticipated findings
Summary of findings
Summary
Notes
97KB

6. Conclusions and Implications

Conclusions
Implications
Summary
56KB

Appendices

A The O-O-O life cycle methodology: a summary of its features (38KB)
B Object-Z: a summary of syntax and semantics (62KB)
C Subject cataloguing: a summary of processes involved (32KB)
D Terminology (203KB)
E The Specification (270KB)

Bibliography 67KB

Chapter	Size
Table of Contents	21KB
Title page/Abstract/Acknowledgements	20KB
Abstract (html format)
1. Introduction	24KB
2. The Problem Rationale for the study Theoretical framework for the study Statement of the problem Research elements to be investigated Delimitations and limitations of the study Definition of terms Summary	34KB
3. Review of the Literature Introduction Historical overview of the literature Software Engineering developments Expert System development Theory and research literature specific to the topic Research in cognate areas relevant to the topic Critique of the validity of the literature Summary of what is known and unknown about the topic Contribution of this study Summary Notes	445KB
4. Research Design General method Context of the study Specific procedures Data collection methods Data treatment/analysis Summary Notes	64KB
5. The Action Research and its Findings Overview of the process Specific procedures Research question Evidence to support the research question unanticipated findings Summary of findings Summary Notes	97KB
6. Conclusions and Implications Conclusions Implications Summary	56KB
Appendices A The O-O-O life cycle methodology: a summary of its features (38KB) B Object-Z: a summary of syntax and semantics (62KB) C Subject cataloguing: a summary of processes involved (32KB) D Terminology (203KB) E The Specification (270KB)
Bibliography	67KB