David L. Coleman

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Publications

David L. Coleman, Albert L. Baker
Synthesizing Structured Analysis and Object-Based Formal Specifications. Ann. Softw. Eng. 3 (1997)
David L. Coleman, Albert L. Baker
Deliberations on Kung's process interface modeling. J. Syst. Softw. 15 (2) (1991)