Automated Support for Software Engineering.

Abstract

The key idea of this project is that pararneterized theories and various operations on them provide a uniform conceptual foundation for software engineering. The broad objectives of this project are (1) to show how well-understood concepts of mathematical logic apply to software engineering , (2) to identify and autanate the basic operations on theories that underlie and support formal approaches to software system development and evolution, and (3) to demonstrate a higher and more broadly applicable level of software automation than has previously been achieved.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 13, 1995
Accession Number
ADA294965

Entities

People

  • Douglas R. Smith

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • Air Platforms
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Aircrafts
  • Algorithm Theory
  • Algorithms
  • Artificial Intelligence
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Control Systems
  • Engineering
  • Language
  • Search Theory
  • Software Development
  • Systems Engineering
  • Time Intervals
  • Transport Aircraft
  • Trees (Data Structures)

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Systems Analysis and Design