In this paper 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. 1
|
1515
|
Model Checking
– Clarke, Grumberg, et al.
- 1999
|
|
843
|
Software Engineering: A Practitioner’s Approach 6 th Edition
– Pressman
- 2005
|
|
301
|
Goaldirected requirements acquisition
– Dardenne, Lamsweerde, et al.
- 1993
|
|
196
|
Requirements Engineering, A Good Practice Guide
– Sommerville, Sawyer
- 1997
|
|
171
|
Object Oriented Design with Applications
– Booch
- 1991
|
|
106
|
Requirements engineering: processes and techniques
– Kotonya, Sommerville
- 1998
|
|
101
|
Software Requirements: Objects, Functions, and States
– Davis
- 1993
|
|
101
|
Principles of Program Design
– Jackson
- 1975
|
|
96
|
Compositional verification of multi-agent systems: A formal analysis of proactiveness and reactiveness. In: de Roever WP, Langmaack H, Pnueli A (eds
– CM, Treur
- 2002
|
|
92
|
Lamsweerde. Formal refinement patterns for goal-driven requirements elaboration
– Darimont, van
- 1996
|
|
75
|
CommonKADS: A comprehensive methodology for KBS development
– Schreiber, Wielinga, et al.
|
|
69
|
Problem solving methods for diagnosis
– Benjamins
- 1993
|
|
48
|
Principles of compositional multi-agent system development
– Brazier, Jonker, et al.
- 1998
|
|
44
|
Assumptions of problem-solving methods and their role in knowledge engineering
– Benjamins, Fensel, et al.
- 1996
|
|
34
|
Systems Engineering
– Sage
- 1992
|
|
34
|
Scenarios in system development: Current practice
– Weidenhaupt, Pohl, et al.
- 1998
|
|
27
|
Apprenticing with the Customer
– Beyer, Holtzblatt
- 1995
|
|
26
|
Assumptions and Limitations of a Problem-Solving Method: A Case Study
– Fensel
- 1995
|
|
26
|
Developing knowledge-based systems with MIKE
– Angele, Fensel, et al.
|
|
25
|
A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems
– Dubois, Bois, et al.
- 1995
|
|
25
|
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
– Engelfriet, Jonker
- 2002
|
|
25
|
Assumptions in model-based diagnosis
– Fensel, Benjamins
- 1996
|
|
25
|
Requirements gathering: the human factor
– HOLTZBLATT, BEYER
- 1995
|
|
23
|
Specification and verification of knowledge-based systems
– Fensel, Schonegge, et al.
- 1996
|
|
17
|
Compositional Verification of Knowledge-based Systems: a Case Study for Diagnostic Reasoning
– Cornelissen, Jonker, et al.
- 1997
|
|
15
|
Temporal semantics of compositional task models and problem solving methods
– Brazier, Treur, et al.
- 1999
|
|
13
|
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
– Brazier, Cornelissen, et al.
- 1998
|
|
12
|
Inquiry– based requirements analysis
– Potts, Takahashi, et al.
- 1994
|
|
9
|
From Early to Late Formal Requirements
– Dubois, Yu, et al.
- 1998
|
|
7
|
Use-Cases and Scenarios for Developing Knowledgebased Systems
– Erdmann, Studer
- 1998
|
|
6
|
User involvement: key to success
– Clavadetscher
- 1998
|
|
4
|
A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems
– Dastani, Jonker, et al.
- 2002
|
|
4
|
Ontology Oriented Design and Programming: a New Kind of OO
– Musen
- 1998
|
|
3
|
Musen (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop
– Gaines, A
- 1996
|
|
2
|
The High Cost of Chaos: http://www.standishgroup.com
– Group
- 1995
|
|
1
|
A Case Study
– Herlea, Jonker, et al.
- 1998
|
