Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
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 …
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 …