| [1] | Larissa Meinicke and Ian J. Hayes. Algebraic reasoning for probabilistic action systems and while-loops. Acta Informatica, 45(5):321-382, 2008. [ bib | DOI | Abstract ] |
| [2] | R. Colvin, I.J. Hayes, and P.A. Strooper. Calculating modules in contextual logic program refinement. Theory and Practice of Logic Programming, 8(01):1-31, 2008. [ bib | DOI | http | Abstract ] |
| [3] | I.J. Hayes. Procedures and parameters in the real-time program refinement calculus. Science of Computer Programming, 64(3):286-311, February 2007. [ bib | DOI | Abstract ] |
| [4] | I. J. Hayes, C. B. Jones, and J. E. Nicholls. Understanding the differences between VDM and Z. FACS FACTS, 2006-2:56-78, 2006. [ bib ] |
| [5] | K. Lermer, C. J. Fidge, and I. J. Hayes. A theory for execution time derivation in real-time programs. Theoretical Computer Science, 346(1):3-27, November 2005. [ bib | Abstract ] |
| [6] | K. Lermer, C.J. Fidge, and I.J. Hayes. Linear approximation of execution-time constraints. Formal Aspects of Computing, 15(4):319-348, December 2003. [ bib | Abstract ] |
| [7] | I. J. Hayes, R. Colvin, D. Hemer, R. Nickson, and P. A. Strooper. A refinement calculus for logic programs. Theory and Practice of Logic Programming, 2(4-5):425-460, July 2002. [ bib | Abstract ] |
| [8] | G. Smith and I. J. Hayes. An introduction to Real-Time Object-Z. Formal Aspects of Computing, 13(2):128-141, May 2002. [ bib | Abstract ] |
| [9] | I. J. Hayes. Reasoning about real-time repetitions: Terminating and nonterminating. Science of Computer Programming, 43(2-3):161-192, 2002. [ bib | http | .pdf | Abstract ] |
| [10] | I. J. Hayes, C. J. Fidge, and K. Lermer. Semantic characterisation of dead control-flow paths. IEE Proceedings-Software, 148(6):175-186, December 2001. [ bib | .pdf | Abstract ] |
| [11] | I. J. Hayes and M. Utting. A sequential real-time refinement calculus. Acta Informatica, 37(6):385-448, 2001. [ bib | .pdf | Abstract ] |
| [12] | C. J. Fidge, I. J. Hayes, and G. Watson. The deadline command. IEE Proceedings-Software, 146(2):104-111, April 1999. [ bib | .ps ] |
| [13] | D. Carrington, I. Hayes, R. Nickson, G. Watson, and J. Welsh. A program refinement tool. Formal Aspects of Computing, 10(2):97-124, 1998. [ bib | .ps ] |
| [14] | I. J. Hayes. Expressive power of specification languages. Formal Aspects of Computing, 10(2):187-192, 1998. [ bib ] |
| [15] | R. Nickson and I. Hayes. Supporting contexts in program refinement. Science of Computer Programming, 29(3):279-302, 1997. [ bib | Abstract ] |
| [16] | I. J. Hayes. Supporting module reuse in refinement. Science of Computer Programming, 27(2):175-184, 1996. [ bib ] |
| [17] | I. J. Hayes and J. W. Sanders. Specification by interface separation. Formal Aspects of Computing, 7(4):430-439, 1995. [ bib | .pdf ] |
| [18] | I. J. Hayes and B. P. Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7(3):329-347, 1995. [ bib | .pdf ] |
| [19] | I. J. Hayes, C. B. Jones, and J. E. Nicholls. Understanding the differences between VDM and Z. ACM Software Engineering News, 19(3):75-81, July 1994. Unrefereed. Previously published in FACS Europe [20]. [ bib ] |
| [20] | I. J. Hayes, C. B. Jones, and J. E. Nicholls. Understanding the differences between VDM and Z. FACS Europe, 1(1):7-30, 1993. Unrefereed. Also published in ACM Software Engineering News, 19(3):75-81, July 1994. [ bib ] |
| [21] | I. J. Hayes. Multi-relations in Z: A cross between multi-sets and binary relations. Acta Informatica, 29(1):33-62, February 1992. [ bib | .pdf ] |
| [22] | B. P. Mahony and I. J. Hayes. A case-study in timed refinement: A mine pump. IEEE Trans. on Software Engineering, 18(9):817-826, 1992. [ bib | .pdf ] |
| [23] | I. J. Hayes. VDM and Z: A comparative case study. Formal Aspects of Computing, 4(1):76-99, 1992. [ bib | .pdf ] |
| [24] | I. J. Hayes and C. B. Jones. Specifications are not (necessarily) executable. IEE/BCS Software Engineering Journal, 4(6):330-338, November 1989. [ bib ] |
| [25] | C. A. R. Hoare, I. J. Hayes, He Jifeng, C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sørensen, J. M. Spivey, and B. A. Sufrin. Laws of programming. Communications of the ACM, 30(8):672-686, August 1987. Corrigenda: CACM 30(9):770. [ bib ] |
| [26] | I. J. Hayes. Specification directed module testing. IEEE Transactions on Software Engineering, SE-12(1):124-133, January 1986. [ bib | .pdf ] |
| [27] | I. J. Hayes. Applying formal specification to software development in industry. IEEE Transactions on Software Engineering, SE-11(2):169-178, February 1985. [ bib | .pdf ] |
This file has been generated by bibtex2html 1.88.
Last updated: