No description available.

This thesis is a study on object-oriented knowledge representation. The study defines the main concepts of the object model. It also shows pragmatically the use of object-oriented methodology in the development of a concrete software system designed as the solution to a specific problem.The problem is to simulate the interaction between several animals and various other objects that exist in a room. The proposed solution is an artificial intelligence (Al) program designed according to the object-oriented model, which closely simulates objects in the problem domain. The AI program is conceived as an inference engine that maps together a given knowledge base with a database. The solution is based conceptually on the five major elements of the model, namely abstraction, encapsulation, modularity, hierarchy, and polymorphism.The study introduces a notation of class diagrams and frames to capture the essential characteristics of the system defined by analysis and design. The solution to the problem allows the application of any object-oriented programming language. Common Lisp Object System (CLOS) is the language used for the implementation of the software system included in the appendix. / Department of Computer Science

There are two popular approaches when developing a software system, the first being System Analysis/System Design (SA/SD) and the second being an Object-Oriented (00) approach. In either approach a poor design inevitably produces a poor application. Thus, being able to evaluate the quality of a systems design is advantageous.The Design Metrics Research Team at Ball State University has developed metrics that measure the quality of software systems. From this research the metric D(G) (a composite of the metrics De and D) has been shown to be very effective when used to determine fault prone modules in a system. However, D(G) has been primarily applied to systems developed using the SA/SD approach. This thesis translated D(G) to an 00 setting and empirically evaluated D(G) to determine if D(G) is a good predictor of error-prone classes. The results indicate that De and Di are indeed good predictors of error-prone classes. Of the classes highlighted by De, 67% had errors, while 100% of the classes highlighted by D; had errors. / Department of Computer Science

This study provides information on the effectiveness of design metrics when used on object oriented systems and explores means of increasing metric use-fulness in regard to the problem areas identified. Evidence shows that current metrics are weak in assessing some qualities when faced with concepts central to object orientation. It describes practices in design and implementation that cause complications in calculating metrics and what effects those practices may have on various types of metrics by examining specific examples as well as discussing the theory involved. It examines assumptions which can be made in the formulation of metrics to avoid the issues caused by these practices and what effect these assumptions will have on metric results. / Department of Computer Science

The relational model has dominated the database field because of its reduced application development time and non-procedural data manipulation features. It has significant problems, however, including weak integrity constraints. This paper discusses the need for object oriented techniques to improve on these flaws. Three existing DBMS will be discussed: IRIS, ORION, and OZ. / Department of Computer Science

Change is inevitable and unending in developing large, complex systems. Changes to requirements arise not only from changes in the social context of the system, but also from improved understanding of constraints and tradeoffs as system development proceeds. How to trace software requirements is the problem addressed by this thesis. We present a solution for requirements tracing in the context of object-oriented software development. Our solution consists of a traceability model and a tool to automate the tracing. TOOR, the tool to implement the model, uses a project specification written in FOOPS, a general purpose object-oriented language with specification capabilities, to set up the environment in which a project is carried out. The project specification defines the trace units and traces as objects and relations, respectively. The evolution of objects from requirements sources to requirements to design to code, and generally to any object taking part in the process is dealt with in a uniform way in TOOR: classes are declared for each kind of object we wish to control, and relations are defined between them. TOOR uses regular expressions to provide a selective tracing mode: the actual configuration of objects and relations is considered as a text and regular expressions are used to retrieve parts of the configuration matching the pattern described by them. TOOR enhances the flexibility of regular expressions by extending the pattern matching procedure by providing different ways of specifying how an object or relation is to be matched. Other modes of tracing in TOOR are the interactive tracing through modules and the non-guided tracing through several browsing mechanisms. TOOR modules are used to structure projects by providing hierarchical scopes for objects used in a project development. The tracing mechanisms of TOOR can use the project structure to order searches or to provide boundaries for searching. Browsing objects provides additional flexibility in situations where little information of what has to be traced is possessed and hyper-media features address the need to re-interpret data usually encoded in different formats. The user-definable features of a project specification provides much of the flexibility necessary for effective use of a software tracing tool. Also, the integration of regular expression tracing with other forms of tracing such as browsing and interactive tracing makes TOOK an extremely versatile tool. The user can select the more appropriate form of tracing depending on context and can switch from one form to another as convenient.

The object-oriented community is paying increasing attention to techniques for object instance encapsulation and alias protection. Formal techniques for modular verification of programs at the level of objects are being developed hand in hand with type systems and static analysis techniques for restricting the structure of runtime object graphs. Ownership type systems have provided a sound basis for such structural restrictions by being able to statically represent an extensible object ownership hierarchy. However, such structural restrictions may potentially have limitations on cases when more flexible reference structures are desired. In this thesis, we present a different encapsulation technique, called Effect Encapsulation, which confines side effects rather than object references. With relaxed restriction on reference structure, it is able to express certain common object-oriented patterns which cannot be expressed in Ownership Types. From this basis, we also describe a model of Object Validity --- a framework for reasoning about object invariants. Such a framework can track the effect and dependency of method calls on object invariants within an ownership-based type system, even in the presence of re-entrant calls. Moreover, we present an access control technique for protecting object instances. Combined with context variance, the resulting type system allows for a more flexible and useful access control policy, hence is capable of expressing more object-oriented patterns.

Bibliography: leaves 173-179. / xi, 221 leaves : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / This thesis aims to develop a basic object-oriented data structure and tools for the modelling and simulation of chemical and biochemical processes. The numerical methods are based on the Newton and Gear's Backward Difference methods. / Thesis (Ph.D.)--University of Adelaide, Dept. of Chemical Engineering, 1997

Thesis (Ph. D.)--Georgia State University, 2007. / Title from file title page. Ying Zhu, committee chair; Xiaolin Hu, Geoffrey Hubona, Roy Johnson, Rajshekhar Sunderraman, committee members. Electronic text (216 p. : ill. (some col.)) : digital, PDF file. Description based on contents viewed Nov. 29, 2007. Includes bibliographical references (p. 209-216).

Thesis (M.S.--Rochester Institute of Technology, 1990. / Includes bibliographical references.