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: Williamson:Keith_E=
Contributed to:
19991997
1994
1985Wrote 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.