BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Singapore
1 × Spain
1 × Sweden
1 × The Netherlands
1 × USA
2 × Germany
3 × Italy
4 × United Kingdom
Collaborated with:
R.Colvin P.A.Strooper G.Smith L.Meinicke D.R.Bradley B.Dongol K.Winter D.A.Carrington D.Hemer M.A.Jackson C.B.Jones R.G.Nickson C.J.Fidge M.Utting P.Kearney D.J.Duke J.Welsh C.Smith R.G.Dromey P.A.Lindsay L.Groves R.Nickson
Talks about:
program (8) specif (6) refin (6) logic (5) time (5) real (4) modular (3) environ (3) behavior (2) develop (2)

Person: Ian J. Hayes

DBLP DBLP: Hayes:Ian_J=

Facilitated 1 volumes:

FM 2005Ed

Contributed to:

FM 20142014
VISSOFT 20132013
IFM 20122012
SEFM 20102010
IFM 20092009
IFM 20092011
ASE 20042004
PDCL 20042004
FME 20032003
LOPSTR 20022002
IFM 20002000
LOPSTR 20002000
LOPSTR 20002000
IFM 19991999
FME 19961996
LOPSTR 19961996
FSE 19931993

Wrote 17 papers:

FM-2014-HayesM #algebra #invariant #realtime
Invariants, Well-Founded Statements and Real-Time Program Algebra (IJH, LM), pp. 318–334.
VISSOFT-2013-BradleyH #composition #development #named #navigation
Visuocode: A software development environment that supports spatial navigation and composition (DRB, IJH), pp. 1–4.
IFM-2012-DongolH #multi #reasoning #source code
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands (BD, IJH), pp. 39–53.
SEFM-2010-WinterHC #behaviour #requirements
Integrating Requirements: The Behavior Tree Philosophy (KW, IJH, RC), pp. 41–50.
IFM-2009-ColvinH #csp
CSP with Hierarchical State (RC, IJH), pp. 118–135.
IFM-J-2009-ColvinH11 #behaviour #csp #semantics #specification #using
A semantics for Behavior Trees using CSP with specification commands (RC, IJH), pp. 891–914.
ASE-2004-SmithWHDLC #requirements
An Environment for Building a System out of its Requirements (CS, KW, IJH, RGD, PAL, DAC), pp. 398–399.
PDCL-2004-ColvinGHHNS #logic programming #refinement #source code #specification #using
Developing Logic Programs from Specifications Using Stepwise Refinement (RC, LG, IJH, DH, RN, PAS), pp. 66–89.
FME-2003-HayesJJ #specification
Determining the Specification of a Control System from That of Its Environment (IJH, MAJ, CBJ), pp. 154–169.
LOPSTR-2002-ColvinHHS #higher-order #logic programming #refinement #source code
Refinement of Higher-Order Logic Programs (RC, IJH, DH, PAS), pp. 126–143.
IFM-2000-SmithH #realtime #specification
Structuring Real-Time Object-Z Specifications (GS, IJH), pp. 97–115.
LOPSTR-2000-ColvinHS #composition #logic programming #refinement
Modular Logic Program Refinement (RC, IJH, PAS).
LOPSTR-J-2000-ColvinHS #composition #logic programming #refinement
A Technique for Modular Logic Program Refinement (RC, IJH, PAS), pp. 38–56.
IFM-1999-SmithH #realtime #towards
Towards Real-Time Object-Z (GS, IJH), pp. 49–65.
FME-1996-FidgeUKH #realtime #refinement #scheduling
Integrating Real-Time Scheduling Theory and Program Refinement (CJF, MU, PK, IJH), pp. 327–346.
LOPSTR-1996-HayesNS #logic programming #source code #specification
Refining Specifications to Logic Programs (IJH, RGN, PAS), pp. 1–19.
FSE-1993-CarringtonDHW #composition #design #specification
Deriving Modular Designs from Formal Specifications (DAC, DJD, IJH, JW), pp. 89–98.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.