{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:00:08Z","timestamp":1725566408687},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660767"},{"type":"electronic","value":"9783540487654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48765-4_92","type":"book-chapter","created":{"date-parts":[[2010,9,24]],"date-time":"2010-09-24T16:27:57Z","timestamp":1285345677000},"page":"869-878","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Knowledge Level Process Model of Requirements 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","reference":[{"key":"#cr-split#-92_CR1.1","doi-asserted-by":"crossref","unstructured":"Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., Treur, J.: Formal Specification of Multi-Agent Systems: a Real World Case. In: Lesser, V. (ed.) Proceedings First International Conference on Multi-Agent Systems ICMAS 1995, pp. 25???32. MIT Press, Cambridge (1995);","DOI":"10.1007\/3-540-58855-8_6"},{"key":"#cr-split#-92_CR1.2","unstructured":"Extended version in: Huhns, M., Singh, M. (eds.): International Journal of Cooperative Information Systems IJCIS, vol.??6(1), pp. 67???94 (1997)"},{"key":"92_CR2","unstructured":"Brazier, F.M.T., Jonker, C.M., Treur, J.: Principles of Compositional Multi-agent System Development. In: Cuena, J. (ed.) Proceedings of the 15th IFIP World Computer Congress, WCC 1998, Conference on Information Technology and Knowledge Systems, IT&KNOWS 1998, pp. 347\u2013360 (1998)"},{"key":"92_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BFb0026795","volume-title":"Knowledge Acquisition, Modeling and Management","author":"F.M.T. Brazier","year":"1997","unstructured":"Brazier, F.M.T., Wijngaards, N.J.E.: An instrument for a purpose driven comparison of modelling frameworks. In: Plaza, E., Benjamins, R. (eds.) EKAW 1997. LNCS, vol.\u00a01319, pp. 323\u2013328. Springer, Heidelberg (1997)"},{"key":"92_CR4","volume-title":"Software requirements: Objects, Functions and States","author":"A.M. Davis","year":"1993","unstructured":"Davis, A.M.: Software requirements: Objects, Functions and States. Prentice Hall, New Jersey (1993)"},{"key":"92_CR5","unstructured":"Dubois, E., Du Bois, P., Zeippen, J.M.: A Formal Requirements Engineering Method for Real-Time, Concvurrent and Distributed Systems. In: Proc. of the Real-Time Systems Conference, RTS 1995(1995)"},{"key":"92_CR6","unstructured":"Erdmann, M., Studer, R.: Use-Cases and Scenarios for Developing Knowledge-based Systems. In: Cuena, J. (ed.) Proc. of the 15th IFIP World Computer Congress, WCC 1998, Conference on Information Technologies and Knowledge Systems, IT&KNOWS 1998, pp. 259\u2013272 (1998)"},{"key":"92_CR7","unstructured":"Herlea, D., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: A Case Study in Requirements Engineering: a Personal Internet Agent. Technical Report, Vrije Universiteit Amsterdam, Department of Artificial Intelligence (1999), http:\/\/www.cs.vu.nl\/~treur\/pareqdoc.html"},{"key":"92_CR8","volume-title":"Requirements Engineering: Processes and Techniques","author":"G. Kontonya","year":"1998","unstructured":"Kontonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York (1998)"},{"key":"92_CR9","volume-title":"System Requirements Engineering","author":"P. Loucipoulos","year":"1995","unstructured":"Loucipoulos, P., Karakostas, V.: System Requirements Engineering. McGraw-Hill, London (1995)"},{"key":"92_CR10","volume-title":"Requirements Engineering: a good practice guide","author":"I. Sommerville","year":"1997","unstructured":"Sommerville, I., Sawyer, P.: Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester (1997)"},{"key":"92_CR11","doi-asserted-by":"crossref","unstructured":"Weidenhaupt, K., Pohl, M., Jarke, M., Haumer, P.: Scenarios in system development: current practice. IEEE Software, 34\u201345 (March\/April 1998)","DOI":"10.1109\/52.663783"},{"key":"92_CR12","doi-asserted-by":"crossref","unstructured":"Yadav, S., et al.: Comparison of analysis techniques for information requirements determination. Communications of the ACM\u00a027(2) (1988)","DOI":"10.1145\/48529.48533"}],"container-title":["Lecture Notes in Computer Science","Multiple Approaches to Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48765-4_92","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T22:31:13Z","timestamp":1559687473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48765-4_92"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660767","9783540487654"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48765-4_92","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}