Alan B. Hayes

According to our database, Alan B. Hayes authored at least 4 papers between 1981 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1997

Object-Oriented Software Testing: A Hierarchical Approach, by Shel Siegel, Wiley, 1996 (Book Reviews).

Alan B. Hayes

Softw. Test. Verification Reliab., 1997

1984

Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment.

Elliott I. Organick, Tony M. Carter, Mike P. Maloney, Alan L. Davis, Alan B. Hayes, Dan Klass, Gary Lindstrom, Brent E. Nelson, Kent F. Smith

IEEE Softw., 1984

Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment.

Tony M. Carter, Alan L. Davis, Alan B. Hayes, Gary Lindstrom, Dan Klass, Mike P. Maloney, Brent E. Nelson, Elliott I. Organick, Kent F. Smith

Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

1981

Stored State Asynchronous Sequential Circuits.

Alan B. Hayes

IEEE Trans. Computers, 1981