Formal Models Used for Automation in Software Development, Final Progress Report
MetadataShow full item record
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.
RightsThis 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.
Showing items related by title, author, creator and subject.
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 ...
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 ...
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 ...