Software Engineering Commons^™

Single Object Detection Using Multiple Sensors With Unknown Noise Distributions, Shaofen Chen

Computer Science Theses & Dissertations

We consider the design of an object classification system that identifies single objects using a system of sensors; each sensor outputs a random vector, according to an unknown (noise) probability distribution, in response to a sensed object. We consider a special class of systems, called the linearly separable systems, where the error-free sensor outputs corresponding to distinct objects can be mapped into disjoint intervals on real line. Given a set of sensor outputs corresponding to known objects, we show that a detection rule α_emp that approaches the correct rule with a high probability can be computed. We show …

Satool Ii: An IdefO Case Workbench Using Ada And The X Window System, Betty Topp

Theses and Dissertations

The objective of this research effort is to perform an object oriented analysis, design and implementation of the graphical user interface (GUI) for the SATool II system. SATool II is a computer Assisted Software Engineering (CASE) workbench developed using Ada and the X Window system. It is designed to serve as an IDEFo graphical project editor and data dictionary editor. IDEF₀ is the ICAM Definition Method Zero graphical notation language adopted by the Air Force to produce a function model of a manufacturing system or environment. The Air Force Institute of Technology is conducting on-going research in the use …

Applying Metrics To Rule-Based Systems, Paul Doyle, Renaat Verbruggen

Other

Since the introduction of software measurement theory in the early seventies it has been accepted that in order to control software it must first be measured. Unambiguous and reproducible measurements are considered to be the most useful in controlling software productivity, costs and quality, and diverse sets of measurements are required to cover all aspects of software. This paper focuses on measures for rule-based language systems and also describes a process for developing measures for other non-standard 3GL development tools. This paper uses KEL as an example and the method allows the re-use of existing measures and indicates if and …

Application Of Expert System Techniques For Award Implementation, Seng-Choon Yeoh

Theses : Honours

This paper describes a pilot expert system project, PESWEA, developed in conjunction with The Western Australian Government Railways Commission (Westrail), to locate and implement an expert system pilot solution to the problems and complexities of the awards. The paper will outline the process used to develop and implement a solution to a business requirement. In particular, the methodologies for the project, shell selection, and knowledge acquisition will be presented and discussed. The fundamentals of expert systems will be discussed to provide the reader an insight into the technology. In addition, this paper reviews the literature relevant to the research questions. …

The A.D.E. Taxonomy Of Spreadsheet Application Development, Maria Jean Hall

Theses: Doctorates and Masters

Spreadsheets are a major application in end-user computing, one of the fastest growing areas of computing. Studies have shown that 30% of spreadsheet applications contain errors. As major decisions are often made with the assistance of spreadsheets, the control of spreadsheet applications is a matter of concern to enduser developers, managers, EDP auditors and computer professionals.

The application of appropriate controls to the spreadsheet development process requires prior categorisation of the spreadsheet application. The special-purpose A.D.E. (Application, Development, Environment) taxonomy of spreadsheet application development was evolved by mathematical taxonomic methods to categorise spreadsheet development projects to facilitate their management and …

A Study Of The Methodologies Currently Available For The Maintenance Of The Knowledge-Base In An Expert System, Kai Teh

Theses: Doctorates and Masters

This research studies currently available maintenance methodologies for expert system knowledge bases and taxonomically classifies them according to the functions they perform. The classification falls into two broad categories. These are: (1) Methodologies for building a more maintainable expert system knowledge base. This section covers techniques applicable to the development phases. Software engineering approaches as well as other approaches are discussed. (2) Methodologies for maintaining an existing knowledge base. This section is concerned with the continued maintenance of an existing knowledge base. It is divided into three subsections. The first subsection discusses tools and techniques which aid the understanding of …

A Case Study In Software Reuse: The Rntds Architecture, Barry J. Stevens

Computer Science Theses & Dissertations

It has been asserted that the most significant gains in software productivity will come from increased levels of software reuse. Some economic models for predicting savings through software reuse exist, but none are based on actual project experience. This paper surveys those models and presents the results of a case study, the Restructured Naval Tactical Data Systems (RNTDS) architecture, in the light of those models. According to the models, software reuse via the RNTDS architecture has enabled the production of fourteen major computer programs at five to twenty-one percent of the cost to create them without software reuse. Organizational characteristics …

