BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × United Kingdom
3 × USA
Collaborated with:
J.V.Baalen S.Salamah Z.Balsara L.García I.Gallegos O.Ochoa A.Q.Gates C.Vela
Talks about:
specif (3) synthesi (2) procedur (2) softwar (2) project (2) experi (2) deduct (2) use (2) get (2) retrospect (1)

Person: Steve Roach

DBLP DBLP: Roach:Steve

Contributed to:

CSEE&T 20112011
SEKE 20082008
SAC 20052005
ASE 20022002
LOPSTR 19981998

Wrote 6 papers:

CSEET-2011-Roach #experience #re-engineering #student
Retrospectives in a software engineering project course: Getting students to get the most from a project experience (SR), pp. 467–471.
SEKE-2008-GallegosOGRSV #generative #specification
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.
SEKE-2008-GarciaRS #automation #ltl #named #verification
PROTEF: Automatic Verification of Pattern-Based LTL Templates (LG, SR, SS), pp. 261–266.
SAC-2005-BalsaraR #model checking #predict #search-based #using
Prediction of inherited and genetic mutations using the software model checker SPIN (ZB, SR), pp. 208–209.
ASE-2002-RoachB #automation #case study #deduction #experience #synthesis
Experience Report on Automated Procedure Construction for Deductive Synthesis (SR, JVB), p. 69–?.
LOPSTR-1998-BaalenR #deduction #synthesis #using
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems (JVB, SR), pp. 61–70.

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.