Integration of behavioural requirements specification within knowledge engineering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1621, Issue , 1999, Pages 173-190

  Herlea, Daniela E ^a   Jonker, Catholijn M ^b   Treur, Jan ^b   Wijngaards, Niek J E ^a,b  

^a UNIVERSITY OF CALGARY   (Canada)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATION; KNOWLEDGE ACQUISITION; MERGERS AND ACQUISITIONS;

ONTOLOGY ACQUISITION; PROBLEM SOLVING METHODS; REQUIREMENTS ACQUISITION; REQUIREMENTS SPECIFICATIONS; TASK MODELS;

SPECIFICATIONS;

EID: 84956860582     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48775-1_11     Document Type: Conference Paper

References (30)

1. Angele, J., Fensel, D., Landes, D., and Studer, R., Developing Knowledge-based Systems with MIKE. Journal of Automated Software Engineering, 1998
2. Benjamins, R., Fensel, D., Straatman, R. (1996). Assumptions of problem-solving methods and their role in knowledge engineering. In: W. Wahlster (Ed.), Proceedings of the12th European Conference on AI, ECAI'96, John Wiley and Sons, pp. 408-412.
3. Beyer, H.R. and Holtzblatt, K. (1995). Apprenticing with the customer, Communications of the ACM, vol. 38(5), pp. 45-52.
4. Booch, G. (1991). Object oriented design with applications. Benjamins Cummins Publishing Company, Redwood City.
5. Brazier, F.M.T., Cornelissen, F., Gustavsson, R., Jonker, C.M., Lindeberg, O., Polak, B., and Treur, J. (1998). Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation. In: Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98. IEEE Computer Society Press, pp. 49-56.
6. Brazier, F.M.T., Jonker, C.M., and Treur, J. (1998). Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98, pp. 347-360.
7. Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1999). Temporal Semantics of Compositional Task Models and Problem Solving Methods. Data and Knowledge Engineering, vol. 29(1), 1999, pp. 17-42.
8. Clavadetscher, C. (1998). User involvement: key to success, IEEE Software, Requirements Engineering issue, March/April, pp. 30-33.
9. Cornelissen, F., Jonker, C.M., and Treur, J. (1997). Compositional verification of knowledge-based systems: a case study in diagnostic reasoning. In: E. Plaza, R. Benjamins (eds.), Knowledge Acquisition, Modelling and Management, Proceedings of the 10th European Knowledge Acquisition Workshop, EKAW'97, Lecture Notes in AI, vol. 1319, Springer Verlag, Berlin, pp. 65-80.
10. Davis, A. M. (1993). Software requirements: Objects, Functions, and States, Prentice Hall, New Jersey.
11. Dubois, E., Yu, E., Petit, M. (1998). From Early to Late Formal Requirements. In: Proc. IWSSD’ 98. IEEE Computer Society Press.
12. Engelfriet, J., Jonker, C.M. and Treur, J., Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In: J.P. Mueller, M.P. Singh, A.S. Rao(eds.), Pre-proc. of the Fifth International Workshop on Agent Theories, Architectures and Languages, ATAL'98, 1998, pp. 91-106. To appear in: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Intelligent Agents V. Lecture Notes in AI, Springer Verlag, 1999
13. Erdmann, M. and Studer, R. (1998). Use-Cases and Scenarios for Developing Knowledge-based Systems. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98, pp. 259-272.
14. Fensel, D. (1995). Assumptions and limitations of a problem solving method: a case study. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems Workshop, KAW'95, Calgary: SRDG Publications, Department of Computer Science, University of Calgary.
15. Fensel, D., Benjamins, R. (1996) Assumptions in model-based diagnosis. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, pp. 5/1-5/18.
16. Gero, J.S., and Sudweeks, F., eds. (1996) Artificial Intelligence in Design’96, Kluwer Academic Publishers, Dordrecht.
17. Gero, J.S., and Sudweeks, F., eds. (1998) Artificial Intelligence in Design’98, Kluwer Academic Publishers, Dordrecht.
18. Herlea, D., Jonker, C.M., Treur, J. and Wijngaards, N.J.E. (1998). A Case Study in Requirements Engineering. Report, Vrije Universiteit Amsterdam, Department of Artificial Intelligence. URL: http://www.cs.vu.nl/~treur/pareqdoc.html
19. Holzblatt, K. and Beyer, K.R. (1995). Requirements gathering: the human factor, Communications of the ACM, vol. 38(5), pp. 31.
20. Jackson, M.A. (1975). Principles of Program Design, Academic Press.
21. Jonker, C.M. and Treur, J. (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Proceedings of the International Workshop on Compositionality, COMPOS'97. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, pp. 350-380
22. Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York.
23. Musen, M. (1998). Ontology Oriented Design and Programming: a New Kind of OO. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98, pp. 17-20.
24. Potts, C., Takahashi, K. and Anton, A. (1994). Inquiry based requirements analysis, IEEE Software, 11(2), March.
25. Pressman, R.S. (1997). Software Engineering: A practitioner’s approach. Fourth Edition, McGraw-Hill Series in Computer Science, McGraw-Hill Companies Inc., New York.
26. Sage, A.P., and Palmer, J.D. (1990). Software Systems Engineering. John Wiley and Sons, New York.
27. Schreiber, A.Th., Wielinga, B.J., Akkermans, J.M., Velde, W. van de, and Hoog, R. de (1994). CommonKADS: A comprehensive methodology for KBS development. In: IEEE Expert, 9(6).
28. Sommerville, I., and Sawyer P. (1997). Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England.
29. The Standish Group, (1995) The High Cost of Chaos: http://www.standishgroup.com
30. Weidenhaupt, K., Pohl, M., Jarke, M. and Haumer, P. (1998). Scenarios in system development: current practice, IEEE Software, pp. 34-45, March/April.