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 × Germany
1 × USA
Collaborated with:
C.Ackermann M.Lindvall F.S.Chang D.Jackson
Talks about:
redesign (1) maintain (1) modular (1) flexibl (1) verif (1) studi (1) code (1) case (1) sat (1)

Person: Greg Dennis

DBLP DBLP: Dennis:Greg

Contributed to:

CSMR 20092009
ISSTA 20062006

Wrote 2 papers:

CSMR-2009-AckermannLD #case study #flexibility #maintenance
Redesign for Flexibility and Maintainability: A Case Study (CA, ML, GD), pp. 259–262.
ISSTA-2006-DennisCJ #composition #satisfiability #verification
Modular verification of code with SAT (GD, FSHC, DJ), pp. 109–120.

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.