{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:55Z","timestamp":1725562615084},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222354"},{"type":"electronic","value":"9783540259701"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25970-1_12","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T23:13:22Z","timestamp":1281309202000},"page":"179-194","source":"Crossref","is-referenced-by-count":7,"title":["SMART: System Model Acquisition from Requirements Text"],"prefix":"10.1007","author":[{"given":"Dov","family":"Dori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nahum","family":"Korda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avi","family":"Soffer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shalom","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56209-9","volume-title":"Object-Process Methodology - A Holistic Systems Paradigm","author":"D. Dori","year":"2002","unstructured":"Dori, D.: Object-Process Methodology - A Holistic Systems Paradigm. Springer, Berlin (2002)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1007\/978-3-540-39648-2_46","volume-title":"Conceptual Modeling - ER 2003","author":"D. Dori","year":"2003","unstructured":"Dori, D., Reinhartz-Berger, I., Sturm, A.: Developing Complex Systems with Object- Process Methodology using OPCAT. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol.\u00a02813, pp. 570\u2013572. Springer, Heidelberg (2003)"},{"key":"12_CR3","unstructured":"GRACE: Grid Search and Categorization Engine. EU RTD Project in the 2002 Fifth Framework (2002), http:\/\/www.grace-ist.org\/"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirements Engineering: A Roadmap. In: Proc. Conference on The Future of Software Engineering, Limerick, Ireland, pp. 35\u201346 (2000)","DOI":"10.1145\/336512.336523"},{"key":"12_CR5","unstructured":"Egyed, A., Gr\u00fcnbacher, P., Medvidovic, N.: Refinement and Evolution Issues in Bridging Requirements and Architectures - The CBSP Approach. In: Proc. 1st International Workshops From Requirements to Architecture, co-located with ICSE 2001, Toronto, Canada (2001)"},{"key":"12_CR6","unstructured":"Gr\u00fcnbacher, P., Egyed, A., Medvidovic, N.: Reconciling Software Requirements and Architectures: The CBSP Approach. In: Proc. 5th IEEE International Symposium on Requirements Engineering (RE 2001), Toronto, Canada (2001)"},{"key":"12_CR7","unstructured":"Gr\u00fcnbacher, P., Egyed, A., Medvidovic, N.: Dimensions of Concerns in Requirements Negotiation and Architecture Modeling. In: The second workshop on multi-dimensional separation of concerns in software engineering, co-located with ICSE 2000, Limerick, Ireland (June 2000)"},{"key":"12_CR8","unstructured":"Robinson, W., Fickas, S.: Automated Support for Requirements Negotiation. In: Proc. AAAI 1994 Workshop on Models of Conflicts on Conflict Management in Cooperative Problem Solving (1994)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-48738-7_9","volume-title":"Advanced Information Systems Engineering","author":"J. Ralyt\u00e9","year":"1999","unstructured":"Ralyt\u00e9, J., Rolland, C., Plihon, V.: Method Enhancement by Scenario Based Techniques. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol.\u00a01626, pp. 103\u2013118. Springer, Heidelberg (1999)"},{"key":"12_CR10","unstructured":"Ben Achour, C.: Linguistic Instruments for the Integration of Scenarios in Requirements Engineering. In: Proc. 3rd International Workshop on Requirements Engineering: Foundations of Software Quality (REFSQ 1997), Barcelona (1997)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BFb0035136","volume-title":"Advanced Information Systems Engineering","author":"C. Rolland","year":"1992","unstructured":"Rolland, C., Proix, C.: A Natural Language Approach for Requirements Engineering. In: Loucopoulos, P. (ed.) CAiSE 1992. LNCS, vol.\u00a0593, pp. 257\u2013277. Springer, Heidelberg (1992)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Paik. W., Yilmazel, S., Brown, E., Poulin, M., Dubon, S., Amice, C.: Applying Natural Language Processing (NLP) Based Metadata Extraction to Automatically Acquire User Preferences, Knowledge Capture - K-CAP 2001 (2001)","DOI":"10.1145\/500742.500757"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","first-page":"22","volume-title":"Advanced Information Systems Engineering","author":"S. Si-Said","year":"1996","unstructured":"Si-Said, S., Rolland, C., Grosz, G.: MENTOR: A Computer Aided Requirements Engineering Environment. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol.\u00a01080, pp. 22\u201343. Springer, Heidelberg (1996)"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/ASE.1997.632822","volume-title":"Proc. 12th IEEE Conference on Automated Software Engineering (ASE 1997)","author":"V. Ambriola","year":"1997","unstructured":"Ambriola, V., Gervasi, V.: Processing Natural Language Requirements. In: Proc. 12th IEEE Conference on Automated Software Engineering (ASE 1997), pp. 36\u201345. IEEE Press, Los Alamitos (1997)"},{"key":"12_CR15","unstructured":"Ryan, K.: The Role of Natural Language in Requirements Engineering. In: Proc. IEEE International Symposium on Requirements Engineering, San Diego (1993)"},{"issue":"4","key":"12_CR16","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1023\/A:1008617922496","volume":"4","author":"L. Goldin","year":"1997","unstructured":"Goldin, L., Berry, D.M.: A Prototype Natural Language Text Abstraction Finder For Use In Requirements Elicitation. Automated Software Engineering Journal\u00a04(4), 375\u2013412 (1997)","journal-title":"Automated Software Engineering Journal"},{"key":"12_CR17","first-page":"57","volume-title":"Safety-Critical Systems","author":"B. Macias","year":"1993","unstructured":"Macias, B., Pullman, S.B.: Natural Language Processing for Requirements Specification. In: Safety-Critical Systems, pp. 57\u201359. Chapman and Hall, London (1993)"},{"issue":"3","key":"12_CR18","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF01384048","volume":"4","author":"A. Fantechi","year":"1994","unstructured":"Fantechi, A., Gnesi, S., Ristori, G., Carenini, M., Vanocchi, M., Moreschini, P.: Assisting Requirement Formalization by Means of Natural Language Translation. Formal Methods in System Design\u00a04(3), 243\u2013263 (1994)","journal-title":"Formal Methods in System Design"},{"issue":"3","key":"12_CR19","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/52.896254","volume":"17","author":"N. Juristo","year":"2000","unstructured":"Juristo, N., Moreno, A.M., Lopez, M.: How to use Linguistic Instruments for Object- Oriented Analysis. IEEE Software\u00a017(3), 80\u201389 (2000)","journal-title":"IEEE Software"},{"issue":"4","key":"12_CR20","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1093\/comjnl\/38.4.310","volume":"38","author":"B. Macias","year":"1995","unstructured":"Macias, B., Pullman, S.G.: A Method for Controlling the Production of Specifications in Natural Language. The Computer Journal\u00a038(4), 310\u2013318 (1995)","journal-title":"The Computer Journal"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/3-540-61474-5_83","volume-title":"Computer Aided Verification","author":"R. Nelken","year":"1996","unstructured":"Nelken, R., Francez, N.: Automatic translation of natural-language system specifications into temporal logic. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 360\u2013371. Springer, Heidelberg (1996)"},{"key":"12_CR22","unstructured":"Jarke, M., Bubenko, J., Rolland, C., Sutcliffe, A., Vassiliou, Y.: Theories Underlying Requirements Engineering: An Overview of NATURE at Genesis. In: Proc.1st IEEE Symposium on Requirements Engineering, San Diego (1993)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Sutcliffe, A.G., Maiden, N.A.M.: Use of Domain Knowledge for Requirements Validation. In: Proc. Conference on Information System Development Process (1993)","DOI":"10.1016\/B978-0-444-81594-1.50012-X"},{"key":"12_CR24","unstructured":"Fabbrini, F., Fusani, M., Gervasi, V., Gnesi, S., Ruggirei, S.: Achieving Quality in Natural Language Requirements. In: Proc. 11th International Software Quality Week (1998)"},{"key":"12_CR25","unstructured":"Huyck, C., Abbas, F.: Natural Language Processing and Requirements Engineering: a Linguistics Perspective. In: Proc. 1st Asia-Pacific Conference on Software Quality (2000)"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s007660200002","volume":"7","author":"J. Natt","year":"2002","unstructured":"Natt, J., Regnell, B., Carlshamre, P., Andersson, M., Karlsson, J.: A Feasibility Study of Automated Natural Language Requirements Analysis in Market-Driven Development. Requirements Engineering\u00a07, 20\u201333 (2002)","journal-title":"Requirements Engineering"},{"key":"12_CR27","unstructured":"Gervasi, V., Nuseibeh, B.: Lightweight Validation of Natural Language Requirements. In: Proc. 4th IEEE International Conference on Requirements Engineering (ICRE), Schaumburg, Il (2000)"},{"key":"12_CR28","unstructured":"Genesereth, M.R.: Knowledge Interchange Format (KIF) (1998), http:\/\/logic.stanford.edu\/kif\/kif.html"},{"key":"12_CR29","volume-title":"Proc. 3rd International Conference on Information and Knowledge Management (CIKM 1994)","author":"T. Finin","year":"1994","unstructured":"Finin, T., Fritzson, R.: KQML as an Agent Communication Language. In: Proc. 3rd International Conference on Information and Knowledge Management (CIKM 1994), ACM Press, New York (1994)"},{"key":"12_CR30","unstructured":"Helbig, H., Hartrumpf, S.: Word Class Functions for Syntactic-Semantic Analysis. In: Proc. 2nd International Conference on Recent Advances in Natural Language Processing, pp. 312\u2013317 (1997)"},{"key":"12_CR31","unstructured":"Samuelsson, C.: Optimizing Analysis and Generation in Natural Language Processing. Computational Lingustics \u2013 ERCIM (1996)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25970-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:01:15Z","timestamp":1605762075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25970-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222354","9783540259701"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25970-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}