|
2005 Journal Article A theory for execution-time derivation in real-time programsLermer, Karl, Fidge, Colin J. and Hayes, Ian J. (2005). A theory for execution-time derivation in real-time programs. Theoretical Computer Science, 346 (1), 3-27. doi: 10.1016/j.tcs.2005.08.003 |
|
2003 Journal Article Linear approximation of execution-time constraintsLermer, K. R. C., Fidge, C. J. and Hayes, I. J. (2003). Linear approximation of execution-time constraints. Formal Aspects of Computing, 15 (4), 319-348. doi: 10.1007/s00165-003-0019-0 |
|
2002 Journal Article Reasoning about real-time repetitions: terminating and nonterminatingHayes, Ian (2002). Reasoning about real-time repetitions: terminating and nonterminating. Science of Computer Programming, 43 (2-3), 161-192. doi: 10.1016/S0167-6423(02)00024-2 |
|
2002 Journal Article A refinement calculus for logic programsHayes, Ian, Colvin, Robert, Hemer, David, Strooper, Paul and Nickson, Ray (2002). A refinement calculus for logic programs. Theory And Practice of Logic Programming, 2 (Part 4-5), 425-460. doi: 10.1017/S1471068402001448 |
|
2002 Journal Article Refining object-oriented invariants and dynamic constraintsShield, J. and Hayes, I. J. (2002). Refining object-oriented invariants and dynamic constraints. Proceedings - Asia-Pacific Software Engineering Conference, APSEC 1182975, 52-61. doi: 10.1109/APSEC.2002.1182975 |
|
2001 Journal Article A sequential real-time refinement calculusHayes, I. J. and Utting, M. (2001). A sequential real-time refinement calculus. Acta Informatica, 37 (6), 385-448. doi: 10.1007/PL00013311 |
|
2001 Journal Article Semantic characterisation of dead control-flow pathsHayes, I. J., Fidge, C. J. and Lermer, K. R. C. (2001). Semantic characterisation of dead control-flow paths. IEE Proceedings Software, 148 (6), 175-186. doi: 10.1049/ip-sen:20010834 |
|
1999 Journal Article The deadline commandFidge, C. J., Hayes, I. J. and Watson, G. N. (1999). The deadline command. IEE Proceedings - Software, 146 (2), 104-111. doi: 10.1049/ip-sen:19990407 |
|
1998 Journal Article Expressive Power of Specification LanguagesHayes, Ian J. (1998). Expressive Power of Specification Languages. Formal Aspects of Computing, 10 (2), 187-192. doi: 10.1007/s001650050010 |
|
1998 Journal Article A Program Refinement ToolCarrington D., Hayes I., Nickson R., Watson G. and Welsh J. (1998). A Program Refinement Tool. Formal Aspects of Computing, 10 (2), 97-124. doi: 10.1007/s001650050006 |
|
1997 Journal Article Supporting contexts in program refinementNickson, R and Hayes, I (1997). Supporting contexts in program refinement. Science of Computer Programming, 29 (3), 279-302. doi: 10.1016/S0167-6423(97)00002-6 |
|
1996 Journal Article Supporting module reuse in refinementHayes I.J. (1996). Supporting module reuse in refinement. Science of Computer Programming, 27 (2), 175-184. doi: 10.1016/0167-6423(96)00006-8 |
|
1995 Journal Article Specification by interface separationHayes, I. J. and Sanders, J. W. (1995). Specification by interface separation. Formal Aspects of Computing, 7 (4), 430-439. doi: 10.1007/bf01211217 |
|
1995 Journal Article Using units of measurement in formal specificationsHayes, Ian J. and Mahony, Brendan P. (1995). Using units of measurement in formal specifications. Formal Aspects of Computing, 7 (3), 329-347. doi: 10.1007/bf01211077 |
|
1992 Journal Article Multi-relations in Z: A cross between multi-sets and binary relationsHayes, Ian (1992). Multi-relations in Z: A cross between multi-sets and binary relations. Acta Informatica, 29 (1), 33-62. doi: 10.1007/BF01178565 |
|
1992 Journal Article A case-study in timed refinement: A mine pumpMahony B.P. and Hayes I.J. (1992). A case-study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, 18 (9), 817-826. doi: 10.1109/32.159841 |
|
1992 Journal Article VDM and Z: A comparative case studyHayes, Ian (1992). VDM and Z: A comparative case study. Formal Aspects of Computing, 4 (1), 76-99. doi: 10.1007/bf01214957 |
|
1991 Journal Article Case studies in systematic software developmentHayes, Ian J. (1991). Case studies in systematic software development. Science of Computer Programming, 17 (1-3), 250-251. doi: 10.1016/0167-6423(91)90042-v |
|
1991 Journal Article The semantics of programming languages: An elementary introduction using structural operational semanticsHayes, Ian J. (1991). The semantics of programming languages: An elementary introduction using structural operational semantics. Science of Computer Programming, 16 (3), 278-279. doi: 10.1016/0167-6423(91)90011-l |
|
1987 Journal Article Laws of programmingHoare, C. A.R., Hayes, I. J., Jifeng, He, Morgan, C. C., Roscoe, A. W., Sanders, J. W., Sorensen, I. H., Spivey, J. M. and Sufrin, B. A. (1987). Laws of programming. Communications of the ACM, 30 (8), 672-686. doi: 10.1145/27651.27653 |
