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

Software Engineering Commons™

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

Engineering

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 541 - 554 of 554

Full-Text Articles in Software Engineering

An Assessment Of Software Safety As Applied To The Department Of Defense Software Development Process, Peter W. Colan, Robert W. Prouhet Dec 1992

An Assessment Of Software Safety As Applied To The Department Of Defense Software Development Process, Peter W. Colan, Robert W. Prouhet

Theses and Dissertations

This research analyzed the relationships between the DOD software development process, system safety requirements, and current structured software safety analysis techniques. The current state of software safety was assessed within the aerospace industry and DOD, and a training program for DOD System Safety Managers was developed. A telephone survey was conducted to gather information on current software safety analysis techniques and methodologies. Personal interviews were conducted with Aeronautical System Center System Safety Managers to gather data on job perception and perceived training needs. The results of the study indicate that the DOD guidance and policy documents needed to implement and …

Go to article

Software Support Measurement And Estimating For Oracle Database Applications Using Mark Ii Function Points, Steven D. Radnov Dec 1992

Software Support Measurement And Estimating For Oracle Database Applications Using Mark Ii Function Points, Steven D. Radnov

Theses and Dissertations

This study investigated the results of measuring software support of Oracle database applications and estimating the effort and schedule required to provide support. Software measurement was accomplished with a variant of the function points metric, called Mark II function points, which is comprised of three weighted parameters, inputs, entities, and outputs. A technique for mapping Mark II function points to Oracle DBMS components was developed, and the size of the software support for each project, per team, was measured by tabulating and weighting the number of inputs, entities, and outputs that are added, changed, and/or deleted. Software support effort was …

Go to article

Object-Oriented Analysis, Design, And Implementation Of The Saber Wargame, David S. Douglass Dec 1992

Object-Oriented Analysis, Design, And Implementation Of The Saber Wargame, David S. Douglass

Theses and Dissertations

Saber is a two-sided, air and land war game that simulates decisions made of commanders at the theater-level. It is being developed by the Air Force Institute of Technology for the Air Force Wargaming center at Maxwell AFB, Alabama. Saber models conventional, chemical, and nuclear warfare between aggregated air and land forces. It also portrays the effects of logistics, satellites, weather, terrain, and intelligence which add to the realism of the Saber war game. The Saber war game has three main components, the preprocessor. which is responsible for scenario development and pregame activities, the simulation. the guts of the war …

Go to article

Solution To A Multicriteria Aircraft Routing Problem Utilizing Parallel Search Techniques, James J. Grimm Iii Dec 1992

Solution To A Multicriteria Aircraft Routing Problem Utilizing Parallel Search Techniques, James J. Grimm Iii

Theses and Dissertations

Pilots select routes based on factors such as threats, fuel, time on target, distance, and refueling points. This is a time consuming task. This thesis presents the software engineering synthesis of a software tool, based on a parallelized A* search algorithm, to select routes. For simplicity only threats and distance are used. A centralized open list is used with one processor managing the list while the other processors perform the node expansions. This decomposition result in a dynamically load balanced system. A number of parameters are changed to study their impact on the execution time. The use of a branch …

Go to article

Creating And Manipulating Formalized Software Architectures To Support A Domain-Oriented Application Composition System, Cynthia G. Anderson Dec 1992

Creating And Manipulating Formalized Software Architectures To Support A Domain-Oriented Application Composition System, Cynthia G. Anderson

Theses and Dissertations

This research investigated technology which enables sophisticated users to specify, generate, and maintain application software in domain-oriented terms. To realize this new technology, a development environment, called Architect, was designed and implemented. 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 depends upon the existence of a formal object base (or domain model) which was investigated by another student in related research. The research described in this thesis relied on …

Go to article

Formalizing, Validating, And Verifying Real-Time System Requirements With Reacto And Vhdl, Frank C. Young Dec 1992

Formalizing, Validating, And Verifying Real-Time System Requirements With Reacto And Vhdl, Frank C. Young

Theses and Dissertations

