{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:51:24Z","timestamp":1725493884287},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660446"},{"type":"electronic","value":"9783540487753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48775-1_11","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T16:39:28Z","timestamp":1193416768000},"page":"173-190","source":"Crossref","is-referenced-by-count":2,"title":["Integration of Behavioural Requirements Specification within Knowledge Engineering"],"prefix":"10.1007","author":[{"given":"Daniela E.","family":"Herlea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niek J. E.","family":"Wijngaards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,7]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Angele, J., Fensel, D., Landes, D., and Studer, R., Developing Knowledge-based Systems with MIKE. Journal of Automated Software Engineering, 1998","DOI":"10.1007\/978-1-4615-5613-8_2"},{"key":"11_CR2","unstructured":"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\u201996, John Wiley and Sons, pp. 408\u2013412."},{"issue":"5","key":"11_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/203356.203365","volume":"38","author":"H.R. Beyer","year":"1995","unstructured":"Beyer, H.R. and Holtzblatt, K. (1995). Apprenticing with the customer, Communications of the ACM, vol. 38(5), pp. 45\u201352.","journal-title":"Communications of the ACM"},{"key":"11_CR4","volume-title":"Object oriented design with applications","author":"G. Booch","year":"1991","unstructured":"Booch, G. (1991). Object oriented design with applications. Benjamins Cummins Publishing Company, Redwood City."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"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\u201998. IEEE Computer Society Press, pp. 49\u201356.","DOI":"10.1109\/ICMAS.1998.699031"},{"key":"11_CR6","unstructured":"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\u201998, Conference on Information Technology and Knowledge Systems, IT&KNOWS\u201998, pp. 347\u2013360."},{"issue":"1","key":"11_CR7","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0169-023X(98)00029-9","volume":"29","author":"F.M.T. Brazier","year":"1999","unstructured":"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\u201342.","journal-title":"Data and Knowledge Engineering"},{"key":"11_CR8","unstructured":"Clavadetscher, C. (1998). User involvement: key to success, IEEE Software, Requirements Engineering issue, March\/April, pp. 30\u201333."},{"key":"11_CR9","first-page":"65","volume-title":"Lecture Notes in AI","author":"F. Cornelissen","year":"1997","unstructured":"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\u201997, Lecture Notes in AI, vol. 1319, Springer Verlag, Berlin, pp. 65\u201380."},{"key":"11_CR10","volume-title":"Software requirements: Objects, Functions, and States","author":"A. M. Davis","year":"1993","unstructured":"Davis, A. M. (1993). Software requirements: Objects, Functions, and States, Prentice Hall, New Jersey."},{"key":"11_CR11","unstructured":"Dubois, E., Yu, E., Petit, M. (1998). From Early to Late Formal Requirements. In: Proc. IWSSD\u201998. IEEE Computer Society Press."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"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\u201998, 1998, pp. 91\u2013106. To appear in: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Intelligent Agents V. Lecture Notes in AI, Springer Verlag, 1999","DOI":"10.1007\/3-540-49057-4_12"},{"key":"11_CR13","unstructured":"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\u201998, Conference on Information Technology and Knowledge Systems, IT&KNOWS\u201998, pp. 259\u2013272."},{"key":"11_CR14","volume-title":"Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems Workshop, KAW\u201995","author":"D. Fensel","year":"1995","unstructured":"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\u201995, Calgary: SRDG Publications, Department of Computer Science, University of Calgary."},{"key":"11_CR15","first-page":"5\/1","volume-title":"Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW\u201996","author":"D. Fensel","year":"1996","unstructured":"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\u201996, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, pp. 5\/1\u20135\/18."},{"volume-title":"Artificial Intelligence in Design\u2019 96","year":"1996","key":"11_CR16","unstructured":"Gero, J.S., and Sudweeks, F., eds. (1996) Artificial Intelligence in Design\u2019 96, Kluwer Academic Publishers, Dordrecht."},{"volume-title":"Artificial Intelligence in Design\u2019 98","year":"1998","key":"11_CR17","unstructured":"Gero, J.S., and Sudweeks, F., eds. (1998) Artificial Intelligence in Design\u2019 98, Kluwer Academic Publishers, Dordrecht."},{"key":"11_CR18","unstructured":"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"},{"issue":"5","key":"11_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/203356.203361","volume":"38","author":"K. Holzblatt","year":"1995","unstructured":"Holzblatt, K. and Beyer, K.R. (1995). Requirements gathering: the human factor, Communications of the ACM, vol. 38(5), pp. 31.","journal-title":"Communications of the ACM"},{"key":"11_CR20","unstructured":"Jackson, M.A. (1975). Principles of Program Design, Academic Press."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"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\u201997. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, pp. 350\u2013380","DOI":"10.1007\/3-540-49213-5_13"},{"key":"11_CR22","volume-title":"Requirements Engineering: Processes and Techniques","author":"G. Kontonya","year":"1998","unstructured":"Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York."},{"key":"11_CR23","unstructured":"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\u201998, Conference on Information Technology and Knowledge Systems, IT&KNOWS\u201998, pp. 17\u201320."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Potts, C., Takahashi, K. and Anton, A. (1994). Inquiry based requirements analysis, IEEE Software, 11(2), March.","DOI":"10.1109\/52.268952"},{"key":"11_CR25","volume-title":"McGraw-Hill Series in Computer Science","author":"R.S. Pressman","year":"1997","unstructured":"Pressman, R.S. (1997). Software Engineering: A practitioner\u2019s approach. Fourth Edition, McGraw-Hill Series in Computer Science, McGraw-Hill Companies Inc., New York.","edition":"Fourth Edition"},{"key":"11_CR26","volume-title":"Software Systems Engineering","author":"A.P. Sage","year":"1990","unstructured":"Sage, A.P., and Palmer, J.D. (1990). Software Systems Engineering. John Wiley and Sons, New York."},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.1109\/64.363263"},{"key":"11_CR28","volume-title":"Requirements Engineering: a good practice guide","author":"I. Sommerville","year":"1997","unstructured":"Sommerville, I., and Sawyer P. (1997). Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England."},{"key":"11_CR29","unstructured":"The Standish Group, (1995) The High Cost of Chaos: http:\/\/www.standishgroup.com"},{"key":"11_CR30","unstructured":"Weidenhaupt, K., Pohl, M., Jarke, M. and Haumer, P. (1998). Scenarios in system development: current practice, IEEE Software, pp. 34\u201345, March\/April."}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48775-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T21:49:52Z","timestamp":1556920192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48775-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660446","9783540487753"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-48775-1_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}