Accession Number : ADA332759
Title : Formal Models Used for Automation in Software Development
Descriptive Note : Final progress rept. Jan 94-Dec 97
Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
Personal Author(s) : Berzins, Luqi ; Berzins, Valdis
PDF Url : ADA332759
Report Date : 14 NOV 1997
Pagination or Media Count : 8
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.
Descriptors : *COMPUTER PROGRAMS, *AUTOMATION, MAINTENANCE, REAL TIME, PROTOTYPES, INTERNET, CONFIGURATION MANAGEMENT.
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE