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 × France
1 × Italy
Collaborated with:
D.Alrajeh F.Toni C.Cadar A.Hadad M.Williams
Talks about:
composit (1) argument (1) softwar (1) specif (1) repair (1) effici (1) detect (1) medic (1) error (1) decis (1)

Person: Robert Craven

DBLP DBLP: Craven:Robert

Contributed to:

SEFM 20142014
KR 20122012

Wrote 2 papers:

SEFM-2014-AlrajehC #automation #composition #detection #specification
Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.
KR-2012-CravenTCHW #performance
Efficient Argumentation for Medical Decision-Making (RC, FT, CC, AH, MW).

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.