Richard A. Barker

According to our database, Richard A. Barker authored at least 2 papers between 2000 and 2001.

Collaborative distances:

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

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

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