Gunter Grieser, HTWK Leipzig; Klaus P. Jantke, Hokkaido University; and Steffen Lange, Universität Leipzig
There is an obvious necessity to validate resp. verify complex systems. If human experts are involved in the implementation of any validation scenario, there arises the problem of the experts' competence. As a case study, the problem of expertise for systems validation is investigated in the area of learning systems validation. It turns out that certain humaat expertise sufficient to accomplish certain validation tasks is substantially nonrecursive. Consequently, there is no way to replace humans by computer programs for those validation tasks.