Dirk Salecker

Learn 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)
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)
  • 1