Requirements/design debugging
Peter C. Bates · ACM SIGPLAN Notices · 1983
This session was essentially a continuation of the earlier session on Knowledge-Based systems. The discussion proceeded along two dimensions. One is the paradigm used to, in some sense, debug high-level specifications. This is further broken into the 'current' and the 'operational specifications' paradigms. The other dimension is one of techniques for implementing these views. This dimension also has only two aspects, current techniques and knowledge-based techniques. The plan for the session was to introduce the technologies that may or may not exist to support these capabilities followed by a debate on these methods. There are four areas to be discussed in terms of technology---symbolic evaluation, fault analysis, behavior expectations and natural language explanations.