Ian James Hayes
Ian James Hayes
Professor of Software Engineering, The University of Queensland
Verifierad e-postadress på itee.uq.edu.au
TitelCiteras avÅr
Specification case studies
IJ Hayes, B Flinn, R Gimson
Prentice-Hall International, 1987
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
Specifications are not (necessarily) executable
IJ Hayes, CB Jones
Software Engineering Journal 4 (6), 330-339, 1989
A case-study in timed refinement: A mine pump
BP Mahony, IJ Hayes
IEEE transactions on Software Engineering, 817-826, 1992
Specification directed module testing
IJ Hayes
IEEE transactions on Software Engineering, 124-133, 1986
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
A sequential real-time refinement calculus
IJ Hayes, M Utting
Acta Informatica 37 (6), 385-448, 2001
Understanding the differences between VDM and Z
IJ Hayes, CB Jones, JE Nicholls
ACM SIGSOFT Software Engineering Notes 19 (3), 75-81, 1994
Applying formal specification to software development in industry
IJ Hayes
IEEE Transactions on Software Engineering, 169-178, 1985
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
Using units of measurement in formal specifications
IJ Hayes, BP Mahony
Formal Aspects of Computing 7 (3), 329-347, 1995
Coercing Real-time Refinement: A Transmitter
IJ Hayes, M Utting
Software Verification Research Centre, 1996
VDM and Z: A comparative case study
I Hayes
Formal Aspects of Computing 4 (1), 76-99, 1992
The deadline command
C Fidge, I Hayes, G Watson
IEE Proceedings-software 146 (2), 104-111, 1999
A timeband framework for modelling real-time systems
A Burns, IJ Hayes
Real-Time Systems 45 (1-2), 106-142, 2010
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
Using continuous real functions to model timed histories
B Mahony, I Hayes
Australian Software Engineering Conference 1991: Engineering Safe Software …, 1991
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
A case study in timed refinement: A central heater
B Mahony, I Hayes
4th Refinement Workshop, 138-149, 1991
Protocol specification and verification using Z
R Duke, IJ Hayes, P King, GA Rose
Protocol Specification, Testing, and Verification 8, 33-46, 1988
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20