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.
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 ...
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 ...
Software system requirements for the fuel automated subsystem of the Integrated Combat Service Support System (ICS3) using the Computer Aided Prototyping System (CAPS) Kominiak, Lawrence A. (Monterey, California. Naval Postgraduate School, 1998-03-01);The United States Army is currently developing and testing Force 11, an attempt to redesign itself by the early years of the 21st Century to incorporate digital technology and advanced weaponry. In 1996, the United States ...