Formal Models Used for Automation in Software Development, Final Progress Report
Abstract
This project is investigating formal models that can support automated methods supporting software development.
We have focused on automation support for requirements elicitation, particularly for prototyping and the gathering
requirements remotely via the Internet; on automation support for software evolution, particularly for automatically
detecting the need for software maintenance actions using non-monotonic logic, for capturing requirements
dependencies and justifications using the REMAP extension of the IBIS model, for combining several modifications
to a system, for coordinating parallel efforts of several designers and automating the associated configuration
management tasks, and on automation support for software construction, particularly for using specifications in the
design of software architectures, for automated generation of schedules for hard real-time software, and for retrieval
of reusable software components.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Towards an interoperability ontology for software development tools
Hasni, Neji (Monterey, California. Naval Postgraduate School, 2003-03);The automation of software development has long been a goal of software engineering to increase efficiency of the development effort and improve the software product. This efficiency (high productivity with less software ... -
DoD'S Software Sustainment Ecosystem: Needed Skill Sets and Gap Analysis
Shull, Forrest; McLendon, Michael; Miller, Christopher (Monterey, California. Naval Postgraduate School, 2018-04-30); SYM-AM-18-059Software is the foundational building material for the engineering of the Department of Defense (DoD) systems;the principal means for delivering almost 100% of the integrated functionality of kinetic weapon systems. Software ... -
Testing automation tools for secure software development
Eatinger, Christopher J. (Monterey, California. Naval Postgraduate School, 2007-06);Software testing is a crucial step in the development of any software system, large or small. Testing can reveal the presence of logic errors and other flaws in the code that could cripple the system's effectiveness. Many ...