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

Software Engineering Commons™

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

Theses and Dissertations

Discipline
Institution
Keyword
Publication Year

Articles 91 - 120 of 144

Full-Text Articles in Software Engineering

Analysis And Design Of Standard Telerobotic Control Software, Matthew L. June Dec 1996

Analysis And Design Of Standard Telerobotic Control Software, Matthew L. June

Theses and Dissertations

The Robotics and Automation Center for Excellence (RACE) has defined an open telerobotics control architecture. This architecture, called the Unified Telerobotic Architecture Project (UTAP), is a proposed standard for all Air Force telerobotic systems. Implementation of UTAP will reduce the cost of robotic applications by increasing software modularity, portability, and reusability. This thesis continued the effort to prove the feasibility of UTAP. In December, 1995, 1st Lt Anchor implemented a portion of the UTAP specification on a PUMA robot. The UTAP-compliant controller exhibited some degradation in the system performance. However, the performance degradation was not fully measured. This thesis extended …

Go to article

Elicitation Of Formal Software Specifications From An Object-Oriented Domain Model, Timothy Karagias Dec 1996

Elicitation Of Formal Software Specifications From An Object-Oriented Domain Model, Timothy Karagias

Theses and Dissertations

The ability to provide automated support for the generation of formal software specifications would lead to decreased software development time. By eliciting the needed information from a software developer and harvesting the proper parts of a domain model, a software specifications document could be created. This research establishes the feasibility of producing customized software specifications based on an object-oriented domain model. The research was conducted in three phases. The first phase was to define the requirements for the Elicitor Harvester. Those requirements were balanced between the capabilities of the existing Knowledge Based Software Engineering (KBSE) software used at AFIT and …

Go to article

An Approach To Evaluate Software Effectiveness, Timothy J. Schalick Dec 1996

An Approach To Evaluate Software Effectiveness, Timothy J. Schalick

Theses and Dissertations

The Air Force Operational Test and Evaluation Center (AFOTEC) is tasked with the evaluation of operational effectiveness of new systems for the Air Force. Currently, the software analysis team within AFOTEC has no methodology to directly address the effectiveness of the software portion of these new systems. This research develops a working definition for software effectiveness, then outlines an approach to evaluate software effectiveness-- the Software Effectiveness Traceability Approach (SETA). Effectiveness is defined as the degree to which the software requirements are satisfied and is therefore application-independent. With SETA, requirements satisfaction is measured by the "degree of traceability" throughout the …

Go to article

Analysis And Simulation Of A New Code Tracking Loop For Gps Multipath Mitigation, Mark C. Laxton Dec 1996

Analysis And Simulation Of A New Code Tracking Loop For Gps Multipath Mitigation, Mark C. Laxton

Theses and Dissertations

This thesis proposes a new direct sequence spread spectrum (DS/SS) code phase tracking loop which mitigates the effects of multipath interference on code phase tracking error; such errors can translate to significant range measurement errors in DS/SS ranging systems such as Global Positioning System (GPS). The new code tracking loop, called the modified RAKE delay lock loop (MRDLL), uses maximum likelihood (ML) signal parameter estimation to determine the amplitude, carrier phase, and relative propagation delay of both a direct path and a reflected signal; a multiple correlator code phase tracking loop then exploits these ML signal estimates to remove the …

Go to article

Integrating The Capability Maturity Model For Software And The Quality Air Force Criteria, Marshall B. Messamore Dec 1996

Integrating The Capability Maturity Model For Software And The Quality Air Force Criteria, Marshall B. Messamore

Theses and Dissertations

As defense budgets decrease and it is required to do more with less, the Air Force has chosen to use the Malcolm Baldrige National Quality Award (MBNQA) as the basis for implementing quality principles. The Air Force program is known as Quality Air Force (QAF), and the criteria are referred to as the QAF criteria DEPA95b. At about the same time the Department of the Air Force implemented QAF, the software leaders in the Air Force adopted the Capability Maturity Model for Software (CMM) as the internal standard for Air Force software organizations MOSE9l. Software organizations strapped with both sets …

