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

Computer Sciences Commons™

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

Software engineering

Discipline
Institution
Publication Year
Publication
Publication Type
File Type

Articles 211 - 240 of 252

Full-Text Articles in Computer Sciences

Design And Specification Of Dynamic, Mobile And Reconfigurable Multiagent Systems, Athie L. Self Mar 2001

Design And Specification Of Dynamic, Mobile And Reconfigurable Multiagent Systems, Athie L. Self

Theses and Dissertations

Multiagent Systems use the power of collaborative software agents to solve complex distributed problems. There are many Agent-Oriented Software Engineering (AOSE) methodologies available to assist system designers to create multiagent systems. However, none of these methodologies can specify agents with dynamic properties such as cloning, mobility or agent instantiation. This thesis starts the process to bridge the gap between AOSE methodologies and dynamic agent platforms by incorporating mobility into the current Multiagent Systems Engineering (MaSE) methodology. Mobility was specified within all components composing a mobile agent class. An agent component was also created that integrated the behavior of the components …

Go to article

Transforming Analysis Models Into Design Models For The Multiagent Engineering Systems (Mase) Methodology, Clint H. Sparkman Mar 2001

Transforming Analysis Models Into Design Models For The Multiagent Engineering Systems (Mase) Methodology, Clint H. Sparkman

Theses and Dissertations

Agent technology has received much attention in the last few years because of the advantages that multiagent systems have in complex, distributed environments. For multiagent systems are to be effective, they must be reliable, robust, and secure. AFIT's Agent Research Group has developed a complete lifecycle methodology, called Multiagent Systems Engineering (MaSE), for analyzing, designing, and developing heterogeneous multiagent systems. However, developing multiagent systems is a complicated process, and there is no guarantee that the resulting system meets the initial requirements and will operate reliably with the desired behavior. The purpose of this research was to develop a semi-automated formal …

Go to article

Generating Executable Persistent Data Storage/Retrieval Code From Object-Oriented Specifications, Steven R. Buckwalter Mar 2000

Generating Executable Persistent Data Storage/Retrieval Code From Object-Oriented Specifications, Steven R. Buckwalter

Theses and Dissertations

This research creates a methodology and corresponding prototype for the transformation of object-oriented (OO) specifications to represent the corresponding relational schemas that are used to automatically generate database design language (DDL). The transformation design decisions and specifications are then used to generate database manipulation language (DML) that can be embedded within the software application code generated from the same OO specifications. This concept of developing a model for producing compilable and executable code from formal software specifications has long been a goal of software engineers. Previous research at the Air Force Institute of Technology (AFIT) has not focused on the …

Go to article

An Object-Oriented Repository-Based Software Synthesis System, Gary L. Cornn Jr. Mar 2000

An Object-Oriented Repository-Based Software Synthesis System, Gary L. Cornn Jr.

Theses and Dissertations

This research provides a repository on which various Air Force Institute of Technology (AFIT) transformational software synthesis tools can store, share, and manage data using a common repository information model. This information model was created by integrating a variety of separately developed AFIT software synthesis object models into a "wide-spectrum" model. Additionally, a methodology for describing complex relationships between artifacts in the repository is described. These relationships can be used to relate software synthesis artifacts created in a variety of formats, including text, binary, and the AFIT Wide-Spectrum Object Modeling Environment (AWSOME) information model. The relationships can be exploited for …

Go to article

Distributed Object System Engineering For Terminal Aerodrome Forecast Validation And Metrics Processing, James S. Douglas Mar 2000

Distributed Object System Engineering For Terminal Aerodrome Forecast Validation And Metrics Processing, James S. Douglas

Theses and Dissertations

Distributed object systems are a very complex intertwining of heterogeneous hardware, software, and operating systems coupled with communication networks of varying protocols and capacities. Distributed components offer improved performance through parallel processing, improved expansion and scalability opportunities through modularity, improved availability through replication, and improved resource sharing and interoperability through interconnection. This research provides a distributed system design methodology to validate terminal forecasts and gather metrics for the Air Force Weather Agency. Proven principles such as component reuse and architectural development are applied through the use of parameterized types and design patterns. A client/server measurement model is developed to show …

