Ian James Hayes
Ian James Hayes
Professor of Software Engineering, The University of Queensland
Verifierad e-postadress på itee.uq.edu.au
Titel
Citeras av
Citeras av
År
Specification case studies
IJ Hayes, B Flinn, R Gimson
Prentice-Hall International, 1987
8091987
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
5261987
Specifications are not (necessarily) executable
IJ Hayes, CB Jones
Software Engineering Journal 4 (6), 330-339, 1989
3101989
A case-study in timed refinement: A mine pump
BP Mahony, IJ Hayes
IEEE transactions on Software Engineering 18 (9), 817-826, 1992
1561992
Specification directed module testing
IJ Hayes
IEEE transactions on Software Engineering, 124-133, 1986
971986
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
802003
Understanding the differences between VDM and Z
IJ Hayes, CB Jones, JE Nicholls
ACM SIGSOFT Software Engineering Notes 19 (3), 75-81, 1994
761994
A sequential real-time refinement calculus
IJ Hayes, M Utting
Acta Informatica 37 (6), 385-448, 2001
75*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
661998
The deadline command
C Fidge, I Hayes, G Watson
IEE Proceedings-software 146 (2), 104-111, 1999
531999
Coercing Real-time Refinement: A Transmitter
IJ Hayes, M Utting
Software Verification Research Centre, 1996
531996
Using units of measurement in formal specifications
IJ Hayes, BP Mahony
Formal Aspects of Computing 7 (3), 329-347, 1995
531995
A timeband framework for modelling real-time systems
A Burns, IJ Hayes
Real-Time Systems 45 (1-2), 106-142, 2010
512010
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
511996
VDM and Z: A comparative case study
I Hayes
Formal Aspects of Computing 4 (1), 76-99, 1992
511992
Using continuous real functions to model timed histories
B Mahony, I Hayes
Australian Software Engineering Conference 1991: Engineering Safe Software …, 1991
431991
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
422007
A case study in timed refinement: A central heater
B Mahony, I Hayes
4th Refinement Workshop, 138-149, 1991
411991
Timing constraint analysis
S Grundon, I Hayes, C Fidge
COMPUTER SCIENCE'98: PROC. 21ST AUSTRALASIAN COMPUTER SCIENCE CONF.(ACSC'98 …, 1998
391998
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20