| 2001 |
|---|
| 8 | | Keith E. Williamson,
Michael Healy,
Richard A. Barker:
Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware.
Autom. Softw. Eng. 8(1): 7-30 (2001) |
| 2000 |
|---|
| 7 | EE | Michael Healy,
Keith E. Williamson:
Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge.
AMAST 2000: 484-498 |
| 6 | | Keith E. Williamson,
Michael Healy,
Richard A. Barker:
Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware.
ICSR 2000: 58-73 |
| 1999 |
|---|
| 5 | EE | Keith E. Williamson,
Michael Healy:
Industrial Applications of Software Synthesis via Category Theory.
ASE 1999: 35-43 |
| 1997 |
|---|
| 4 | EE | Keith E. Williamson,
Michael Healy:
Formally Specifying Engineering Design Rationale.
ASE 1997: 317-318 |
| 1994 |
|---|
| 3 | EE | Robert Jasper,
Mike Brennan,
Keith E. Williamson,
Bill Currier,
David Zimmerman:
Test Data Generation and Feasible Path Analysis.
ISSTA 1994: 95-107 |
| 1985 |
|---|
| 2 | | Alexander Borgida,
Tom M. Mitchell,
Keith E. Williamson:
Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases.
On Knowledge Base Management Systems (Islamorada) 1985: 259-286 |
| 1 | EE | Alexander Borgida,
Keith E. Williamson:
Accommodating Exceptions in Databases, and Refining the Schema by Learning from them.
VLDB 1985: 72-81 |
