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 × Sweden
1 × USA
Collaborated with:
M.Healy A.Borgida R.Jasper M.Brennan B.Currier D.Zimmerman
Talks about:
synthesi (1) rational (1) industri (1) categori (1) accommod (1) specifi (1) softwar (1) generat (1) feasibl (1) databas (1)

Person: Keith E. Williamson

DBLP DBLP: Williamson:Keith_E=

Contributed to:

ASE 19991999
ASE 19971997
ISSTA 19941994
VLDB 19851985

Wrote 4 papers:

ASE-1999-WilliamsonH #category theory #industrial #synthesis
Industrial Applications of Software Synthesis via Category Theory (KEW, MH), pp. 35–43.
ASE-1997-WilliamsonH #design #specification
Formally Specifying Engineering Design Rationale (KEW, MH), pp. 317–318.
ISSTA-1994-JasperBWCZ #analysis #generative #testing
Test Data Generation and Feasible Path Analysis (RJ, MB, KEW, BC, DZ), pp. 95–107.
VLDB-1985-BorgidaW #database #exception #learning
Accommodating Exceptions in Databases, and Refining the Schema by Learning from them (AB, KEW), pp. 72–81.

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.