William J. Hankley

Publication Activity (10 Years)

Years Active: 1973-2005
Publications (10 Years): 0

Publications

William J. Hankley, Vikranth Vaddi
An Ergonomic Design for Hierarchical Menus. CSREA HCI (2005)
Mohammad N. Paryavi, William J. Hankley
OOSPEC: An Executable Object-Oriented Specification Language. ACM Conference on Computer Science (1995)
William J. Hankley, Peikun Tsai
A Verification Helper for Task Specifications. SAC (1993)
William J. Hankley, Peikun Tsai
Ada/TL specification and verification of a distributed computation. SAC (1992)
James Peters, William J. Hankley
Proving specifications of tasking systems using Ada/TL. TRI-Ada (1990)
William J. Hankley
Feature analysis of Turbo Prolog. ACM SIGPLAN Notices 22 (3) (1987)
William J. Hankley, Virgil Wallentine
Color graphics for remote teaching. SIGGRAPH (1980)
William J. Hankley, Ted Lewis, Stuart Meyer, Ron Clark, Virgil Wallentine
Remote teaching (Panel Discussion): Technology and experience. SIGCSE (1980)
Paul S. Fisher, William J. Hankley, Virgil Wallentine
Separation of introductory programming and language instruction. SIGCSE (1973)