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