Ian James Hayes
Ian James Hayes
Professor of Software Engineering, The University of Queensland
Adresse e-mail validée de itee.uq.edu.au
Titre
Citée par
Citée par
Année
Specification case studies
IJ Hayes, B Flinn, R Gimson
Prentice-Hall International, 1987
8581987
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
5511987
Specifications are not (necessarily) executable
IJ Hayes, CB Jones
Software Engineering Journal 4 (6), 330-339, 1989
3251989
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
1041986
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
801994
A sequential real-time refinement calculus
IJ Hayes, M Utting
Acta Informatica 37 (6), 385-448, 2001
76*2001
Applying formal specification to software development in industry
IJ Hayes
IEEE Transactions on Software Engineering, 169-178, 1985
731985
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
Using units of measurement in formal specifications
IJ Hayes, BP Mahony
Formal Aspects of Computing 7 (3), 329-347, 1995
571995
The deadline command
C Fidge, I Hayes, G Watson
IEE Proceedings-software 146 (2), 104-111, 1999
551999
Coercing Real-time Refinement: A Transmitter
IJ Hayes, M Utting
Software Verification Research Centre, 1996
551996
A timeband framework for modelling real-time systems
A Burns, IJ Hayes
Real-Time Systems 45 (1), 106-142, 2010
542010
VDM and Z: A comparative case study
I Hayes
Formal Aspects of Computing 4 (1), 76-99, 1992
531992
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
501996
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
462007
Protocol specification and verification using Z
R Duke, IJ Hayes, P King, GA Rose
Protocol Specification, Testing, and Verification 8, 33-46, 1988
451988
Using continuous real functions to model timed histories
B Mahony, IJ Hayes
Proc. 6th Australian Software Engineering Conf.(ASWEC91), 257-270, 1991
421991
A semantics for Behavior Trees using CSP with specification commands
RJ Colvin, IJ Hayes
Science of Computer Programming 76 (10), 891-914, 2011
402011
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20