Critiquing software specifications

et al. 1991

ACM Trans. Inf. Syst.

121

Cooperative problem-solving systems help users design solutions themselves as opposed to having solutions designed for them. Critiquing-presenting a reasoned opinion about a user's product or action-is a major activity of a cooperative problem-solving system. Critics make the constructed artifact "talk back" to the user. Conditions under which critics are more appropriate than autonomous expert systems are discussed. Critics should be embedded in integrated design environments along with other components, such as an argumentative hypertext system, a specification component, and a catalog. Critics support learning as a by-product of problem solving. The major subprocesses of critiquing are goal acquisition, product analysis, critiquing strategies, adaptation capability, explanation and argumentation, and advisory capability. The generality of the critiquing approach is demonstrated by discussing critiquing systems developed in our group and elsewhere. Limitations of many current critics include their inability to learn about specific user goals and their intervention strategies.

show abstract

Section: Critiquing Strategiesmentioning

confidence: 99%

“…LISP-CRITIC is capable of visualizing the effects of certain LISP functions [14]. KATE [12] critiques software specifications and backs up its critique with simulation scenarios designed to approximate the rich set of examples that software professionals use.…”

Section: Explanation and Argumentationmentioning

confidence: 99%

The role of critiquing in cooperative problem solving

et al. 1991

ACM Trans. Inf. Syst.

121

show abstract

“…Software engineering. KATE (Fickas & Nagarajan, 1988) critiques software specifications (for automated library systems) represented in an extended Petri net notation. The knowledge of the critic is represented as "cases" that consist of a pattern describing a behavior in a specification, links to one or more goals, simulation scenarios, and canned text descriptions.…”

Section: Short Descriptions Of Criticsmentioning

confidence: 99%

Critics: an emerging approach to knowledge-based human-computer interaction

International Journal of Man-Machine Studies

et al. 1991

“…It consists of a critic, a tutor, and a hypertext system. KATE [8] critiques software specifications for automated library systems.…”

Section: Short Descriptions Of Criticsmentioning

confidence: 99%

Using critics to empower users

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems Empowering People - CHI '90

et al. 1990