Go to article

Transforming Aggregate Object-Oriented Formal Specifications To Code, John A. Kissack Mar 1999

Transforming Aggregate Object-Oriented Formal Specifications To Code, John A. Kissack

Theses and Dissertations

The feasibility of a transformational formal-based software engineering tool has been the focus of AFIT research for several years. Until now, the main research emphasis has been placed on the individual components that would comprise such a transformational system; therefore, this research demonstrates how a representative collection of aggregate objects would be transformed from specification to code. The research focused on critical integration issues associated with a formal-based software transformation system, such as the source specification, the problem space architecture, design architecture, design transforms, and target software transforms. Software is critical in today's Air Force, yet its specification, design, and …

Go to article

Graphical User Interface And Microprocessor Control Enhancement Of A Pseudorandom Code Generator, John M. Kos Mar 1999

Graphical User Interface And Microprocessor Control Enhancement Of A Pseudorandom Code Generator, John M. Kos

Theses and Dissertations

Modern digital communication techniques often require the generation of pseudorandom numbers or sequences. The ability to quickly and easily produce various codes such as maximal length codes, Gold codes, Jet Propulsion Laboratory ranging codes, syncopated codes, and non-linear codes in a laboratory environment is essential. This thesis addresses the issue of providing automated computer control to previously built, manually controlled hardware incorporating the Stanford Telecom STEL-1032 Pseudo-Random Number (PRN) Coder. By incorporating a microcontroller into existing hardware, the STEL-1032 can now be conveniently controlled from a MATLAB Graphical User Interface (GUI). The user can quickly create, save, and recall various …

Go to article

A Web-Based Prototype For Afit Edplan Administration, Tien-Chen Lee Dec 1998

A Web-Based Prototype For Afit Edplan Administration, Tien-Chen Lee

Theses and Dissertations

This document details the design, development, and evaluation of a prototype course registration and reporting system for the students and faculty of the United States Air Force Institute of Technology. The web-based system provides HTML-based client interfaces and Active Server Page server processes for interaction with the relational databases used to manage course and personnel data. The system prototype was developed following the "Engineering Software Components for Web-Database Access" methodology of Dipiro. A survey of modern web-based database access techniques is first provided and Dipiro's methodology is reviewed as background. The remainder of the document details the application of the …

Go to article

A Decision Theoretic Approach For Interface Agent Development, Scott M. Brown Sep 1998

A Decision Theoretic Approach For Interface Agent Development, Scott M. Brown

Theses and Dissertations

The complexity of current software applications is overwhelming users. The need exists for intelligent interface agents to address the problem of increasing taskload that is overwhelming the human user. Interface agents could help alleviate user taskload by extracting and analyzing relevant information, and providing information abstractions of that information, and providing timely, beneficial assistance to users. These agents could communicate with the user through the existing user interface and also adapt to user needs and behaviors. Central to providing assistance to a user is the issue of correctly determining the user's intent. This dissertation presents an effective, efficient, and extensible …

Go to article

Methodology For The Analysis And Design Of Internet Software Components Providing Relational Database Access Through The World Wide Web, Daniel L. Dipiro Mar 1998

Methodology For The Analysis And Design Of Internet Software Components Providing Relational Database Access Through The World Wide Web, Daniel L. Dipiro

Theses and Dissertations

This work examines the application of Internet software technologies to provide access to remote relational databases via the World Wide Web. The research applies these software technologies to assist the Air Force Institute of Technology Civilian Institute Program in improving operations and student to staff communication. An analysis of the existing Internet software technologies revealed several competing technologies capable of performing the same database access functions. The analysis further revealed weaknesses and inconsistencies in the existing AFIT/CI database. A methodology is proposed to assist in analyzing an existing development environment and in selecting among the competing technologies to provide the …

