( en | de | ru )

 

Disambiguation of "Hayes, Ian J."

Author of the publication

copydeleteadd this publication to your clipboard
Integration of generic program analysis tools into a software development environment.

, , and . ACSC, volume 38 of CRPIT, page 249-258. Australian Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ian J Elmer

David Hayes

Zachary Hayes

Barry Hayes

Egbert Hayessen

 

Other publications of authors with the same name

Encoding fairness in a synchronous concurrent program algebra: extended version with proofs., and . CoRR, (2018)Model-Driven Web Form Validation with UML and OCL., , , and . ICWE Workshops, volume 7059 of Lecture Notes in Computer Science, page 223-235. Springer, (2011)Continuous Action System Refinement., and . MPC, volume 4014 of Lecture Notes in Computer Science, page 316-337. Springer, (2006)Handling localisation in rely/guarantee concurrency: An algebraic approach., and . CoRR, (2019)Refining Specifications to Logic Programs., , and . LOPSTR, volume 1207 of Lecture Notes in Computer Science, page 1-19. Springer, (1996)A refinement calculus for logic programs., , , , and . Theory Pract. Log. Program., 2 (4-5): 425-460 (2002)Some remarks on Ämbiguous Machine Architecture".. SIGARCH Comput. Archit. News, 6 (8): 23-24 (1978)Specification Directed Module Testing.. IEEE Trans. Software Eng., 12 (1): 124-133 (1986)Deriving real-time action systems in a sampling logic., and . Sci. Comput. Program., 78 (11): 2047-2063 (2013)Procedures and parameters in the real-time program refinement calculus.. Sci. Comput. Program., 64 (3): 286-311 (2007)