{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:13:09Z","timestamp":1725455589077},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635925"},{"type":"electronic","value":"9783540696063"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026795","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:33:26Z","timestamp":1132385606000},"page":"323-328","source":"Crossref","is-referenced-by-count":1,"title":["An instrument for a purpose driven comparison of modelling frameworks"],"prefix":"10.1007","author":[{"given":"Frances M.T.","family":"Brazier","sequence":"first","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":[[2005,6,17]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Angele, J., Fensel, D., and Studer, D. (1996). Domain and Task Modelling in MIKE. Proceedings of the IFIP WG 8.1\/13.2 Joint Working Conference, Domain Knowledge for Interactive System Design. Geneva, Switzerland, May 8-10th, 1996.","key":"22_CR1","DOI":"10.1007\/978-0-387-35059-2_11"},{"doi-asserted-by":"crossref","unstructured":"Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., and Treur, J. (1997), DESIRE: modelling multi-agent systems in a compositional formal framework, In: Huhns, M. and Singh, M. (Eds.), International Journal of Cooperative Information Systems, IJCIS vol. 6 (1), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, pp. 67\u201394.","key":"22_CR2","DOI":"10.1142\/S0218843097000069"},{"key":"22_CR3","first-page":"25\/1","volume-title":"Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW '95, 1995, 2","author":"F.M.T. Brazier","year":"1995","unstructured":"Brazier, F.M.T., Treur, J., Wijngaards N.J.E., and Willems, M. (1995). Formal specification of hierarchically (de)composed tasks. In B.R. Gaines and M.A. Musen (Eds.). Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW '95, 1995, 2, pp. 25\/1\u201325\/20. Calgary: SRDG Publications, Department of Computer Science, University of Calgary."},{"key":"22_CR4","first-page":"15\/1","volume-title":"Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop (KAW'96)","author":"F.M.T. Brazier","year":"1996","unstructured":"Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1996). Temporal semantics and specification of complex tasks. In: Gaines, B.R., and Musen, M.A. (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, pages 15\/1\u201315\/17."},{"unstructured":"Eriksson, H., Puerta, A.R., Gennari, J.H., Rothenfluh, T.E., TU, S.W., and Musen, M.A. (1995). Custom-Tailored Development Tools for Knowledge-Based Systems. In: Gaines, B.R. and Musen, M.A. (Eds.). Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, SRDG Publications, Department of Computer Science, University of Calgary, 1995, pp. 26\/1\u201326\/19.","key":"22_CR5"},{"issue":"4","key":"22_CR6","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0269888900007566","volume":"10","author":"D. Fensel","year":"1995","unstructured":"Fensel, D. (1995). Formal Specification Languages in Knowledge and Software Engineering, The Knowledge Engineering Review, Vol 10(4), pp. 361\u2013404.","journal-title":"The Knowledge Engineering Review"},{"key":"22_CR7","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1017\/S0269888900006767","volume":"9","author":"D. Fensel","year":"1994","unstructured":"Fensel, D. and Harmelen, F. Van (1994). A comparison of languages which operationalise and formalise KADS models of expertise. The Knowledge Engineering Review, 9, pp. 105\u2013146.","journal-title":"The Knowledge Engineering Review"},{"unstructured":"Gennari, J.H., Altman R.B., and Musen, M.A. (1994). Reuse with PROT\u00e9g\u00e9-II From Elevators to Ribosomes. Knowledge systems laboratory, KSL-94-71, Stanford University School of Medicine, 1994.","key":"22_CR8"},{"unstructured":"Harmelen, F. Van, Lopez De M\u00e1ntaras, R., Malec, J., and Treur, J. (1993). Comparing Formal Specification Languages for Complex Reasoning Systems. In: (Treur & Wetter, 1993), pp. 257\u2013282.","key":"22_CR9"},{"unstructured":"Hoog, R. de, Martil, R., Wielinga. B.J., Taylor, R., Bright, C., and Velde, W. Van De (1994). The CommonKADS model set. Technical Report KADSII\/M1\/DM1.lb\/UvA\/018\/6.0\/FINAL, SWI, University of Amsterdam, 1994.","key":"22_CR10"},{"key":"22_CR11","volume-title":"Proceedings of the EKAW'91","author":"M. Linster","year":"1991","unstructured":"Linster, M. (1991). Sisyphus'91 part 2: Models of problem solving. Statement of the sample problem. In: Smeed, D., Linster, M., Boose, J.H., and Gaines, B.R. (Eds.). Proceedings of the EKAW'91, Glasgow, University of Strathclyde."},{"key":"22_CR12","first-page":"189","volume":"40","author":"M. Linster","year":"1994","unstructured":"Linster, M. (1994). Sisyphus '91\/92: Models of problem solving. International Journal of Human-Computer Studies, 40, 1994, pp. 189\u2013192.","journal-title":"International Journal of Human-Computer Studies"},{"unstructured":"Mazza, C., Fairclough, J., Melton, B., Pablo, D. De, Scheffer, A., and Stevens, R. (1994). Software Engineering Standards. Prentice Hall.","key":"22_CR13"},{"unstructured":"Motta, E. (1997). A comparative analysis of modelling frameworks. Working paper. Knowledge Media Institute, The Open University.","key":"22_CR14"},{"unstructured":"Musen, M.A. (1990). An editor for the conceptual models of interactive knowledge-acquisition tools. In: Boose, J.H. and Gaines, B.R. (Eds.). The Foundations of Knowledge Acquisition. Knowledge-Based Systems, Academic Press Limited, 4, 1990, pp. 135\u2013160.","key":"22_CR15"},{"unstructured":"Pierret-Golbreich, C. (1993). Task Model Perspective of Knowledge Engineering, 7th European Knowledge Acquisition Workshop, EKAW'93, Springer-Verlag.","key":"22_CR16"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/1042-8143(92)90025-V","volume":"4","author":"A.R. Puerta","year":"1992","unstructured":"Puerta, A.R., Egar, J.W., Tu, S.W., and Musen, M.A. (1992). A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools. Knowledge Acquisition, 1992 4, pp. 171\u2013196.","journal-title":"Knowledge Acquisition"},{"unstructured":"Revise (project) (1996). A Purpose Driven Method for Language Comparison. In: Shadbolt, N., O'Hara, K., and Schreiber, A.TH. Advances in Knowledge Acquisition. 9th European Knowledge Acquisition Workshop, EKAW'96. Lecture Notes in Artificial Intelligence, volume 1076, pp. 66\u201381.","key":"22_CR18"},{"unstructured":"Sage, A.P. and Palmer, J.D. (1990). Software Systems Engineering. John Wiley and Sons.","key":"22_CR19"},{"key":"22_CR20","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1006\/ijhc.1996.0015","volume":"44","author":"A.TH. Schreiber","year":"1996","unstructured":"Schreiber, A.TH., and Birmingham, W.P. (1996). Editorial: the Sisyphus-VT initiative. International Journal of Human-Computer Studies, 44, 1996 pp. 275\u2013280.","journal-title":"International Journal of Human-Computer Studies"},{"doi-asserted-by":"crossref","unstructured":"Shadbolt, N., Motta, E., and Rouge, A. (1993). Constructing Knowledge-Based Systems. IEEE Software, November, pp. 34\u201338.","key":"22_CR21","DOI":"10.1109\/52.241964"},{"doi-asserted-by":"crossref","unstructured":"Talon, X. and Pierret-Golbreich, C. (1996). TASK: from the specification to the implementation. 8th IEEE International Conference on Tools with Artificial Intelligence, pp. 80\u201388, IEEE Computer Society Press.","key":"22_CR22","DOI":"10.1109\/TAI.1996.560404"},{"unstructured":"Treur, J. and Wetter, TH (Eds.) (1993). Formal Specification of Complex Reasoning Systems. Ellis Horwood.","key":"22_CR23"},{"key":"22_CR24","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/1042-8143(92)90013-Q","volume":"4","author":"B.J. Wielinga","year":"1992","unstructured":"Wielinga, B.J., Schreiber, A.TH., and Breuker, J.A. (1992). KADS: a modelling approach to knowledge engineering. Knowledge Acquisition, 4, 1992, pp. 5\u201353.","journal-title":"Knowledge Acquisition"}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:35:37Z","timestamp":1586568937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635925","9783540696063"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0026795","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}