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 × Belgium
1 × Canada
1 × France
1 × Germany
5 × USA
Collaborated with:
S.J.Westfold D.Pavlovic X.Qian S.Nedunuri W.R.Cook C.P.Gomes L.Blaine L.Gilham J.Liu G.T.Leavens J.Abrial D.S.Batory M.J.Butler A.Coglio K.Fisler E.C.R.Hehner C.B.Jones D.Miller S.L.P.Jones M.Sitaraman A.Stump
Talks about:
synthesi (5) algorithm (3) constraint (2) softwar (2) schedul (2) program (2) develop (2) toward (2) specif (2) effici (2)

Person: Douglas R. Smith

DBLP DBLP: Smith:Douglas_R=

Facilitated 1 volumes:

KBSE 1994Ed

Contributed to:

FM 20122012
ASE 20072007
GPCE 20062006
IWPC 20052005
GPCE 20042004
ASE 20012001
ASE 19981998
ICSE 19961996
KBSE 19961996
KBSE 19931993
LOPSTR 19931993
VLDB 19871987
CADE 19821982

Wrote 14 papers:

FM-2012-NedunuriSC #algorithm #performance
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms (SN, DRS, WRC), pp. 308–325.
ASE-2007-Smith #automation #development #towards
Toward automated software development (DRS), p. 1.
GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
IWPC-2005-Smith #comprehension
Comprehension by Derivation (DRS), pp. 3–9.
GPCE-2004-Smith #approach #aspect-oriented #generative #programming
A Generative Approach to Aspect-Oriented Programming (DRS), pp. 39–54.
ASE-2001-PavlovicS #behaviour #composition #refinement #specification
Composition and Refinement of Behavioral Specifications (DP, DRS), pp. 157–165.
ASE-1998-BlaineGLSW #named #synthesis
Planware — Domain-Specific Synthesis of High-Performance Schedulers (LB, LG, JL, DRS, SJW), p. 270–?.
ICSE-1996-Smith #development
Machine Support for Software Development (DRS), pp. 167–168.
KBSE-1996-GomesSW #synthesis
Synthesis of Schedulers for Planned Shutdowns of Power Plants (CPG, DRS, SJW), p. 6.
KBSE-1993-Smith #algorithm #named #synthesis
KIDS: An Algorithm Synthesis System (DRS), p. 2.
LOPSTR-1993-Smith #algorithm #constraints #synthesis #towards
Towards the Synthesis of Constraint Propagation Algorithms (DRS), pp. 1–9.
VLDB-1987-QianS #constraints #performance #validation
Integrity Constraint Reformulation for Efficient Validation (XQ, DRS), pp. 417–425.
CADE-1982-Smith #synthesis
Derived Preconditions and Their Use in Program Synthesis (DRS), pp. 172–193.

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.