{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T01:59:48Z","timestamp":1769306388004,"version":"3.49.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319161006","type":"print"},{"value":"9783319161013","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16101-3_11","type":"book-chapter","created":{"date-parts":[[2015,3,13]],"date-time":"2015-03-13T06:52:36Z","timestamp":1426229556000},"page":"164-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["From Stakeholder Requirements to Formal Specifications Through Refinement"],"prefix":"10.1007","author":[{"given":"Feng-Lin","family":"Li","sequence":"first","affiliation":[]},{"given":"Jennifer","family":"Horkoff","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Borgida","sequence":"additional","affiliation":[]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[]},{"given":"Lin","family":"Liu","sequence":"additional","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,3,14]]},"reference":[{"key":"11_CR1","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. 593, pp. 257\u2013277. Springer, Heidelberg (1992)"},{"issue":"1\u20132","key":"11_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A Dardenne","year":"1993","unstructured":"Dardenne, A., Van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1\u20132), 3\u201350 (1993)","journal-title":"Sci. Comput. Program."},{"key":"11_CR3","unstructured":"IBM - Rational DOORS. http:\/\/www-03.ibm.com\/software\/products\/en\/ratidoor"},{"key":"11_CR4","unstructured":"Menzies, T., Caglayan, B., He, Z., Kocaguneli, E., Krall, J., Peters, F., Turhan, B.: The PROMISE Repository of empirical software engineering data. http:\/\/promisedata.googlecode.com"},{"issue":"5","key":"11_CR5","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1109\/32.90448","volume":"17","author":"MD Fraser","year":"1991","unstructured":"Fraser, M.D., Kumar, K., Vaishnavi, V.K.: Informal and formal requirements specification languages: bridging the gap. IEEE Trans. on Softw. Eng. 17(5), 454\u2013466 (1991)","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-3-540-30187-5_15","volume-title":"The Unified Modeling Language. Modeling Languages and Applications","author":"M Giese","year":"2004","unstructured":"Giese, M., Heldal, R.: From informal to formal specifications in UML. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 197\u2013211. Springer, Heidelberg (2004)"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00766-007-0048-y","volume":"12","author":"R Seater","year":"2007","unstructured":"Seater, R., Jackson, D., Gheyi, R.: Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12(2), 77\u2013102 (2007)","journal-title":"Requir. Eng."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Letier, E., Van Lamsweerde, A.: Deriving operational software specifications from system goals. In: FSE, ACM SIGSOFT Symposium, pp. 119\u2013128 (2002)","DOI":"10.1145\/605466.605485"},{"key":"11_CR9","unstructured":"Aziz, B., Arenas, A., Bicarregui, J., Ponsard, C., Massonet, P.: From goal-oriented requirements to Event-B specifications. In: NFM (2009)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Chung, L., Nixon, B.A., Yu, E.: Non-Functional Requirements in Software Engineering, vol. 5. Kluwer Academic Pub. (2000)","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"11_CR11","unstructured":"ISO\/IEC, ISO\/IEC TR 9126-2 Software engineering - Product quality - Part 2: External metrics, ISO\/IEC (2003)"},{"key":"11_CR12","unstructured":"Gilb, T.: Competitive engineering: a handbook for systems engineering, requirements engineering, and software engineering using Planguage. Butterworth-Heinemann (2005)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Jureta, I., Borgida, A., Ernst, N.A., Mylopoulos, J.: Techne: Towards a new generation of requirements modeling languages with goals, preferences, and inconsistency handling. In: RE, pp. 115\u2013124 (2010)","DOI":"10.1109\/RE.2010.24"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Kaiya, H., Saeki, M.: Using domain ontology as domain knowledge for requirements elicitation. In: RE, pp. 189\u2013198 (2006)","DOI":"10.1109\/RE.2006.72"},{"issue":"3","key":"11_CR15","doi-asserted-by":"crossref","first-page":"169","DOI":"10.3233\/AO-2009-0069","volume":"4","author":"IJ Jureta","year":"2009","unstructured":"Jureta, I.J., Mylopoulos, J., Faulkner, S.: A core ontology for requirements. Appl. Ontol. 4(3), 169\u2013244 (2009)","journal-title":"Appl. Ontol."},{"key":"11_CR16","unstructured":"Guizzardi, R., Li, F.-L., Borgida, A., Guizzardi, G., Horkoff, J., Mylopoulos, J.: An ontological interpretation of non-functional requirements. In: FOIS (2014)"},{"key":"11_CR17","unstructured":"Guizzardi, G.: Ontological foundations for structural conceptual models. CTIT, Centre for Telematics and Information Technology (2005)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Li, F.-L., Horkoff, J., Mylopoulos, J., Guizzardi, R.S., Guizzardi, G., Borgida, A., Liu, L.: Non-functional requirements as qualities, with a spice of ontology. In: RE (2014)","DOI":"10.1109\/RE.2014.6912271"},{"key":"11_CR19","unstructured":"ISO\/IEC 25010:2011, Systems and software engineering \u2013 Systems and software Quality Requirements and Evaluation (SQuaRE) \u2013 System and software quality models (2011)"},{"key":"11_CR20","unstructured":"McGuinness, D.L., Van Harmelen, F., et al.: OWL web ontology language overview. W3C Recomm. 10(10), 2004 (2004)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Cohen, W.W., Hirsh, H.: Learning the classic description logic: theoretical and experimental results. In: KR, vol. 94, pp. 121\u2013133 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50108-1"},{"issue":"4","key":"11_CR22","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1023\/A:1008680612960","volume":"4","author":"MS Feather","year":"1997","unstructured":"Feather, M.S., Fickas, S., Finkelstein, A., Van Lamsweerde, A.: Requirements and specification exemplars. Autom. Softw. Eng. 4(4), 419\u2013438 (1997)","journal-title":"Autom. Softw. Eng."},{"issue":"7","key":"11_CR23","doi-asserted-by":"publisher","first-page":"1224","DOI":"10.1016\/j.infsof.2013.01.006","volume":"55","author":"R Berntsson Svensson","year":"2013","unstructured":"Berntsson Svensson, R., Olsson, T., Regnell, B.: An investigation of how quality requirements are specified in industrial practice. Inf. Softw. Technol. 55(7), 1224\u20131236 (2013)","journal-title":"Inf. Softw. Technol."}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16101-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T06:22:45Z","timestamp":1676442165000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-16101-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319161006","9783319161013"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16101-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"14 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}