Establishing A Methodology For Evaluation And Selecting Computer Aided Software Engineering Tools For A Defined Software Engineering Environment At The Air Force Institute Of Technology School Of Engineering, Jody L. Mattingly

Theses and Dissertations

This thesis identifies the software engineering environment (SEE) as it exists at the Air Force Institute of Technology (AFIT) School of Engineering. It also describes the software process model employed and the software development methods presented as part of the curriculum. Based on this information, criteria was established to evaluate computer aided software engineering (CASE) tools being considered for integration into the SEE. Each criterion was weighted to indicate its importance when selecting CASE tools. The criteria were further used to establish a methodology to be used to evaluate and select the CASE tools under consideration as well as future …

Effect Of Spatial Locality Prefetching On Structural Locality, Dirk D. Schalch

Theses and Dissertations

The purpose of this research was to analyze the effect that spatial locality prefetching in cache memory has on the structural locality of program memory referencing behavior. To examine this, a software simulator was built to model a proposed two-level cache memory subsystem. The proposed subsystem was designed to use spatial locality prefetching to exploit the structural locality contained in executing computer workloads. New memory referencing models were developed to incorporate the combined use of structural locality and spatial locality prefetching. From these models, equations were derived to predict the hit rates for both caches. Combined with the state transition …

Investigative Search Of Quality Historical Software Support Cost Data And Software Support Cost-Related Data, Brent L. Barber

Theses and Dissertations

The purpose of the study was to determine what software support cost data and software support cost-related data should and can be collected by the Air Force. In addition, the study was to determine how the subject data should be collected. The collection of this data is necessary in order to measure the accuracy and calibration requirements of the software support cost models used by the Air Force. The study found there was no standard set of data items, and no standard procedures in place for the collection of this data. In most cases data were available or easily accessible, …

Relative Utility Of Selected Software Requirement Metrics, James H. Byers

Theses and Dissertations

The objective of this study was to determine the relative utility of selected software requirement metrics in assessing the productivity of the software requirements analysis process and the quality of the products of this process. This objective was met by collecting information about the perceptions that practicing software professionals have of the usefulness of various requirement metrics. The study employed a two part methodology. The first part utilized Basili's goal/question/metric paradigm to identify specific goals of the measurement effort and to identify requirement metrics worthy of further investigation. The second part employed a typical research design to gather perceptions that …

Possible Application Of Quality Function Deployment In Software Systems Development In The United States Air Force, Craig R. Lamb

Theses and Dissertations

The objectives of the thesis were to determine whether the methods of Quality Function Deployment (QFD) could be used in the software development environment within the USAF, and whether or not this area should be researched further. The research was limited to the requirements analysis and definition phase. The different areas of study included a brief review of the structured analysis methodology, a detailed review of the QFD models currently being used in the product industries, a review of how QFD fits into the software development cycle, and specific software modifications to the QFD methodology. A review of some applications …

Knowledge-Based Systems Approach For Offshore Safety Training, B. S. Lee, Venky Shankararaman

Research Collection School Of Computing and Information Systems

A number of training methods has been used within the offshore industry to impart safety knowledge and safe operating skills. In this paper a Knowledge-Based Safety Training architecture is proposed. The architecture uses both expert system and hypertext methods and is also applicable to plants other than offshore platforms. Special attention is given to the types of knowledge dealt with in safety training and how to represent this knowledge and teach it using various teaching strategies.

Reuse And Productivity In Integrated Computer-Aided Software Engineering: An Empirical Study, Rajiv D. Banker, Robert J. Kauffman

Research Collection School Of Computing and Information Systems

Growing competition in the investment banking industry has given rise to increasing demand for high functionality software applications that can be developed in a short period of time. Yet delivering such applications creates a bottleneck in software development activities. This dilemma can be addressed when firms shift to development methods that emphasize software reusability. This article examines the productivity implications of object and repository-based integrated computer-aided software engineering (ICASE) software development in the context of a major investment bank's information systems strategy. The strategy emphasizes software reusability. Our empirical results, based on data from 20 projects that delivered software for …

A Mergeable Double-Ended Priority Queue, S. Olariu, Z. Wen

Computer Science Faculty Publications

An implementation of a double-ended priority queue is discussed. This data structure referred to as min–max–pair heap can be built in linear time; the operations Delete-min, Delete-max and Insert take O(log n) time, while Find-min and Find-max run in O(1) time. In contrast to the min-max heaps, it is shown that two min–max–pair heaps can be merged in sublinear time. More precisely, two min–max–pair heaps of sizes n and k can be merged in time O(log (n/k) * log k).

