Learn More
The task of the Validation Manager is the support of the validation of software: systems by using a Turing Test-like methodology. "rite basic idea of this algorithm is published in (3antke, Knauf and Stephan 1997). The author described the. considerations to develop a first program version in (Salecker 98). tile following months the prototype was(More)
The pros and cons of formal methods are the subject of many discussions in Artificial Intelligence (AI). Here, the authors describe a formal method that aims at system refinement based on the results of a test case validation technology for rule-based systems. This technique provides sufficient information to estimate the validity of each single rule.(More)
  • 1