William Hankley

Learn More
A system for preparation and manipulation of color graphics video frames is described. The system commands are designed for use by a class instructor (who is not a computer science person) in preparation and delivery of lectures to a remote site. The system can provide the types of images, overlays, and coloring that could be drawn using transparency sheets(More)
ADA/TL is a language for specification of the behavior of systems of communicating tasks. It merges concepts of the specification part of ADA, VDM specification of packages, and temporal logic specification of task behavior. The TL part consists of constructive specification of behaviors of individual tasks and a system specification of the properties of(More)
  • 1