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: Gurr:Corin_A=
Contributed to:
2007
2004
2002
20001996
1995
1993Wrote 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.