J. E. Hayes

Guidelines for the verification and validation of expert system software and conventional software: Rationale and description of V&V guideline packages and procedures. Volume 5

S. M. Mirsky, J. E. Hayes, L. A. Miller, 1995 .

Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2

S. M. Mirsky, J. E. Hayes, L. A. Miller, 1995 .

Guidelines for the Verification and Validation of Expert System Software and Conventional Software

S. M. Mirsky, J. E. Hayes, L. A. Miller, 1995 .

Guidelines for the verification and validation of expert system software and conventional software: Evaluation of knowledge base certification methods. Volume 4

S. M. Mirsky, J. E. Hayes, L. A. Miller, 1995 .