Formal Models Used for Automation in Software Development, Final Progress Report
Loading...
Authors
Luqi
Berzins, Valdis
Subjects
software evolution
requirements elicitation
software reuse
prototyping
change merging
formal models
requirements elicitation
software reuse
prototyping
change merging
formal models
Advisors
Date of Issue
1997-11-14
Date
Publisher
Monterey, California: Naval Postgraduate School.
Language
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.
Type
Technical Report
Description
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
U.S. Army Research Office Contract/Grant Number: MIPR7ANPSARO09 (ARO proposal number: 30989-MA)
Funder
U.S. Army Research Office Contract/Grant Number: MIPR7ANPSARO09 (ARO proposal number: 30989-MA)
Format
7 p.
Citation
Distribution Statement
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.