Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Software engineering (3)
- Computer software--Development (2)
- Expert systems (Computer science) (2)
- Automatic programming (Computer science) (1)
- Computer software--Verification (1)
-
- Computer-aided software engineering (1)
- Embedded computer systems (1)
- Environmental engineering--Decision making--Computer programs (1)
- Hazardous waste sites--Management--Decision making--Computer programs (1)
- Life cycle costing (1)
- Major weapon system development (1)
- Parallel programming (Computer science) (1)
- Software configuration management (1)
- Software maintenance--Costs--Mathematical models (1)
- United States. Air Force--Facilities--Environmental aspects (1)
- United States. Air Force--Weapons systems--Computer programs (1)
- User interfaces (Computer systems) (1)
- Wavelets (Mathematics) (1)
Articles 1 - 9 of 9
Full-Text Articles in Physical Sciences and Mathematics
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …