Kevin M. Benner

Specification Reformulation During Specification Validation

Kevin M. Benner, 1992 .

Implementation patterns for the observer pattern

Kevin M. Benner, Jung J. Kim, Jung J. Kim, 1996 .

The Use of Scenarios for the Development and Validation of Specifications

W. Lewis Johnson, Kevin M. Benner, 1989 .

Dynamic validation of formal specifications via simplification and simulation

Ellis Horowitz, W. Lewis Johnson, Kevin M. Benner, 1995 .

KRS (Knowledge-Based Replanning System): A Knowledge-Based Mission Planner,

Kevin M. Benner, Michael L. Hilton, 1986 .

Aries: The Requirements/specification Facet For Kbsa

Martin S. Feather, David R. Harris, Kevin M. Benner, 1992 .