Verification and validation issues in manufacturing models

Meseguer, 1993, Conventional software and expert systems: Some comparative aspects regarding validation Schlesinger, 1974, Developing standard procedures for simulation validation and verification, Vol. 1 Hollocker, 1990 Naylor, 1966 Friedman, 1963 Van Horn, 1971, Validation of simulation results, Management Science, Vol. 17, 10.1287/mnsc.17.5.247 Adrion, 1982, Validation, verification and testing of computer software, Computing Software, Vol. 14 Fryer, 1973, Operating policies in Multi-echlon Dual-constraint Job Shops, Management Science, Vol. 19, 10.1287/mnsc.19.9.1001 Naylor, 1967, Verification of computer simulation models, Management Science, Vol. 14, 10.1287/mnsc.14.2.B92 Popper, 1959 Lehman, 1977 Kleigner, 1975, Vol. 1 Browne, 1980, Simulation study of a job shop Fishman, 1973 Gordon, 1969 Coad, 1992 Plant, 1992, Expert systems development and testing: A knowledge engineers perspective, J. Systems and Software, Vol. 19, 141, 10.1016/0164-1212(92)90065-R T. Hoppe and P. Meseguer, “On the terminology of VVT”, Proc. European Workshop on Verification, Validation and Testing of KBS (EUROVAV '91). P. Krause, M. O'Neil and A. Glowinski, “Can we formally specify a medical decision support system?”, Proc. European Workshop on Verification, Validation and Testing of KBS (EUROVAV '91). Benbasat, 1989, A framework for the validation of knowledge acquisition, Knowledge Acquisition, Vol. 1, 10.1016/S1042-8143(89)80020-2 Bellmann, 1990, The modelling issues inherent in testing and evaluating knowledge based systems, Expert Systems with Applications, Vol. 1, 10.1016/0957-4174(90)90002-C