Go to article

Calibration Of The Softcost-R Software Cost Model To The Space And Missile Systems Center (Smc) Software Database (Swdb), Steven V. Southwell Sep 1996

Calibration Of The Softcost-R Software Cost Model To The Space And Missile Systems Center (Smc) Software Database (Swdb), Steven V. Southwell

Theses and Dissertations

The rising number and importance of Department of Defense software developments, when combined with declining defense budgets, has resulted in a critical need to accurately plan and manage software development costs and schedules. Unfortunately, the increasing size, complexity, and diversity of these software developments has made accurate estimating problematic. Uncalibrated software cost models have not generally produced reliable results due to generic default parameters and improper usage. The default parameters cannot hope to accurately represent and predict the wide variability of software efforts to which the models are being applied. However, some of the models have achieved improved accuracy by …

Go to article

Calibration Of The Checkpoint Model To The Space And Missile Systems Center (Smc) Software Database (Swdb), Karen R. Mertes Sep 1996

Calibration Of The Checkpoint Model To The Space And Missile Systems Center (Smc) Software Database (Swdb), Karen R. Mertes

Theses and Dissertations

This study analyzed the effect of calibration on the performance of the CHECKPOINT Version 2.3.1 software cost estimating model. Data used for input into the model were drawn from the FY 95 USAF SMC Software Database (SWDB) Version 2.1. A comparison was made between the model's accuracy before and after calibration. This was done using records which were not used in calibration, referred to as validation points. A comparison of calibration points, both before and after, was done in order to assess whether calibration results in more consistency within the data set used. Six measures such as magnitude of relative …

Go to article

Formal Transformations From Graphically-Based Object-Oriented Representations To Theory-Based Specifications, Scott A. Deloach Jun 1996

Formal Transformations From Graphically-Based Object-Oriented Representations To Theory-Based Specifications, Scott A. Deloach

Theses and Dissertations

Formal software specification has long been touted as a way to increase the quality and reliability of software; however, it remains an intricate, manually intensive activity. An alternative to using formal specifications is to use graphically-based, semi-formal specifications such as those used in many object-oriented specification methodologies. While semi-formal specifications are generally easier to develop and understand, they lack the rigor and precision of formal specification techniques. The basic premise of this investigation is that formal software specifications can be constructed using correctness preserving transformations from graphically-based object-oriented representations. In this investigation, object-oriented specifications defined using Rumbaugh's Object Modeling Technique …

Go to article

Application Of Autoregressive Moving Average Linear Prediction Filters To The Characterization Of Solar Wind-Magnetosphere Coupling, Carter N. Borst Jan 1996

Application Of Autoregressive Moving Average Linear Prediction Filters To The Characterization Of Solar Wind-Magnetosphere Coupling, Carter N. Borst

Theses and Dissertations

Linear prediction filtering techniques have been used in studying the coupling processes between the solar wind and magnetosphere. The magnetosphere is a complex, dynamic system with at least two independent coupling methods for energy input, driven and unloading. Linear models were built and tested on the Bargatze data set, consisting of over 70 days of geomagnetic indices and solar wind data ordered in 34 intervals of increasing geomagnetic activity. Linear filtering techniques employing single-and multiple-input, autoregressive models predicted values of the magnetic index AL from solar wind data. The impulse response curves of the AL-coupling function groups showed amplitude peaks …

Go to article

Objectism 3.0: A Software Architecture For The Development Of Portable Visual Simulation Applications, Shawn M. Hannan Dec 1995

Objectism 3.0: A Software Architecture For The Development Of Portable Visual Simulation Applications, Shawn M. Hannan

Theses and Dissertations

A visual simulation software architecture is a reusable design for visual simulation applications. This thesis effort was the third stage in an ongoing refinement of such an architecture, named ObjectSim. The primary goals of this stage were to improve the architecture by eliminating its dependence on two platform-specific graphics libraries (named GL and Performer, from Silicon Graphics, Inc.), and to examine the potential for expanding the architecture to accommodate distributed simulations. The effort resulted in a new version of the architecture which allows the development of visual simulation applications which take full advantage of the aforementioned libraries without calling those …

