Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network

Open Access. Powered by Scholars. Published by Universities.®

PDF

Electronic Theses and Dissertations

Theses/Dissertations

1995

Computer Science.

Articles 1 - 7 of 7

Full-Text Articles in Entire DC Network

Software Retrieval Based On Semantic Properties., Khaled. Khalil Jan 1995

Software Retrieval Based On Semantic Properties., Khaled. Khalil

Electronic Theses and Dissertations

Software reuse is the process of using existing software components during the construction of software systems in order to reduce the effort and maintenance of the system. The growth of reuse of software repositories has led to the design of mechanisms to retrieve reusable components. This thesis presents the design and implementation of an automated software retrieval where components can be automatically stored and retrieved using informal partial specification such as semantic properties of functions. Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis1995 .K48. Source: Masters Abstracts International, Volume: 34-06, page: …


The Verification Of Object-Oriented Programs And Programs With Exception Handling Constructs., Matthew. Blain Jan 1995

The Verification Of Object-Oriented Programs And Programs With Exception Handling Constructs., Matthew. Blain

Electronic Theses and Dissertations

This is a masters thesis on the verification of object-oriented programs. An object-oriented mini-language and proof system are constructed. Polymorphism, one of whose characteristics is the ability to assign objects of more than one type to a given variable, is a major feature in this mini-language. Class specifications are introduced as a tool for verifying properties of classes within a program. Specifications for classes are especially valuable in the verification of reusable classes. Another problem that is addressed is how a specification for a class B can be derived from a valid specification for another class A given that B …


Software Base For Reuse-Oriented Program Development., Deoraj. Ramjisingh Jan 1995

Software Base For Reuse-Oriented Program Development., Deoraj. Ramjisingh

Electronic Theses and Dissertations

Software reusability, the construction of systems by the usage of knowledge or artifacts associated with existing systems, has been of significant importance to both engineers and managers. As the reusable software components are growing, we are faced with the dilemma of storing these components so as to allow easy retrieval for reuse. Many multifaceted approaches to automatic retrieval of reusable software components have been devised and implemented. Unfortunately they all fail to place any emphasis on the structuring of the software repository so as to provide for easy retrieval. In this thesis we investigate the problem of structuring the large …


An Environment For The Development And Modification Of Dynamic Hypertext Information Structures., May. Wang Jan 1995

An Environment For The Development And Modification Of Dynamic Hypertext Information Structures., May. Wang

Electronic Theses and Dissertations

The World-Wide Web (WWW) changes the way people retrieve information from the Internet. The Web is regarded as a public information system which offers access to the network community with the client/server protocol Hypertext Transfer Protocol (HTTP). The Web uses client interface programs (browsers), hypertext and multimedia techniques to make it easy for anyone to roam, browse, and contribute to the information base. However, most information available on the Web is read-only, frozen messages. The introduction of HTML Fill-out Forms and Common Gateway Interfaces changes this situation. In this thesis we explore supplying dynamic information to users through the Web. …


Investigation Of The Use Of The Object-Oriented Paradigm In The Construction Of A Triple Store Based On Dynamic Hashing., Rajesh. Shenoy Jan 1995

Investigation Of The Use Of The Object-Oriented Paradigm In The Construction Of A Triple Store Based On Dynamic Hashing., Rajesh. Shenoy

Electronic Theses and Dissertations

Any set of knowledge, no matter how complex, can be represented as a collection of triples, each of which consists of a subject identifier, relationship name, and object identifier. In order to support applications in natural language processing, it is advantageous if a triple can be retrieved using any field or a combination of fields as key. An appropriate data structure to support this type of access consists of multiple copies of the collection of triples, each of which is structured as a dynamic hash table. Such a data structure has a number of features which could cause problems in …


A Graphical Structure-Editor That Generates Code For Attribute Grammar Systems., Daniel. Ravan Jan 1995

A Graphical Structure-Editor That Generates Code For Attribute Grammar Systems., Daniel. Ravan

Electronic Theses and Dissertations

Attribute Grammars were proposed by Donald Knuth (1968) as a tool for describing and implementing the semantics of programming languages. The number of attribute systems now-a-days is counted by tens, some of which are truly attribute systems (such as DELTA, FNC-2, and W/AGE) and other are loosely related to the formalism (such as YACC). Some of the systems are equipped with special input languages (OLGA for FUNC-2, ALADIN for GAG and SSL for the SYNTHESiZER GENERATOR) and others accept some variant of the attribute-grammar notation as their input. In all cases, the structure of the input, although written in different …


Handwritten Numeral Recognition With Neural Networks And Fuzzy Fusion., Jun. Cao Jan 1995

Handwritten Numeral Recognition With Neural Networks And Fuzzy Fusion., Jun. Cao

Electronic Theses and Dissertations

The principal goal of this dissertation is to present several techniques for improving the performance of the handwritten numeral recognition system. There were two major tasks in this work. The first was to develop neural network approaches for improving the performance of classification. The second was to develop efficient fusion techniques for combining different classifiers. Apart from these major tasks, several feature extraction methods have been modified and some new features have been developed. By using a principal component analysis, a Bayes incremental learning neural network has been developed. This network is able to learn the data clusters as well …