Go to article

An Advanced Visualization Method For An Operations Research Analysis, Steven C. Oimoen Mar 1998

An Advanced Visualization Method For An Operations Research Analysis, Steven C. Oimoen

Theses and Dissertations

Visualizing multidimensional data using only two dimensions and conventional visualization techniques limits the understanding of the data set. Underlying structures or patterns within the data can easily go unnoticed. In order to gain additional insight into an analysis, incorporation of visualization and multidimensional graphics into the analysis results should be accomplished. The results must ensure that the information portrayed is not misleading or misunderstood. The integrity of the data must be preserved throughout the transformation. The primary objective of this research effort is to identify techniques to visualize multidimensional data and then develop a software tool to display the multidimensional …

Go to article

Object-Oriented Programming And Parallelism, Atanas Radenski Jan 1998

Object-Oriented Programming And Parallelism, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Articles and Research

Initially, object-orientation and parallelism originated and developed as separate and relatively independent areas. During the last decade, however, more and more researchers were attracted by the benefits from a potential marriage of the two powerful paradigms. Numerous research projects and an increasing number of practical applications were aimed at different forms of amalgamation of parallelism with object-orientation. It has been realized that parallelism is a inherently needed enhancement for the traditional object-oriented programming (OOP) paradigm, and that object orientation can add significant flexibility to the parallel programming paradigm.

Go to article

A Representational Approach To Knowledge And Multiple Skill Levels For Broad Classes Of Computer Generated Forces, Larry J. Hutson Dec 1997

A Representational Approach To Knowledge And Multiple Skill Levels For Broad Classes Of Computer Generated Forces, Larry J. Hutson

Theses and Dissertations

Current computer generated forces (CGFs) in the 'synthetic battlespace', a training arena used by the military, exhibit several deficiencies. Human actors within the battlespace rapidly identify these CGFs and defeat them using unrealistic and potentially fatal tactics, reducing the overall effectiveness of this training arena. Simulators attached to the synthetic battlespace host local threat systems, leading to training inconsistencies when different simulators display the same threat at different levels of fidelity. Finally, current CGFs are engineered 'from the ground up', often without exploiting commonalities with other existing CGFs, increasing development (and ultimately training) costs. This thesis addresses these issues by …

Go to article

Calibration Of The Softcost-R Software Cost Model To The Space And Missile Systems Center (Smc) Software Database (Swdb), Steven V. Southwell Sep 1996

Calibration Of The Softcost-R Software Cost Model To The Space And Missile Systems Center (Smc) Software Database (Swdb), Steven V. Southwell

Theses and Dissertations

The rising number and importance of Department of Defense software developments, when combined with declining defense budgets, has resulted in a critical need to accurately plan and manage software development costs and schedules. Unfortunately, the increasing size, complexity, and diversity of these software developments has made accurate estimating problematic. Uncalibrated software cost models have not generally produced reliable results due to generic default parameters and improper usage. The default parameters cannot hope to accurately represent and predict the wide variability of software efforts to which the models are being applied. However, some of the models have achieved improved accuracy by …

Go to article

An Object-Oriented, Formal Methods Approach To Organizational Process Modeling, Vincent S. Hibdon Dec 1995

An Object-Oriented, Formal Methods Approach To Organizational Process Modeling, Vincent S. Hibdon

Theses and Dissertations

This document presents a methodology for developing an organizational process model which is based on the principles of object oriented design and formal software engineering methods. The methodology begins with the development of an object oriented Rumbaugh model (27). The Rumbaugh model is then formally specified in Z (Zed) schemas. Finally, the Z specifications are translated into an executable model in the Software Refinery Environment(TM). This model is described based on the AF wing domain and developed in this domain. The proposed methodology is then shown to produce a very general model which is extendable across almost any domain. The …

Go to article

Transforming Algebraically-Based Object Models Into A Canonical Form For Design Refinement, Charles G. Beem Dec 1995

