Formal Models Used for Automation in Software Development

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 14, 1997
Accession Number
ADA332759

Entities

People

  • Luqi Berzins
  • Valdis A. Berzins

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automation
  • Computer Programming
  • Computers
  • Configuration Management
  • Databases
  • Engineering
  • Internet
  • Maintenance
  • Personal Information Managers
  • Product Prototyping
  • Prototypes
  • Software Design
  • Software Development
  • Software Prototyping
  • Specifications
  • Web Browsers

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Vision.
  • Database Systems and Applications
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.