Keith E. Williamson

Publication Activity (10 Years)

Years Active: 1985-2001
Publications (10 Years): 0

Publications

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) (2001)
Keith E. Williamson, Michael Healy
Deriving engineering software from requirements. J. Intell. Manuf. 11 (1) (2000)
Michael Healy, Keith E. Williamson
Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. AMAST (2000)
Keith E. Williamson, Michael Healy, Richard A. Barker
Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware. ICSR (2000)
Keith E. Williamson, Michael Healy
Industrial Applications of Software Synthesis via Category Theory. ASE (1999)
Keith E. Williamson, Michael Healy
Formally Specifying Engineering Design Rationale. ASE (1997)
Robert Jasper, Mike Brennan, Keith E. Williamson, Bill Currier, David Zimmerman
Test Data Generation and Feasible Path Analysis. ISSTA (1994)
Alexander Borgida, Keith E. Williamson
Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. VLDB (1985)
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)