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 241 - 252 of 252

Full-Text Articles in Computer Sciences

Creating And Manipulating A Domain-Specific Formal Object Base To Support A Domain-Oriented Application Composition System, Mary Anne Randour Dec 1992

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 …

Go to article

Creating And Manipulating Formalized Software Architectures To Support A Domain-Oriented Application Composition System, Cynthia G. Anderson Dec 1992

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 …

Go to article

Ada Implementation Of An Object Data Repository, Stephen P. Perucca Dec 1992

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 …

Go to article

Formalization And Transformation Of Informal Analysis Models Into Executive Refine™ Specifications, Mary M. Boom, Bradley D. Mallare Dec 1992

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 …

Go to article

The Application Of Function Points To Predict Source Lines Of Code For Software Development, Garland S. Henderson Sep 1992

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 …

Go to article

Satool Ii: An IdefO Case Workbench Using Ada And The X Window System, Betty Topp Mar 1992

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 …

Go to article

Possible Application Of Quality Function Deployment In Software Systems Development In The United States Air Force, Craig R. Lamb Dec 1991

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 …

Go to article

Formalization And Validation Of An Sadt Specification Through Executable Simulation In Vhdl, Daniel L. Eickmeier Dec 1991

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. …

Go to article

Education Necessary For Air Force Software Managers To Use The Ada Programming Language And Software Engineering Effectively, James W. Worley Jr. Sep 1991

Education Necessary For Air Force Software Managers To Use The Ada Programming Language And Software Engineering Effectively, James W. Worley Jr.

Theses and Dissertations

This research investigated the perceived Ada and software engineering education needs of software managers throughout the Air Force and provided recommendations to Air Staff for developing the education. Since the Department of Defense mandated all DOD agencies use the Ada programming language for software development, the education of the personnel who have to support the policy has lagged behind the implementation Ada is not a simple language to use and is only fully effective if used with sound software engineering principles. A survey was given to Air Force mid-level personnel who manage software in some capacity. Of the software personnel …

Go to article

Mapping An Object-Oriented Requirements Analysis To A Design Architecture That Supports Design And Component Reuse, Kelly L. Spicer Dec 1990

Mapping An Object-Oriented Requirements Analysis To A Design Architecture That Supports Design And Component Reuse, Kelly L. Spicer

Theses and Dissertations

Design reuse has more potential for increasing the productivity of software development and maintenance than do traditional approaches to software reuse that emphasize reuse of smaller components. Current software development methods do not promote design reuse. The literature contains limited documented research on the subject, but enough that some design reuse principles can be gleaned. Among these principles are that reusable designs should be applicable within some domain of application, have a consistent structure, provide a method for instantiating the design, avoid object nesting, and promote reuse of smaller components as well. A design mapping method from an object-oriented requirements …

Go to article

A Software Design Tool For Predictable Performance In Real-Time, Data Flow Architectures, Brij Mohan V. Mandala Oct 1990

A Software Design Tool For Predictable Performance In Real-Time, Data Flow Architectures, Brij Mohan V. Mandala

Electrical & Computer Engineering Theses & Dissertations

A software design tool which aids in the performance evaluation and selection of operating points for an algorithm implemented in ATAMM defined data flow architectures is presented in this thesis. ATAMM (Algorithm To Architecture Mapping Model) is a new graph theoretic model developed by researchers at Old Dominion University and the NASA-Langley Research Center. ATAMM is capable of modeling the execution of large-grained algorithms on distributed data flow architectures. A software tool is required for predicting the performance, determining the resource requirements and for selecting suitable operating points for an ATAMM based system. The ATAMM Design Tool presented in this …

Go to article

Program Analysis Tool For Extensive Reverse Software Engineering : A Tool To Understand The Software (Patern), Bubulal R. Rawal May 1989

Program Analysis Tool For Extensive Reverse Software Engineering : A Tool To Understand The Software (Patern), Bubulal R. Rawal

Theses

This thesis describes a computer aided software engineering tool called Program Analysis Tool for Extensive Reverse software eNgineering (PATERN). Conceptually, PATERN provides systems analysts/programmers with a powerful tool independent of programming language, operating system, and programmer style of coding for documenting existing software. PATERN has been tested with C code in the UNIX environment. This thesis also describes the interface between PATERN and two subsystems that interact with PATERN: relational databases and data flow diagram generators. The implementation of these interfaces was investigated using Informix and another software tool, Directed Acyclic Graphs (DAG) for generating hierarchical structure charts and flow …

Go to article

First Prev