William Hankley

  • Citations Per Year
Learn More
The common instructional approach in first programming courses is to consider jointly programming technique and coding in a particular language. This has the inherent disadvantage of focusing on language details at the expense of the skills of problem solving. As an alternative, a separated, but coordinated, course in programming concepts and a laboratory(More)
The demand for computer science education on the college campus is rapidly increasing. This is due to the ever expanding market for computer expertise in industry, government, and academia. The growth in the need for off-campus computer science instruction is also phenomenal. Professionals in areas other than computer science—engineering, business,(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)
temporal logic, This paper presents an initial design of a helper for verification of invariant properties of task specifications. The helper supports an interactive symbolic sequencing of states of an input/output automata model of specified tasks. Invariant properties are then evaluated along paths of states of the system of tasks. The verification helper(More)
  • 1