Keith E. Williamson

According to our database, Keith E. Williamson authored at least 9 papers between 1985 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware.

Keith E. Williamson, Michael Healy, Richard A. Barker

Autom. Softw. Eng., 2001

2000

Deriving engineering software from requirements.

Keith E. Williamson, Michael Healy

J. Intell. Manuf., 2000

Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware.

Keith E. Williamson, Michael Healy, Richard A. Barker

Proceedings of the Software Reuse: Advances in Software Reusability, 2000

Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge.

Michael Healy, Keith E. Williamson

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Industrial Applications of Software Synthesis via Category Theory.

Keith E. Williamson, Michael Healy

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1997

Formally Specifying Engineering Design Rationale.

Keith E. Williamson, Michael Healy

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1994

Test Data Generation and Feasible Path Analysis.

Robert Jasper, Mike Brennan, Keith E. Williamson, Bill Currier, David Zimmerman

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

1985

Accommodating Exceptions in Databases, and Refining the Schema by Learning from them.

Alexander Borgida, Keith E. Williamson

Proceedings of the VLDB'85, 1985

Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases.

Alexander Borgida, Tom M. Mitchell, Keith E. Williamson

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985