The Development Of A Graphical Notation For The Formal Specification Of Software, Gene A. Place

Theses and Dissertations

The program tranformations lifecycle model, proposed by Balzer in 1984, may hold the key to dramatic leap in software engineer productivity necessitated by the tremendous growth in the world's demand for software. This leap in productivity is made possible by the program transformation lifecycle's reliance on formal specifications rather than programs as the primary vehicle for the creation and maintenance of software systems. Because formal specifications are concerned only with system behaviors and not implementation details, formal specifications tend to present critical system characteristics much more concisely than programs. The major disadvantage of using formal specifications in a software development …

Mapping An Object-Oriented Requirements Analysis To A Design Architecture That Supports Design And Component Reuse, Kelly L. Spicer

Theses and Dissertations

Design reuse has more potential for increasing the productivity of software development and maintenance than do traditional approaches to software reuse that emphasize reuse of smaller components. Current software development methods do not promote design reuse. The literature contains limited documented research on the subject, but enough that some design reuse principles can be gleaned. Among these principles are that reusable designs should be applicable within some domain of application, have a consistent structure, provide a method for instantiating the design, avoid object nesting, and promote reuse of smaller components as well. A design mapping method from an object-oriented requirements …

A Hypermedia Implementation For Reusable Software Component Representation, Gary G. Worrall

Theses and Dissertations

This study investigated software component representation methods. Hypermedia was chosen as the implementation method to represent a collection of reusable software components. The hypermedia implementation organizes knowledge about the component collection into a web of small information chunks called frames. The set of software components was represented using a hybrid classification scheme composed of enumerated and faceted parts. The enumerated part enables the user to progress along a path in a taxonomic tree, narrowing the scope of eligible components. Each leaf node in this tree denotes a class of components, members of which are distinguished by their time and space …

A Software Design Tool For Predictable Performance In Real-Time, Data Flow Architectures, Brij Mohan V. Mandala

Electrical & Computer Engineering Theses & Dissertations

A software design tool which aids in the performance evaluation and selection of operating points for an algorithm implemented in ATAMM defined data flow architectures is presented in this thesis. ATAMM (Algorithm To Architecture Mapping Model) is a new graph theoretic model developed by researchers at Old Dominion University and the NASA-Langley Research Center. ATAMM is capable of modeling the execution of large-grained algorithms on distributed data flow architectures. A software tool is required for predicting the performance, determining the resource requirements and for selecting suitable operating points for an ATAMM based system. The ATAMM Design Tool presented in this …

An Abstract Data Model For The Idef0 Graphical Analysis Language, Gerald R. Morris, Thomas C. Hartrum, Mark A. Roth

AFIT Documents

IDEF₀ is the United States Air Force's ICAM (Integrated Computer Aided Manufacturing) Definition Method Zero graphical analysis language, a subset of Ross' Structured Analysis (SA) language. The language is also an excellent methodology for performing a requirements-phase analysis for any software development project. We present an abstract data model for IDEF₀ using entity-relationship diagrams. This model helps to mitigate some of the ambiguities inherent in IDEF₀. The model is divided into two parts representing the analysis data (the essential data model) and the graphical data (the drawing data model). This dual modeling approach allows for the …

Grades - A Computer Based Score Management System For The Iigs, Charles Patrick Wahle

All Graduate Projects

This project involved the creation of an electronic gradebook designed to realistically meet the needs of classroom teachers. The computer source code was written in Pascal, a compiled language that allowed fast execution of any part of the program. The electronic gradebook called GradeS uses the graphic Desktop Intert'ace. It tracks up to 42 students per class, allowing up to 50 assignments per grading period. An unlimited number of classes can be stored on data disks. It produces four different types of whole class and individual student reports both on the screen and the printer. The project includes a report …

Educational Software Development Using Hypertext And Expert System Software Concepts, Siripong Malasri, Roger R. Easson

Journal of the Arkansas Academy of Science

This paper presents two computer software concepts: hypertext and expert systems; which are useful for educational software development. Good educational software enhances the learning process and offers opportunities for faculty to provide additional materials for independent studies, which would otherwise be impossible, due to the limited time and incredible growing rate of technological progress. The hypertext concept offers the students a non-linear learning style, while the expert system concept provides explanation facilities for students to probe the logic of the systems. Both approaches are extremely useful for educational software. With the proper tools, the courseware can be implemented easily and …