Go to article

Transforming Algebraically-Based Object Models Into A Canonical Form For Design Refinement, Charles G. Beem Dec 1995

Transforming Algebraically-Based Object Models Into A Canonical Form For Design Refinement, Charles G. Beem

Theses and Dissertations

The understandability of object-oriented design techniques and the rigor of formal methods have improved the state of software development; however, both ideas have limitations. Object-oriented techniques, which are semi-formal, can still result in incorrect designs, while formal methods are complex and require an extensive mathematical background. The two approaches can be coupled, however, to produce designs that are both understandable and verifiable, and to produce executable code. This research proposes an approach where object-oriented models are first represented algebraically in a formal specification language such as LARCH and then transformed into a canonical form suitable for design refinement. In the …

Go to article

An Object-Oriented, Formal Methods Approach To Organizational Process Modeling, Vincent S. Hibdon Dec 1995

An Object-Oriented, Formal Methods Approach To Organizational Process Modeling, Vincent S. Hibdon

Theses and Dissertations

This document presents a methodology for developing an organizational process model which is based on the principles of object oriented design and formal software engineering methods. The methodology begins with the development of an object oriented Rumbaugh model (27). The Rumbaugh model is then formally specified in Z (Zed) schemas. Finally, the Z specifications are translated into an executable model in the Software Refinery Environment(TM). This model is described based on the AF wing domain and developed in this domain. The proposed methodology is then shown to produce a very general model which is extendable across almost any domain. The …

Go to article

Calibration Of The System Evaluation And Estimation Of Resources Software Estimation Model (Seer-Sem) For The Air Force Space And Missile Systems Center (Smc), Kolin D. Rathmann Sep 1995

Calibration Of The System Evaluation And Estimation Of Resources Software Estimation Model (Seer-Sem) For The Air Force Space And Missile Systems Center (Smc), Kolin D. Rathmann

Theses and Dissertations

This study examined whether calibration of the SEER-SEM impacted the effort estimates generated by the model for software developments- A historical database was provided by the Space and Missile System's Center Los Angeles, and used as the model's input data. The data was stratified into four usable platforms, military ground command and-control, military ground signal processing, military specification avionics, and military mobile. Each platform's data sets were split, the majority of points for calibration of the model, and the rest for model validation. The accuracy of SEER to this particular data set is limited, yet the model did respond to …

Go to article

Calibration Of The Software Architecture Sizing And Estimation Tool (Saset), Carl D. Vegas Sep 1995

Calibration Of The Software Architecture Sizing And Estimation Tool (Saset), Carl D. Vegas

Theses and Dissertations

This study attempted to analyze the effect of calibration on the performance of the SASET computer software cost estimating model. Data used for input into the model were drawn from the most current USAF SMC Software Database (SWDB). Once all the records to be used for analysis were identified, the DBMS-Calibration tool (which is part of SASET) was used to perform regression analysis on the relationship between program size (measured in SLOC) and the effort required to develop the program (measured in man-months). Productivity information reported from this tool was then input into equations used to calculate the Productivity Calibration …

Go to article

Formal Foundations For The Specification Of Software Architecture, Mark J. Gerken Mar 1995

Formal Foundations For The Specification Of Software Architecture, Mark J. Gerken

Theses and Dissertations

This investigation establishes a formal foundation for software architecture that allows for the specification of large, non-trivial software systems using well founded, consistency preserving construction techniques. Two fundamental problems were addressed: how to define and express architectures formally using the concept of theories, and how architecture theories can be practically applied in specification construction. The initial stages of this investigation sought to establish a formal, mathematical relationship between functional specifications of behavior and specifications defining system structure. Experimental results lead to the conclusion that architectures defining the structure of functional operations can be defined using functional logic, but more complex …

