BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Portugal
1 × Spain
2 × Ireland
2 × USA
Collaborated with:
G.Hardstone K.Tourlas D.Winterstein A.Bundy T.He P.Ribbins R.Brown L.Sun
Talks about:
program (3) logic (3) design (2) diagrammat (1) specialis (1) represent (1) principl (1) intellig (1) theorem (1) softwar (1)

Person: Corin A. Gurr

DBLP DBLP: Gurr:Corin_A=

Contributed to:

ICEIS SAIC 20072007
IJCAR 20042004
SAC 20022002
ICSE 20002000
SAC 19961996
ILPS 19951995
LOPSTR 19931993

Wrote 7 papers:

ICEIS-SAIC-2007-HeRBSG #design
A Design for Business Intelligence Service in Demand Driven Supply Chain Management (TH, PR, RB, LS, CAG), pp. 20–25.
IJCAR-2004-WintersteinBG #diagrams #proving #theorem proving
Dr.Doodle: A Diagrammatic Theorem Prover (DW, AB, CAG), pp. 331–335.
SAC-2002-GurrH #modelling #requirements
Modelling organisational practice in user requirements (CAG, GH), pp. 716–720.
ICSE-2000-GurrT #design #diagrams #re-engineering #towards
Towards the principled design of software engineering diagrams (CAG, KT), pp. 509–518.
SAC-1996-Gurr #logic programming #specification
Verifiable partial specifications for logic programming (CAG), pp. 374–379.
ILPS-1995-Gurr #declarative #logic programming #source code
Declarative Annotations for Logic Programs (CAG), p. 639.
LOPSTR-1993-Gurr #logic programming #programming language #representation
Specialising the Ground Representation in the Logic Programming Language Gödel (CAG), pp. 124–140.

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.