Knowledge-based debugging

Robert Balzer began the session by presenting an overview of where debugging fits into knowledge-based programming systems. He distinguished between differences in paradigm (the traditional software engineering approach in which the source code is the first formal representation vs. the operational ... View More