Critiquing software specifications

  title={Critiquing software specifications},
  author={Stephen Fickas and P. Nagarajan},
  journal={IEEE Software},
The authors describe how the knowledge of expert-systems analysts is being input to use in an automated critic for specification debugging. They are working on a system, named Kate, that tries to acquire a problem specification that includes a description of the objects, transitions (actions), and constraints of the intended system. They have built a computer-based critic as part of the Kate environment that has its roots in a set of protocols they collected over several analysis sessions. The… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.

51 Citations

Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 13 references

Directionality and Stability in Sys tem Behaviors

  • Fourth ConJ AIA@bmtzons
  • 1988

Automating the Software Specification Process

  • S Fickas
  • Tech. Report
  • 1987

Fourth Int'l Workshop Software Speciication and Design

  • Fourth Int'l Workshop Software Speciication and…
  • 1987

Rob lem Acquisition in Software Analysis: A Preliminary Study

  • S Fickas, S Collins, S Olivier
  • Rob lem Acquisition in Software Analysis: A…
  • 1987

Numerical Petri Nets: A Guide

  • M Wilbur-Ham
  • Numerical Petri Nets: A Guide
  • 1985

K?cowledge-Representation Approach to Softwaw-Requirements Definition, doctoral dissertation

  • K?cowledge-Representation Approach to Softwaw…
  • 1984

Similar Papers

Loading similar papers…