Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Software Engineering (26)
- Engineering (7)
- Electrical and Computer Engineering (4)
- Business (2)
- Computer Engineering (2)
-
- Electrical and Electronics (2)
- Graphics and Human Computer Interfaces (2)
- Signal Processing (2)
- Artificial Intelligence and Robotics (1)
- Business Administration, Management, and Operations (1)
- Computer and Systems Architecture (1)
- Databases and Information Systems (1)
- Information Security (1)
- Meteorology (1)
- Oceanography and Atmospheric Sciences and Meteorology (1)
- Operational Research (1)
- Operations Research, Systems Engineering and Industrial Engineering (1)
- Operations and Supply Chain Management (1)
Articles 31 - 42 of 42
Full-Text Articles in Physical Sciences and Mathematics
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 …
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 …
Using Database Technology To Support Domain-Oriented Application Composition Systems, Danny A. Cecil, Joseph A. Fullenkamp
Using Database Technology To Support Domain-Oriented Application Composition Systems, Danny A. Cecil, Joseph A. Fullenkamp
Theses and Dissertations
This research designed and prototyped an OODBMS technology base to store and retrieve various types of domain artifacts for domain-oriented application composition systems (DOACS). We developed object-oriented database schemas for a validating domain and the Object-Connection-Update software architecture. We implemented an inheritance relationship between the schemas so a domain model can inherit an architectural structure from an architecture model allowing us to isolate domain-specific knowledge from architecture-specific knowledge. We also developed a meta-model to formally define domain models in the database. We then developed a set of database methods to transform a domain model into a database schema for storing …
Development Of A Visual System Interface To Support A Domain-Oriented Application Composition System, Timothy L. Weide
Development Of A Visual System Interface To Support A Domain-Oriented Application Composition System, Timothy L. Weide
Theses and Dissertations
This research designed and prototyped a visual system interface to generate, display, and modify domain-oriented application specifications. A visual system interface, called the Architect Visual System Interface (AVSI), supplements a text-based environment, called Architect, previously developed by two other students. 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. This thesis investigates visual techniques for populating, manipulating, viewing, and composing these software application specifications within the formal object base scheme required …
Creating And Manipulating A Domain-Specific Formal Object Base To Support A Domain-Oriented Application Composition System, Mary Anne Randour
Creating And Manipulating A Domain-Specific Formal Object Base To Support A Domain-Oriented Application Composition System, Mary Anne Randour
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 is correctness before any programming language specific code is generated. This thesis investigated populating and manipulating the formal object base required by Architect. This object base is built using a domain- specific language (DSL) which serves as an interface between …
Ada Implementation Of An Object Data Repository, Stephen P. Perucca
Ada Implementation Of An Object Data Repository, Stephen P. Perucca
Theses and Dissertations
The many benefits of object-oriented software development such as encapsulation and extendibility have inspired numerous models of the object- oriented paradigm. Rumbaugh's Object Modeling Technique (OMT) is an object- oriented model that uses three submodels. The object, dynamic, and functional submodels of the OMT describe the data, behavioral, and processing aspects of a system by using entity-relationship, state-transition, and data flow models. Cross-links relate how the three submodels tie together. Two metamodels (models of models) of the OMT are developed using the OMT methodology and notation. The essential data elements of the OMT are abstracted into a data metamodel, and …
Formalization And Transformation Of Informal Analysis Models Into Executive Refine™ Specifications, Mary M. Boom, Bradley D. Mallare
Formalization And Transformation Of Informal Analysis Models Into Executive Refine™ Specifications, Mary M. Boom, Bradley D. Mallare
Theses and Dissertations
This research developed and implemented an automated technique for translating informal specifications into formal, executable specifications. A unified Abstract Model (UAM) was developed to combine the information contained in Entity Relationship, State Transition, and Data Flow Models into a concise, object-based representation. The UAM forms the basis for defining a formal language, the Object Modeling Language (OML), used to capture the information contained in the UAM. By using OML, we were able to develop an automated translation process to convert informal specifications into executable, formal specifications. The Software Refinery Development Environment enabled us to easily develop a parser that translates …
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 …
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 …
Formalization And Validation Of An Sadt Specification Through Executable Simulation In Vhdl, Daniel L. Eickmeier
Formalization And Validation Of An Sadt Specification Through Executable Simulation In Vhdl, Daniel L. Eickmeier
Theses and Dissertations
Formalizing an informal requirements specification, such as SADT, and executing the formal specification in a simulation environment, such as VHDL, provides a requirements analyst a means to validate the behavior of a specification early in the development life cycle. This research effort investigated and demonstrated the feasibility and benefit of transforming an SADT specification of a system into an equivalent VHDL executable simulation. Both non-time related behavior and concurrent, real-time related behavior is addressed. First, a decision table extension to SADT is created so that detailed, executable behavior can be specified. Next a mapping from SADT to VHDL is defined. …
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 …