David R. Harris

Publication Activity (10 Years)

Years Active: 1986-1993
Publications (10 Years): 0

Publications

W. Lewis Johnson, Kevin Benner, David R. Harris
Developing Formal Specifications from Informal Requirements. IEEE Expert 8 (4) (1993)
W. Lewis Johnson, Martin S. Feather, David R. Harris
Representation and Presentation of Requirements Knowledge. IEEE Trans. Software Eng. 18 (10) (1992)
W. Lewis Johnson, Martin S. Feather, David R. Harris
Integrating domain knowledge, requirements, and specifications. J. Syst. Integr. 1 (3-4) (1991)
W. Lewis Johnson, David R. Harris
Sharing and Reuse of Requirements Knowledge. KBSE (1991)
W. Lewis Johnson, Martin S. Feather, David R. Harris
The KBSA Requirements/Specifications Facet: ARIES. KBSE (1991)
Andrew J. Czuchry Jr., David R. Harris
KBRA: A New Paradigm for Requirements Engineering. IEEE Expert 3 (4) (1988)
David R. Harris
A Hybrid Structured Object and Constraint Representation Language. AAAI (1986)