|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Stephen Fickas, P. Nagarajan, "Critiquing Software Specifications," IEEE Software, vol. 5, no. 6, pp. 37-47, November/December, 1988. | |||
| BibTex | x | ||
| @article{ 10.1109/52.10002, author = {Stephen Fickas and P. Nagarajan}, title = {Critiquing Software Specifications}, journal ={IEEE Software}, volume = {5}, number = {6}, issn = {0740-7459}, year = {1988}, pages = {37-47}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.10002}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Critiquing Software Specifications IS - 6 SN - 0740-7459 SP37 EP47 EPD - 37-47 A1 - Stephen Fickas, A1 - P. Nagarajan, PY - 1988 KW - expert-systems; specification debugging; Kate; problem specification; library database; expert systems; formal specification; program debugging; programming environments VL - 5 JA - IEEE Software ER - | |||
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 critic has three major components: a model of the domain, a matcher to connect parts of the model to the specification being analyzed, and a critique to supply the analysis. The model represents a set of policy issues for building systems in a particular domain and a set of relevant problem specification cases to consider for systems in the domain. The critic has been run on a library database problem. The results are presented and compared with a critique by an experienced library analyst.