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
8471987
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
5721987
Specifications are not (necessarily) executable
IJ Hayes, CB Jones
Software Engineering Journal 4 (6), 330-339, 1989
3371989
A case-study in timed refinement: A mine pump
BP Mahony, IJ Hayes
IEEE transactions on Software Engineering 18 (9), 817-826, 1992
1631992
Specification directed module testing
IJ Hayes
IEEE transactions on Software Engineering, 124-133, 1986
1021986
Determining the specification of a control system from that of its environment
IJ Hayes, MA Jackson, CB Jones
International Symposium of Formal Methods Europe, 154-169, 2003
832003
Understanding the differences between VDM and Z
IJ Hayes, CB Jones, JE Nicholls
ACM SIGSOFT Software Engineering Notes 19 (3), 75-81, 1994
811994
A sequential real-time refinement calculus
IJ Hayes, M Utting
Acta Informatica 37 (6), 385-448, 2001
77*2001
Applying formal specification to software development in industry
IJ Hayes
IEEE Transactions on Software Engineering, 169-178, 1985
721985
A set-theoretic model for real-time specification and reasoning
CJ Fidge, IJ Hayes, AP Martin, AK Wabenhorst
International Conference on Mathematics of Program Construction, 188-206, 1998
671998
Using units of measurement in formal specifications
IJ Hayes, BP Mahony
Formal Aspects of Computing 7 (3), 329-347, 1995
581995
A timeband framework for modelling real-time systems
A Burns, IJ Hayes
Real-Time Systems 45 (1), 106-142, 2010
562010
Coercing Real-time Refinement: A Transmitter
IJ Hayes, M Utting
Software Verification Research Centre, 1996
561996
The deadline command
C Fidge, I Hayes, G Watson
IEE Proceedings-software 146 (2), 104-111, 1999
551999
VDM and Z: A comparative case study
I Hayes
Formal Aspects of Computing 4 (1), 76-99, 1992
531992
Deriving specifications for systems that are connected to the physical world
CB Jones, IJ Hayes, MA Jackson
Formal Methods and Hybrid Real-Time Systems, 364-390, 2007
512007
Integrating real-time scheduling theory and program refinement
C Fidge, M Utting, P Kearney, I Hayes
International Symposium of Formal Methods Europe, 327-346, 1996
481996
A semantics for Behavior Trees using CSP with specification commands
RJ Colvin, IJ Hayes
Science of Computer Programming 76 (10), 891-914, 2011
432011
Using continuous real functions to model timed histories
B Mahony, IJ Hayes
Proc. 6th Australian Software Engineering Conf.(ASWEC91), 257-270, 1991
431991
Protocol specification and verification using Z
R Duke, IJ Hayes, P King, GA Rose
Protocol Specification, Testing, and Verification 8, 33-46, 1988
421988
The system can't perform the operation now. Try again later.
Articles 1–20