Go to article

Analysis And Extension Of Model-Based Software Executives, Keith E. Lewis Jan 1995

Analysis And Extension Of Model-Based Software Executives, Keith E. Lewis

Theses and Dissertations

This research developed a comprehensive description of the simulation environment of Architect, a domain-oriented application composition system being developed at the Air Force Institute of Technology to explore new software engineering technologies. The description combines information from several previous research efforts and Architect's source code into a single, comprehensive document. A critical evaluation of the simulation environment was also performed, identifying improvements and modifications that enhance Architecture's application execution capabilities by reducing complexity and execution time. The analysis was then taken one step further and presented extensions to the current simulation environment. The extensions included investigating the feasibility of mixed-mode …

Go to article

Multiple Model Adaptive Estimation And Head Motion Tracking In A Virtual Environment: An Engineering Approach, James E. Russell Dec 1994

Multiple Model Adaptive Estimation And Head Motion Tracking In A Virtual Environment: An Engineering Approach, James E. Russell

Theses and Dissertations

Software engineering tools and techniques were applied to design and implement an application that reduces lag typically present in virtual environment displays. The application was a Multiple Model Adaptive Estimator (MMAE), composed of three Kalman filters, that predicted head orientation one sample period into the future. The environment rendering software used these predictions to generate the environment display. Each of the filters in the MMAE was designed for a different assumed head motion type (benign, moderate, or heavy), which allowed the MMAE to adapt to changes in head movement characteristics. The use of Ada 9X as an implementation language for …

Go to article

A Correlational Study Of The Sei's Capability Maturity Model And Software Development Performance In Dod Contracts, Robert M. Flowe, James B. Thordahl Dec 1994

A Correlational Study Of The Sei's Capability Maturity Model And Software Development Performance In Dod Contracts, Robert M. Flowe, James B. Thordahl

Theses and Dissertations

The Software Engineering Institute's (SEl's) Capability Maturity Model (CMM) is to measure an organization's software development process maturity. The Department of Defense (DoD) has model with the belief that a more mature software development process will result in a more successful software subject. Although there is a growing body of anecdotal evidence supporting this presumed correlation, there is empirical evidence. Thus, the goal of our research was to determine the nature of the correlation, if any, :ware process maturity and software project success, where process maturity is based on a CMM rating and success based on the parameters of cost …

Go to article

The Re-Engineering Of The Air Force Institute Of Technology Student Information System, Douglas J. Wu Dec 1994

The Re-Engineering Of The Air Force Institute Of Technology Student Information System, Douglas J. Wu

Theses and Dissertations

This research describes the design and implementation issues associated with re-engineering the Air Force Institute of Technology Student Information System (AFITSIS). Currently, AFITSIS executes on aging relational database technology and has unfriendly user interface mechanisms. The two research objectives met were to research current AFITSIS requirements, design, and implementation, and use object-oriented methods to design an alternative implementation based on proposed object database management system standards. This research explores how AFITSIS performance and capabilities might be enhanced by taking advantage of new object-oriented software engineering techniques. One of the primary benefits of this research is a detailed object modeling technique …

Go to article

A Comparison Of Error Categorization Schemes For Use In Software System Safety Programs, Richard Escobedo, Jim Thomas Dec 1994

A Comparison Of Error Categorization Schemes For Use In Software System Safety Programs, Richard Escobedo, Jim Thomas

Theses and Dissertations

Software safety is becoming increasingly important in the development of DoD advanced weapon systems. To make software safer, hazard conditions must be avoided along with the errors that accompany them. The first step in identifying errors is classifying error data. The area of software error classification is not as advanced as other software development areas. The technical literature lacks examples of comprehensive taxonomies that can be applied to various computer software domains and applications. The predominant approach is to organize errors into categories particular to the program currently in work. The typical error scheme is made of narrow categories that …

Go to article

Easy-Sim: A Visual Simulation System Software Architecture With An Ada 9x Application Framework, Jordan R. Kayloe Dec 1994