Benchmarking Parallel Machines Via A Software Architecture, Srikanth Kambhatla, Jon Inouye, Jonathan Walpole

Computer Science Faculty Publications and Presentations

The diversity in parallel architectures and the programming styles induced thereof, make benchmarking of parallel machines a hard problem. Current benchmarking techniques are limited in applicability due to the issues of portability. We present a different approach to benchmarking parallel machines, which would make the resulting benchmarks portable, easy to use and widely applicable. The approach involves the use of a software architecture to mask the diversities of the underlying architectures. The benchmarks are based on the Linda Tuple Space, and is called BeLinda. In this report, we motivate the use of a software architecture, give a specification of the …

Pipelining Data Compression Algorithms, R. L. Bailey, R. Mukkamala

Computer Science Faculty Publications

Many different data compression techniques currently exist. Each has its own advantages and disadvantages. Combining (pipelining) multiple data compression techniques could achieve better compression rates than is possible with either technique individually. This paper proposes a pipelining technique and investigates the characteristics of two example pipelining algorithms. Their performance is compared with other well-known compression techniques.

Efficient Schemes To Evaluate Transaction Performance In Distributed Database Systems, R. Mukkamala, S. C. Bruell

Computer Science Faculty Publications

Database designers and researchers often need efficient schemes to evaluate transaction performance. In this paper, we chose two important performance measures: the average number of nodes accessed and the average number of data items accessed per node by a transaction in a distributed database system. We derive analytical expressions to evaluate these metrics. For general applicability, we consider partially replicated distributed database systems. Our first set of analytic results are closed-form expressions for these two measures. These are based on some fairly restrictive simplifying assumptions. When these assumptions are relaxed, no closed-form expressions exist for these averages. Hence, we develop …

The Development Of An Expert System For The Diagnosis Of Diseases In Fibre And Dairy Goats, Tim S. Roberts

Theses: Doctorates and Masters

This thesis details the development of an expert system for the diagnosis of diseases in fibre and dairy goats. Divided into five sections, five appendices, and a bibliography, this thesis centres on the methods used to build the expert system: the decisions taken at the outset of, and during the course of, development; some of the problems encountered, and the solutions to those problems. A detailed appraisal is made of the development process and suggestions are made for future developments over similar domains (for example, the diagnosis of diseases in animals other than goats). Much emphasis is placed on three …

Flower : Predicting Flowering Times Of Cereal Crops, G A B Elliott, Stephen Loss

Journal of the Department of Agriculture, Western Australia, Series 4

FLOWER is a computer program which predicts the flowering date of a given wheat or barley variety at a specified location and sowing date. Department of Agriculture agronomists, breeders and advisers are using the program to provide useful information on how the development of cereals responds to different environments across Western Australia's cereal growing areas.

Automatically Generating Functional Tests From Specifications - A Knowledge Based Constraint Logical Programming Approach, Ji Chen

Computer Science Theses & Dissertations

Recent experimental results indicate that functional testing is one of the most effective methods in detecting certain classes of faults. Very little work has been done in automating functional testing. This thesis research develops a method, called hierarchical partition, for automating functional testing. The key to our approach is the utilization of a pre-existing knowledge base about the domain of discourse. Several approaches to knowledge organiza­tion are discussed along with the resulting effects on the quantity and quality of functional tests produced. This research is an application and development of Generic Constraint Logic Programming and the Knowledge Driven …

Ua8 Wku Administrative Software Project, Wku Information Technology

WKU Administration Documents

Outline of project to upgrade software in WKU's administrative offices and brief overview of Information Technology history.

Quick Ceph™, A Computer Program For Cephalometric Analysis And Treatment Planning, Günther Blaseio

Loma Linda University Electronic Theses, Dissertations & Projects

The quantification of cephalometric radiographs is an integral part of orthodontic treatment planning. Numerous computer programs have been designed to digitize headfilms and to provide accurate graphic output and exact measurements. Yet these early systems were either huge, bulky and expensive or were limited in their practical use. The aim of this development was to combine modern computer and electronic equipment with advanced software engineering. The result is a universal cephalometric program written in the computer language "C" with presently seven standard and virtually limitless user definable analyses, growth forecasting, mouse-driven interactive VTO, arch length calculation, superimpositions, table of values …