Accession Number : ADA294965

Title :   Automated Support for Software Engineering.

Descriptive Note : Final rept.,

Corporate Author : KESTREL INST PALO ALTO CA

Personal Author(s) : Smith, Douglas R.

PDF Url : ADA294965

Report Date : 13 MAR 1995

Pagination or Media Count : 42

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.

Descriptors :   *SOFTWARE ENGINEERING, *SYSTEMS APPROACH, COMPUTER PROGRAMS, ALGORITHMS, PARAMETRIC ANALYSIS, AUTOMATION, THEORY, MATHEMATICAL LOGIC, SCHEDULING.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE