RT-ASLAN: A specification language for real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Design problem solving: a task analysis
AI Magazine
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
The Specification of Complex Systems
The Specification of Complex Systems
Knowledge Specification of an Expert System
IEEE Expert: Intelligent Systems and Their Applications
New Approach to Requirements Trade-Off Analysis for Complex Systems
IEEE Transactions on Knowledge and Data Engineering
Task-Based Specifications Through Conceptual Graphs
IEEE Expert: Intelligent Systems and Their Applications
A Task-Based Approach to Verifying Conceptual Models
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Methodologies for the development of knowledge-based systems, 1982–2002
The Knowledge Engineering Review
Behavior bounding: an efficient method for high-level behavior comparison
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
A task-based specification methodology for expert system specification that is independent of the problem solving architecture, that can be applied to many expert system applications, that focuses on what the knowledge is, not how it is implemented, that introduces the major concepts involved gradually, and that supports verification and validation is discussed. To evaluate the methodology, a specification of R1/SOAR, an expert system that reimplements a major portion of the R1 expert system, was reverse engineered.