Improved hybrid computer vehicle handling program. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

A computer research program for solving the reaction rate equations in the E ionospheric region /

Ionospheric Physics Laboratory Project 8653.

Development of a computer simulation program for collinear car/car and car/barrier collisions. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Initial crash test screening studies utilizing the NHTSA/BCL computer simulation program for collinear car/car and car/barrier collisions. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

The graduate program in computer science.

Bibliography: p. 7-9.

Program organization for the University of Illinois digital computer /

"August 10, 1954"

Experiments with an image processing computer : part 3: proposed technical program, October 1, 1970 to September 30, 1971 /

"C00-1018-1213"--Cover.

Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications : computer vision, speech and natural language processing, and artificial intelligence /

Cover title.

Revenue sharing : 1972-1986 : a plain-language explanation of the Revenue Sharing Program.

"April 1985."

Program Trixy : multi-group analysis of nuclear reactors in three space dimensions : for the IBM type 704 computer /

"Physics and Math. TID-4500 (15th Ed.)"--Title page.

HYMO : problem-oriented computer language for hydrologic modeling : users manual /

Bibliography: p. 53.

Speech and language development program, Milwaukee.

"One of a series of successful compensatory education programs."

ATTRITION : a BASIC language program for the IBM XT used to project attrition of sworn personnel /

"December 16, 1986."

Computer-aided programming using formally specificed design templates

This paper describes a formal component language, used to support automated component-based program development. The components, referred to as templates, are machine processable, meaning that appropriate tool support, such as retrieval support, can be developed. The templates are highly adaptable, meaning that they can be applied to a wide range of problems. Some of the main features of the language are described, including: higher-order parameters; state variable declarations; specification statements and conditionals; applicability conditions and theories; meta-level place holders; and abstract data structures.