Easy-Sim: A Visual Simulation System Software Architecture With An Ada 9x Application Framework, Jordan R. Kayloe

Theses and Dissertations

Software architectures increase productivity when used as the basis for developing applications in a problem domain. This thesis describes the creation of Easy-Sim, an object-oriented software architecture for visual simulation systems, and its corresponding implementation as an application framework in Ada 9X. The research built upon ObjectSim, an existing object-oriented simulation architecture implemented as a application framework. Both ObjectSim and Easy-Sim operate on Silicon Graphics platforms and use the IRIS Performer graphics programming library. Easy-Sim is implemented using version 1.83 of the GNAT compiler. The investigation for this thesis involved honing ObjectSim's design, implementing the improved result in both C++ …

Go to article

Development Of Computer Software To Aid Environmental Decision Makers In The Education And Training Of Air Force Remedial Project Managers, Roger R. Ouellette, Bruce K. Lyman Dec 1993

Development Of Computer Software To Aid Environmental Decision Makers In The Education And Training Of Air Force Remedial Project Managers, Roger R. Ouellette, Bruce K. Lyman

Theses and Dissertations

By the end of Fiscal Year 1991, the Air Force had identified 4,354 contaminated sites. Much like the 177 toxic sites at McClellan AFB, bases across the country and throughput the world are filled with chrome, lead, paint solvents and many other toxics that are rendering water supplies unusable and endangering the health of millions of people living in and around these bases. Air Force officials continue to identify contaminated sites with no end in sight. Since the cleanup of these toxic materials involves diverse, complex activities, the Air Force created the duty position of Remedial Project Manager to manage …

Go to article

Developing A Sophisticated User Interface To Support Domain-Oriented Application Composition And Generation Systems, Jay A. Cossentine Dec 1993

Developing A Sophisticated User Interface To Support Domain-Oriented Application Composition And Generation Systems, Jay A. Cossentine

Theses and Dissertations

This research refined the visual presentation and usability of a previously developed visual interface for a domain-oriented application composition and generation system. The refined visual interface incorporated domain-specific bit-mapped graphics and sophisticated user interface design concepts to reduce user workload. User workload was reduced through object layout, window design, and color utilization techniques; by combining repetitive procedures into single commands; and reusing, rather than recreating, composition information throughout the application composition process. The Software Refinery environment, including its graphical interface tool INTERVISTA, was used to develop techniques for visualizing and manipulating objects contained in a formal object base. INTERVISTA was …

Go to article

Alternative Architectures For Domain-Oriented Application Composition And Generation Systems, Warren E. Gool Dec 1993

Alternative Architectures For Domain-Oriented Application Composition And Generation Systems, Warren E. Gool

Theses and Dissertations

This thesis presents a formalized framework for comparing the structure and semantics of software architectures. The framework uses object diagrams for analyzing the structure of the architectures and the axiomatic approach for analyzing the semantics. This framework is used to compare the Object Connection Update OCU model developed by the Software Engineering Institute against four other software architectures VHDL defined by Lipsett, MetaH defined by Honeywell, microRapide defined by Luckham, and hierarchical software systems as defined by Batory. The goal of the comparison was to evaluate the OCU model for suitability within prototype application composition and generation systems. This research …

Go to article

A Method For Populating The Knowledge Base Of Afit's Domain-Oriented Application Composition System, Russell M. Warner Dec 1993

A Method For Populating The Knowledge Base Of Afit's Domain-Oriented Application Composition System, Russell M. Warner

Theses and Dissertations

This research developed a formal method for adding new domains to Architect, a domain-oriented application composition system being developed at the Air Force Institute of Technology AFIT to explore new software engineering technologies. Using canonical formal specifications of domain objects, Architect rapidly composes these specifications into a software application and executes a prototype of that application as a means to demonstrate its correctness before any programming language specific code is generated. Architect is implemented in the Software Refinery environment, which allows Architect to create and manipulate object-oriented specifications. As a part of this research effort, domain-oriented application composition systems were …

