A Research Program in Computer Technology. Volume 1
Abstract
This report summarizes the research performed by USC/Information Sciences Institute from October 1, 1979, to September 30, 1980, for the Defense Advanced Research Projects Agency. The research applies computer science and technology to areas of high DoD/military impact. The ISI program consists of fourteen research areas: Specification Acquisition From Experts study of acquiring and using program knowledge for making informal program specifications more precise; Program Verification - logical proof of program validity; Autopsy - research on source-to-source program translation combining automatic techniques with an interactive system to provide the human manager complete control over the translation process; Formal Semantics - development of tools and methodologies to support the formulation of precise, readable, and accurate formal semantic definitions; Cooperative Interactive Systems - construction of a system to provide natural input/output and help facilities for users of interactive services; Command and Control Graphics - development of a device- independent graphics system and graphics-oriented command and control applications programs; Internetwork Concepts - exploring aspects of protocols for the interconnection of computer communication networks, specifically the design and prototype implementation of an internetwork computer message system and the design of internetwork host and gateway protocols.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1981
- Accession Number
- ADA115915
Entities
People
- Keith W. Uncapher
Organizations
- University of Southern California