Follow
Ian James Hayes
Ian James Hayes
Professor of Software Engineering, The University of Queensland
Verified email at uq.edu.au
Title
Cited by
Cited by
Year
Specification case studies
IJ Hayes, B Flinn, R Gimson
Prentice-Hall International, 1987
8681987
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
6071987
Specifications are not (necessarily) executable
IJ Hayes, CB Jones
Software Engineering Journal 4 (6), 330-339, 1989
3421989
A case-study in timed refinement: A mine pump
BP Mahony, IJ Hayes
IEEE transactions on Software Engineering 18 (9), 817-826, 1992
1601992
Specification directed module testing
IJ Hayes
IEEE transactions on Software Engineering, 124-133, 1986
1081986
Determining the specification of a control system from that of its environment
IJ Hayes, MA Jackson, CB Jones
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
912003
Understanding the differences between VDM and Z
IJ Hayes, CB Jones, JE Nicholls
ACM SIGSOFT Software Engineering Notes 19 (3), 75-81, 1994
871994
A sequential real-time refinement calculus
IJ Hayes, M Utting
Acta Informatica 37, 385-448, 2001
782001
Applying formal specification to software development in industry
IJ Hayes
IEEE Transactions on Software Engineering, 169-178, 1985
781985
A semantics for Behavior Trees using CSP with specification commands
RJ Colvin, IJ Hayes
Science of Computer Programming 76 (10), 891-914, 2011
742011
A set-theoretic model for real-time specification and reasoning
CJ Fidge, IJ Hayes, AP Martin, AK Wabenhorst
Mathematics of Program Construction: 4th International Conference, MPC'98 …, 1998
671998
Using units of measurement in formal specifications
IJ Hayes, BP Mahony
Formal Aspects of Computing 7, 329-347, 1995
641995
VDM and Z: A comparative case study
I Hayes
Formal Aspects of Computing 4, 76-99, 1992
631992
A timeband framework for modelling real-time systems
A Burns, IJ Hayes
Real-Time Systems 45, 106-142, 2010
602010
Coercing Real-time Refinement: A Transmitter
IJ Hayes, M Utting
Software Verification Research Centre, 1996
581996
Integrating real-time scheduling theory and program refinement
C Fidge, M Utting, P Kearney, I Hayes
FME'96: Industrial Benefit and Advances in Formal Methods: Third …, 1996
551996
The deadline command
C Fidge, I Hayes, G Watson
IEE Proceedings-software 146 (2), 104-111, 1999
541999
Deriving specifications for systems that are connected to the physical world
CB Jones, IJ Hayes, MA Jackson
Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines …, 2007
492007
A tool for developing correct programs by refinement
D Carrington, I Hayes, R Nickson, G Watson, J Welsh
Proceedings of the BCS-FACS 7th Refinement Workshop, 1996
441996
Using continuous real functions to model timed histories
B Mahony, IJ Hayes
Proc. 6th Australian Software Engineering Conf.(ASWEC91), 257-270, 1991
441991
The system can't perform the operation now. Try again later.
Articles 1–20