Go to article

Domain Analysis And Modeling Of A Model-Based Software Executive, Robert L. Welgan Dec 1993

Domain Analysis And Modeling Of A Model-Based Software Executive, Robert L. Welgan

Theses and Dissertations

This research was adapted the domain analysis techniques of Prieto- Diaz and Tracz to specify a domain analysis process which was used to conduct domain analysis over the domain of software executives. This analysis created a set of informal and formal domain model artifacts. The domain model artifacts were instantiated into two application executive subsystems. These executive subsystems operated in Architect, a domain-oriented application composition system based on the Object-Connection-Update OCU model. This research demonstrated and evaluated execution of the instantiated executive domain model in a series of event-driven and time-driven applications. As a consequence of developing the application executive …

Go to article

Filtering, Coding, And Compression With Malvar Wavelets, Stephen R. Hall Dec 1993

Filtering, Coding, And Compression With Malvar Wavelets, Stephen R. Hall

Theses and Dissertations

This thesis develops and evaluates a number of new concepts and tools for the analysis of signals using Malvar wavelets lapped orthogonal transforms . Windowing, often employed as a spectral estimation technique, can result in irreparable distortions in the transformed signal. By utilizing the Malvar wavelet, any signal distortion resulting from the transformation can be eliminated or cancelled during reconstruction. This is accomplished by placing conditions on the window and the basis function and then incorporating the window into the orthonormal representation. Paradigms for both a complex-valued and a real-valued Malvar wavelet are summarized. I-lie algorithms for the wavelets were …

Go to article

The Development And Use Of An Evaluation Mechanism For The Assessment Of Software Configuration Management Tools, Wayne M. Descheneau, Neil W. Robinson Dec 1993

The Development And Use Of An Evaluation Mechanism For The Assessment Of Software Configuration Management Tools, Wayne M. Descheneau, Neil W. Robinson

Theses and Dissertations

This study investigated the development of a mechanism for use in the evaluation of Software Configuration Management SCM tools. An examination of applicable DoD standards identified the SCM requirements that could be levied on a development contractor, and a literature search revealed the functionality common to various automated tools. These two sets of information were organized into a matrix, and for each requirement that was met, the intersection on the matrix of the requirement and each functionality used to meet that requirement was checked. In addition to the matrix, the mechanism consisted of general information about a given tool and …

Go to article

Investigation Into Formalization Of Domain-Oriented Parallel Software Development, Daniel P. King Dec 1993

Investigation Into Formalization Of Domain-Oriented Parallel Software Development, Daniel P. King

Theses and Dissertations

This research investigates the conceptual design of a semi-automated platform for parallel software development. The proposed semi-automated environment applies transformational techniques and domain-specific knowledge to a parallel software development process. Domain-specific and software design knowledge interact within the transformational development process in the creation of a software application. The underlying parallel specification language requires a set of parallel composition operators in order to capture an application’s concurrent properties. A set of parallel composition operators is proposed that consists of parallel composition, parallel enumeration, nondeterministic choice, sequential composition specific communication and synchronization variable types are also proposed. A semi-automated environment based …

Go to article

An Analysis Of The Root Causes Of Delays And Deficiencies In The Development Of Embedded Software For Air Force Weapon Systems, Jay R. Hopkins, Curtis De Keyrel Dec 1993

An Analysis Of The Root Causes Of Delays And Deficiencies In The Development Of Embedded Software For Air Force Weapon Systems, Jay R. Hopkins, Curtis De Keyrel

Theses and Dissertations

The importance of embedded software, used in every subsystem of ah major weapon systems used by the United States Air Force, has increased drastically over the last decades. However, in spite of the regulations currently in existence, developing and acquiring software which meets the user requirements within the original cost and schedule estimates continues to be difficult. At the same time, the Air Force has pushed to improve the development process with the Total Quality Management TQM program. The primary method used to improve the process has been to create metrics, collect data on these metrics, and then perform a …

Go to article

First Prev Next Last