We develop a methodology for formalizing, verifying, and validating the requirements specification of real-time systems based on a graphical and formal hierarchical Finite State Machine (FSM) language Reacto. We define a means to quantify time and express real-time constraints in Reacto and a transformation from Reacto to the Very High Speed Integrated Circuit (VHSIC) hardware Description Language (VHDL). Reacto's high level abstractions, graphical nature, and theorem prover produce efficient, accurate, and easily understood specifications. We use VHDL's event driven simulation capability, concurrency, and temporal operators to thoroughly examine temporal dependencies between the state machine transitions, and to increase simulation power …

Go to article

The Adaptation Of The Sei's Capability Maturity Model To The Air Force Software Acquisition Management Process, William G. Dickerhoff Jr., William J. Sommers Dec 1992

The Adaptation Of The Sei's Capability Maturity Model To The Air Force Software Acquisition Management Process, William G. Dickerhoff Jr., William J. Sommers

Theses and Dissertations

This study develops an Air Force Software Acquisition Maturity Framework (SAMF) by adapting the Software Engineering Institute's (SEI) capability Maturity Model (CMM) to the Air Force software acquisition process. The SAMFs purpose is to provide the Air Force Materiel Command's product centers and program off ices with criterion to assess their software acquisition maturity in a similar fashion as the SEI's CMM provides companies a benchmark to measure their organization's software production maturity. The research was accomplished through a combination of information gathering techniques and data analysis. A literature search of documentation, both within and external to the Department of …

Go to article

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

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 …

Go to article

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

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 …

Go to article

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

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.

Go to article

Design Of Multivariable Feedback Control Systems Via Spectral Assignment, Mohsen Marefat Oct 1985

Design Of Multivariable Feedback Control Systems Via Spectral Assignment, Mohsen Marefat

Electrical & Computer Engineering Theses & Dissertations

During the past 15 year s significant advances have been made towards developing viable synthesis- techniques for multivariable feedback control systems. The entire aggregate of this theoretical work has been reviewed and consolidated. Diverse notations have been standardized into a single system. A two-step design philosophy for spectral assignment has been developed which first meets stability and time response requirements by assigning eigenvalues and eigenvector s and then provides for attainment of secondary objectives without significant deviation from the initial assignment. Finally, a computer-aided design package has been created to streamline the process of mathematical calculation and to allow users …

Go to article

Color Display Of Vowel Spectra As A Training Aid For The Deaf, Amir Jalali Jagharghi Jul 1985

Color Display Of Vowel Spectra As A Training Aid For The Deaf, Amir Jalali Jagharghi

Electrical & Computer Engineering Theses & Dissertations

The objective of this research was to develop a transformation for mapping speech parameters to color parameter. This transformation is done in real-time, and the resulting color parameter are continuously displayed on a color monitor. This visual speech display is to be used as a speech articulation training aid for the deaf. The conversion of speech acoustic signals into speech parameter was accomplished using special -purpose electronics. The real-time conversion of speech parameter to display parameter was controlled by an 8086/8088 microprocessor operating in an S-100 bus structure. The coefficients of the Karhunen-Loeve series expansion of speech power spectra were …

Go to article

Moment-Curvature-Thrust Relationships In Hybrid Members, Douglas Wrenn Fiala Jul 1972

Moment-Curvature-Thrust Relationships In Hybrid Members, Douglas Wrenn Fiala

Dissertations and Theses

In order to overcome the difficulties encountered in closed form solutions, moment-curvature-thrust relationships are developed for hybrid and nonhybrid cross sections utilizing an open form method. The use of horizontal sectors permits the inclusion of residual stresses and/or nonbilinear stress-strain relationships, if desired. Theoretical and experimental data are compared. Applications to circular tubes and other cross sections are discussed. Results indicate that open form solutions are feasible for calculating moment-curvature-thrust data. Hybrid cross sections are easily treated by open form solutions.

Go to article

Software Simulation Of The D17b Computer, Bruce Chatterton Mar 1972

Software Simulation Of The D17b Computer, Bruce Chatterton

Theses and Dissertations

A software program has been written which simulates the functions of the Minuteman D17B computer at the register transfer level. The simulation program is written in the FORTRAN Extended language to be used on the Intercom System (teletype) of a CDC 6600 computer system. The simulation program consists of a main program and eight subroutines. A programming language for the D17B simulation was formed which contains numbers and load codes, switches, and miscellaneous commands. Example programs run on the simulated computer have been included to show the types of output available.

Go to article

First Prev