DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA191432
Title:
A Year of Programming.
Corporate Author:
TEXAS UNIV AT AUSTIN DEPT OF COMPUTER SCIENCES
Report Date:
1987-01-01
Abstract:
The 1987 University of Texas Year of Programming was established early in 1986, in response to a proposal by Profs. Browne and Misra, with the following goals 1 to advance the art and science of programming by bringing leading scientists together for discussions and collaboration 2 to disseminate among leading practitioners the best of what has been learned about the theory and practice of programming and 3 to provide critical research direction for the University Research Initiative in Formulation and Programming of Parallel and Distributed Computation. A small-scale workshop, involving about two dozen participants, met on the UT campus to bring together academic researchers and builders of real-time systems to enable researchers to assess their works potential impact and to enable system builders to learn about current research to assess their works potential impact and to enable system builders to learn about current research and to influence its direction to advance the design of real-time systems. The workshop disclosed that there is a serious lack of communication between researchers and practitioners, but that recent advances in specification methodology, temporal logic, and scheduling theory may provide a theoretical groundwork for real-time-system design.
Descriptive Note:
Final technical rept.,
Pages:
0054
Contract Number:
N00014-86-K-0466
File Size:
2.74MB
