עקוב אחר
Ian James Hayes
Ian James Hayes
Professor of Software Engineering, The University of Queensland
כתובת אימייל מאומתת בדומיין uq.edu.au
כותרת
צוטט על ידי
צוטט על ידי
שנה
Specification case studies
IJ Hayes, B Flinn, R Gimson
Prentice-Hall International, 1987
8751987
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
3441989
A case-study in timed refinement: A mine pump
BP Mahony, IJ Hayes
IEEE transactions on Software Engineering 18 (9), 817-826, 1992
1651992
Specification directed module testing
IJ Hayes
IEEE transactions on Software Engineering, 124-133, 1986
1091986
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
902003
Understanding the differences between VDM and Z
IJ Hayes, CB Jones, JE Nicholls
ACM SIGSOFT Software Engineering Notes 19 (3), 75-81, 1994
881994
A sequential real-time refinement calculus
IJ Hayes, M Utting
Acta Informatica 37, 385-448, 2001
812001
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
712011
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
691998
VDM and Z: A comparative case study
I Hayes
Formal Aspects of Computing 4, 76-99, 1992
651992
Using units of measurement in formal specifications
IJ Hayes, BP Mahony
Formal Aspects of Computing 7, 329-347, 1995
641995
A timeband framework for modelling real-time systems
A Burns, IJ Hayes
Real-Time Systems 45, 106-142, 2010
612010
Coercing Real-time Refinement: A Transmitter
IJ Hayes, M Utting
Software Verification Research Centre, 1996
601996
The deadline command
C Fidge, I Hayes, G Watson
IEE Proceedings-software 146 (2), 104-111, 1999
561999
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
561996
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
522007
Protocol specification and verification using Z
R Duke, IJ Hayes, P King, GA Rose
Protocol Specification, Testing, and Verification 8, 33-46, 1988
461988
Using continuous real functions to model timed histories
B Mahony, IJ Hayes
Proc. 6th Australian Software Engineering Conf.(ASWEC91), 257-270, 1991
451991
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20