Transforming Algebraically-Based Object Models Into A Canonical Form For Design Refinement, Charles G. Beem

Theses and Dissertations

The understandability of object-oriented design techniques and the rigor of formal methods have improved the state of software development; however, both ideas have limitations. Object-oriented techniques, which are semi-formal, can still result in incorrect designs, while formal methods are complex and require an extensive mathematical background. The two approaches can be coupled, however, to produce designs that are both understandable and verifiable, and to produce executable code. This research proposes an approach where object-oriented models are first represented algebraically in a formal specification language such as LARCH and then transformed into a canonical form suitable for design refinement. In the …

Go to article

Formal Foundations For The Specification Of Software Architecture, Mark J. Gerken Mar 1995

Formal Foundations For The Specification Of Software Architecture, Mark J. Gerken

Theses and Dissertations

This investigation establishes a formal foundation for software architecture that allows for the specification of large, non-trivial software systems using well founded, consistency preserving construction techniques. Two fundamental problems were addressed: how to define and express architectures formally using the concept of theories, and how architecture theories can be practically applied in specification construction. The initial stages of this investigation sought to establish a formal, mathematical relationship between functional specifications of behavior and specifications defining system structure. Experimental results lead to the conclusion that architectures defining the structure of functional operations can be defined using functional logic, but more complex …

Go to article

Analysis And Extension Of Model-Based Software Executives, Keith E. Lewis Jan 1995

Analysis And Extension Of Model-Based Software Executives, Keith E. Lewis

Theses and Dissertations

This research developed a comprehensive description of the simulation environment of Architect, a domain-oriented application composition system being developed at the Air Force Institute of Technology to explore new software engineering technologies. The description combines information from several previous research efforts and Architect's source code into a single, comprehensive document. A critical evaluation of the simulation environment was also performed, identifying improvements and modifications that enhance Architecture's application execution capabilities by reducing complexity and execution time. The analysis was then taken one step further and presented extensions to the current simulation environment. The extensions included investigating the feasibility of mixed-mode …

Go to article

Exploiting High Performance Fortran For Computational Fluid Dynamics, Volume 919, Ken Hawick, Geoffrey C. Fox Jan 1995

Exploiting High Performance Fortran For Computational Fluid Dynamics, Volume 919, Ken Hawick, Geoffrey C. Fox

Northeast Parallel Architecture Center

We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing systems for computational uid dynamics applications. We discuss the use of intrinsic functions, data distribution directives and explicitly parallel constructs to optimize performance by minimizing communications requirements in a portable manner. In particular we use an implicit method such as the ADI algorithm to illustrate the major issues. We focus on regular mesh problems, since these can be efficiently represented by the existing HPF definition, but also discuss issues arising from the use of irregular …

Go to article

Modeiing Operational Task Assignment In Air Force Wing Command And Control, Robert J. Hunt Dec 1994

Modeiing Operational Task Assignment In Air Force Wing Command And Control, Robert J. Hunt

Theses and Dissertations

This research investigated the feasibility of applying software engineering technology to the Air Force wing command and control (C2) domain. As part of this research, domain analysis and object-oriented techniques were investigated and a specific approach was chosen to analyze the domain. Analysis of the domain resulted in an object-oriented domain model that captured the key objects, operations, and associations, and behavior of wing C2. The domain model was used to design and implement a prototype software tool that enables wing decision makers to assign resources to mission tasks and to make assessments about automation's impact on wing C2 operations.

Go to article

Multiple Model Adaptive Estimation And Head Motion Tracking In A Virtual Environment: An Engineering Approach, James E. Russell Dec 1994

Multiple Model Adaptive Estimation And Head Motion Tracking In A Virtual Environment: An Engineering Approach, James E. Russell

Theses and Dissertations

