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 × Canada
2 × USA
Collaborated with:
D.Jackson M.Taghdiri I.Shlyakhter M.Sridharan
Talks about:
overconstrain (1) lightweight (1) unsatisfi (1) progress (1) therapi (1) syntact (1) problem (1) extract (1) system (1) specif (1)

Person: Robert Seater

DBLP DBLP: Seater:Robert

Contributed to:

FSE 20062006
RE 20062006
ASE 20032003

Wrote 3 papers:

FSE-2006-TaghdiriSJ #lightweight #specification
Lightweight extraction of syntactic specifications (MT, RS, DJ), pp. 276–286.
RE-2006-SeaterJ #problem
Requirement Progression in Problem Frames Applied to a Proton Therapy System (RS, DJ), pp. 166–175.
ASE-2003-ShlyakhterSJST #debugging #declarative #modelling #satisfiability #using
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (IS, RS, DJ, MS, MT), pp. 94–105.

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.