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: Seater:Robert
Contributed to:
2006
2006
2003Wrote 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.