Software engineering tools and techniques were applied to design and implement an application that reduces lag typically present in virtual environment displays. The application was a Multiple Model Adaptive Estimator (MMAE), composed of three Kalman filters, that predicted head orientation one sample period into the future. The environment rendering software used these predictions to generate the environment display. Each of the filters in the MMAE was designed for a different assumed head motion type (benign, moderate, or heavy), which allowed the MMAE to adapt to changes in head movement characteristics. The use of Ada 9X as an implementation language for …

Go to article

Software Metrics For Monitoring Software Engineering Projects, Edwin C. Lim Jan 1994

Software Metrics For Monitoring Software Engineering Projects, Edwin C. Lim

Theses: Doctorates and Masters

As part of the undergraduate course offered by Edith Cowan University, the Department of Computer Science has (as part of a year's study) a software engineering group project. The structure of this project was divided into two units, Software Engineering l and Software Engineering 2. ln Software Engineering 1, students were given the group project where they had to complete and submit the Functional Requirement and Detail System Design documentation. In Software Engineering 2, students commenced with the implementation of the software, testing and documentation. The software was then submitted for assessment and presented to the client. To aid the …

Go to article

Introducing Objects And Parallelism To An Imperative Programming Language, Atanas Radenski Jan 1994

Introducing Objects And Parallelism To An Imperative Programming Language, Atanas Radenski

Mathematics, Physics, and Computer Science Faculty Articles and Research

The problem of enhancing objects with parallelism has been in the focus of numerous research projects in the recent years, but a satisfactory and commonly accepted solution has not appeared yet. A major problematic point seems to be providing inheritance for parallel objects. The general objective of this paper is to contribute to a better understanding of the language design issues in the area of parallel object-oriented programming (OOP) and, in particular, to design a framework for parallel OOP with multiple inheritance. What makes our proposed framework different from the other parallel OOP languages is its easy to use and …

Go to article

Alternative Architectures For Domain-Oriented Application Composition And Generation Systems, Warren E. Gool Dec 1993

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 …

Go to article

Using Database Technology To Support Domain-Oriented Application Composition Systems, Danny A. Cecil, Joseph A. Fullenkamp Dec 1993

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 …

Go to article

A Method For Populating The Knowledge Base Of Aptas, A Domain-Oriented Application Composition System, Raleigh A. Sandy Iii Dec 1993

A Method For Populating The Knowledge Base Of Aptas, A Domain-Oriented Application Composition System, Raleigh A. Sandy Iii

Theses and Dissertations

A formal process is described for populating the knowledge base of the Automatic Programming Technologies for Avionics Software APTAS system. This process was developed using a general knowledge base population process that applies to many knowledge-based software engineering systems. This general process is also described. The formal process for APTAS was demonstrated by storing new information from the radar tracking domain into the knowledge base of APTAS. Several procedures some automatic and some manual were implemented to support the formal process.

Go to article

Domain Analysis And Modeling Of A Model-Based Software Executive, Robert L. Welgan Dec 1993

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 …

Go to article

The Development And Use Of An Evaluation Mechanism For The Assessment Of Software Configuration Management Tools, Wayne M. Descheneau, Neil W. Robinson Dec 1993

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 …

Go to article

A Cognitively Motivated System For Software Component Reuse, Michael Joseph Mateas Jul 1993

A Cognitively Motivated System For Software Component Reuse, Michael Joseph Mateas

Dissertations and Theses

Software reuse via component libraries suffers from the twin problems of code location and comprehension. The Intelligent Code Object Planner (ICOP) is a cognitively motivated system that facilitates code reuse by answering queries about how to produce an effect with the library. It can plan for effects which are not primitive with respect to the library by building a plan that incorporates multiple components. The primary subsystems of ICOP are a knowledge base which describes the ontology of the library, a natural language interface which translates user queries into a formal effect language (predicates), a planner which accepts the effect …

Go to article

Development Of A Visual System Interface To Support A Domain-Oriented Application Composition System, Timothy L. Weide Mar 1993

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 …

Go to article

First Prev Next Last