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