Daniel Hazel

According to our database, Daniel Hazel authored at least 4 papers between 1994 and 1998.

Collaborative distances:

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

1998

Requirements Engineering and Verification using Specification Animation.

Daniel Hazel, Paul A. Strooper, Owen Traynor

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

Possum: An Animator for the SUM Specification Language.

Daniel Hazel, Paul A. Strooper, Owen Traynor

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

The Cogito Development System.

Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman

Proceedings of the Algebraic Methodology and Software Technology, 1997

1994

A Functional Logic for Higher Level Reasoning About Computation.

John Staples, Peter J. Robinson, Daniel Hazel

Formal Aspects Comput., 1994