The Roles of Execution and Analysis in Algorthm Design
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dimension-Based Analysis of Hypotheticals from Supreme Court Oral
Dimension-Based Analysis of Hypotheticals from Supreme Court Oral
Requirements modeling: a knowledge representation approach to software requirements definition
Requirements modeling: a knowledge representation approach to software requirements definition
Using critics to empower users
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
The role of critiquing in cooperative problem solving
ACM Transactions on Information Systems (TOIS) - Special issue on computer—human interaction
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements and Specification Exemplars
Automated Software Engineering
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
A Study of Strategies for Computerized Critiquing of Programmers
Empirical Software Engineering
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Computer-aided Support for Secure Tropos
Automated Software Engineering
Runtime monitoring of cross-cutting policy
EA '09 Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design
Exploring traceability-based requirements inspection
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Software product roadmapping in a volatile business environment
Journal of Systems and Software
| Hi-index | 0.00 |
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.