Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (31)
- Computer Engineering (13)
- Business (9)
- Operations Research, Systems Engineering and Industrial Engineering (9)
- Electrical and Computer Engineering (8)
-
- Information Security (4)
- Operations and Supply Chain Management (4)
- Other Operations Research, Systems Engineering and Industrial Engineering (4)
- Computer and Systems Architecture (3)
- Digital Communications and Networking (3)
- Signal Processing (3)
- Business Administration, Management, and Operations (2)
- Business Analytics (2)
- Electrical and Electronics (2)
- Government Contracts (2)
- Hardware Systems (2)
- Industrial Engineering (2)
- Law (2)
- Numerical Analysis and Scientific Computing (2)
- Oceanography and Atmospheric Sciences and Meteorology (2)
- Social and Behavioral Sciences (2)
- Systems Engineering (2)
- Aerospace Engineering (1)
- Atmospheric Sciences (1)
- Civil and Environmental Engineering (1)
- Communication (1)
- Economics (1)
- Keyword
-
- Software engineering (27)
- Computer software--Development (7)
- Reverse engineering (6)
- Computer software--Reusability (5)
- Intelligent agents (Computer software) (5)
-
- Software development (5)
- Object-oriented programming (Computer science) (4)
- Software protection (4)
- Computer security (3)
- Computer software--Specifications (3)
- Software verification (3)
- Specifications (3)
- #antcenter (2)
- Automatic programming (Computer science) (2)
- Computer architecture (2)
- Computer simulation (2)
- Computer software--Evaluation (2)
- Computer-aided software engineering (2)
- Decision making (2)
- Expert systems (Computer science) (2)
- FORTRAN (2)
- Java (Computer program language) (2)
- Malware (Computer software) (2)
- Object-oriented programming (2)
- Software defined radio (2)
- Software-Defined Networking (2)
- #ctisr (1)
- 3D Scene Reconstruction (1)
- AOC Pathfinder (1)
- Ada (computer program language) (1)
- Publication Year
- Publication
- Publication Type
Articles 91 - 120 of 124
Full-Text Articles in Software Engineering
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
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 …
Developing A Sophisticated User Interface To Support Domain-Oriented Application Composition And Generation Systems, Jay A. Cossentine
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 …
Alternative Architectures For Domain-Oriented Application Composition And Generation Systems, Warren E. Gool
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 …
A Method For Populating The Knowledge Base Of Afit's Domain-Oriented Application Composition System, Russell M. Warner
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 …
Domain Analysis And Modeling Of A Model-Based Software Executive, Robert L. Welgan
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 …
Filtering, Coding, And Compression With Malvar Wavelets, Stephen R. Hall
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 …
The Development And Use Of An Evaluation Mechanism For The Assessment Of Software Configuration Management Tools, Wayne M. Descheneau, Neil W. Robinson
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 …
Investigation Into Formalization Of Domain-Oriented Parallel Software Development, Daniel P. King
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 …
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
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 …
An Assessment Of Software Safety As Applied To The Department Of Defense Software Development Process, Peter W. Colan, Robert W. Prouhet
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 …
Software Support Measurement And Estimating For Oracle Database Applications Using Mark Ii Function Points, Steven D. Radnov
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 …
A Model For Determining Task Set Schedulability In The Presence Of System Effects, Rusty O. Baldwin
A Model For Determining Task Set Schedulability In The Presence Of System Effects, Rusty O. Baldwin
Theses and Dissertations
This research developed a parameterized model that accounts for system overhead and determines when an Ada runtime environment can no longer successfully execute a given Ada task set and still meet all deadlines. The Ada Compiler Evaluation Capability benchmark was used to characterize an actual runtime environment. Using that data, a generic model of a preemptive, rate monotonic priority based runtime system was developed which accounts for overhead due to clock updates, context switching, task suspension, and synchronization. Validation was based on the Hartstone benchmark. First, the benchmark was executed using, the actual runtime environment. Then, those results were compared …
Object-Oriented Analysis, Design, And Implementation Of The Saber Wargame, David S. Douglass
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 …
Solution To A Multicriteria Aircraft Routing Problem Utilizing Parallel Search Techniques, James J. Grimm Iii
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 …
Examining A Layered Approach To Function And Design Representation For Reusable Software Components, Paul D. Siebels
Examining A Layered Approach To Function And Design Representation For Reusable Software Components, Paul D. Siebels
Theses and Dissertations
This effort examined ways to improve the effectiveness of reusable software libraries. The main area of investigation was in improving the user interface by finding better ways to present the software components to potential re-users. The first aspect which was considered was finding an effective representation for reusable software components. A set of criteria was developed for evaluating the effectiveness of software representations. The criteria consisted of generality, expressiveness, understandability, consistency, and resolution. The second aspect which was considered was how to present the software component information to the user to facilitate finding the appropriate component for reuse. A representation …
Creating And Manipulating Formalized Software Architectures To Support A Domain-Oriented Application Composition System, Cynthia G. Anderson
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 …
A Unified Model Of Program Behavior, Douglas T. Michel
A Unified Model Of Program Behavior, Douglas T. Michel
Theses and Dissertations
This thesis is an attempt to account for and unify the three types of locality: temporal, spatial, and structural. A diverse sample of traces are used in measuring program behavior with respect to these localities and a model is presented which represents the memory references a program generates as it goes through execution. The model is validated by estimating, the entropy of a synthetically generated trace and comparing it with actual traces. The results indicate that there is more predictability contained in the original trace than what the model was able to capture. Different variations of the model were tried …
Design Recovery For Software Library Population, Chester A. Wright Jr.
Design Recovery For Software Library Population, Chester A. Wright Jr.
Theses and Dissertations
This thesis research investigated design recovery as a means of populating a reuse library. The targeted library was part of the Automatic Programming Technologies for Avionics Systems (APTAS). APTAS uses a knowledge base of forms, to present questions to a user, and rules, to select the forms to present and choose existing library modules to use in composing a new system. The approach applied the reengineering model developed by Eric Byrne to accomplish planning for the project, expanded the renovation phase of this model to cover the actual design recovery, and applied the expanded model to populating the library. Using …
Formalizing, Validating, And Verifying Real-Time System Requirements With Reacto And Vhdl, Frank C. Young
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 …
The Adaptation Of The Sei's Capability Maturity Model To The Air Force Software Acquisition Management Process, William G. Dickerhoff Jr., William J. Sommers
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 …
Development Of An Environment For Software Reliability Model Selection, Salah A. Elewa
Development Of An Environment For Software Reliability Model Selection, Salah A. Elewa
Theses and Dissertations
An environment was developed for solving the problem of selecting a proper software reliability model for a given set of software failures. The idea behind the environment developed in this dissertation was to liken a collected set of software failure data to a previous one that proved to fit well with a specified software reliability model. Software failures were assumed to have a two-Parameter exponential distribution with unequal type II censoring. A test criterion was derived for testing Ratio Criterion. The exact distribution of the test criterion was derived. An asymptotic approximation was also obtained and was found to be …
Award Fee In Software Acquisition, Mark T. Hunter
Award Fee In Software Acquisition, Mark T. Hunter
Theses and Dissertations
The focus of this research effort was to determine, in general terms, what contractual tools are available to influence contractor performance during the software development process and, specifically, whether or not award fee contracts are appropriate tools. First, a qualitative, in depth literature review was done. Next, personal interviews were conducted with Program Directors and Deputy Program Directors at Aeronautical Systems Center, Electronic Systems Center, and Space and Missiles Systems Center. Then, after the results were summarized, the data was analyzed and findings were made. Findings include: award fee was found to be the most flexible provision in the FAR …
The Application Of Function Points To Predict Source Lines Of Code For Software Development, Garland S. Henderson
The Application Of Function Points To Predict Source Lines Of Code For Software Development, Garland S. Henderson
Theses and Dissertations
This research investigated the results of using function point analysis-based estimates to predict source lines of code (SLOC) for software development projects. The majority of software cost and effort estimating parametric tools are categorized as SLOC-based, meaning SLOC is the primary input. Early in a program, an accurate estimate of SLOC is difficult to project. Function points, another parametric software estimating tool, bases software cost and effort estimates on the functionality of a system. This functionality is described by documents available early in a program. Using a modeling methodology, the research focuses on function point's ability to accurately estimate SLOC …
Satool Ii: An IdefO Case Workbench Using Ada And The X Window System, Betty Topp
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. IDEF0 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 …
Relative Utility Of Selected Software Requirement Metrics, James H. Byers
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 …
Investigative Search Of Quality Historical Software Support Cost Data And Software Support Cost-Related Data, Brent L. Barber
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, …
Possible Application Of Quality Function Deployment In Software Systems Development In The United States Air Force, Craig R. Lamb
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 …
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
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 …
A Hypermedia Implementation For Reusable Software Component Representation, Gary G. Worrall
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 …