Software systems engineering
Object oriented design with applications
Object oriented design with applications
Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Inquiry-Based Requirements Analysis
IEEE Software
Requirements gathering: the human factor
Communications of the ACM
Apprenticing with the customer
Communications of the ACM
Temporal semantics of compositional task models and problem solving methods
Data & Knowledge Engineering
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Requirements Engineering: A Good Practice Guide
Requirements Engineering: A Good Practice Guide
Requirements Engineering: Processes and Techniques
Requirements Engineering: Processes and Techniques
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
Point: User Involvement Key to Success
IEEE Software
Scenarios in System Development: Current Practice
IEEE Software
CommonKADS: A Comprehensive Methodology for KBS Development
IEEE Expert: Intelligent Systems and Their Applications
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Principles of Program Design
| Hi-index | 0.00 |
It is shown how specification of behavioural requirements from informal to formal can be integrated within knowledge engineering. The integration of requirements specification has addressed, in particular: the integration of requirements acquisition and specification with ontology acquisition and specification, the relations between requirements specifications and specifications of task models and problem solving methods, and the relation of requirements specification to verification.