{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:05:39Z","timestamp":1742987139150,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319223476"},{"type":"electronic","value":"9783319223483"}],"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-22348-3_15","type":"book-chapter","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T06:26:43Z","timestamp":1438237603000},"page":"265-281","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["SpecQua: Towards a Framework for Requirements Specifications with Increased Quality"],"prefix":"10.1007","author":[{"given":"Alberto Rodrigues","family":"da Silva","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,31]]},"reference":[{"key":"15_CR1","volume-title":"Requirements Engineering Fundamentals, Principles, and Techniques","author":"K Pohl","year":"2010","unstructured":"Pohl, K.: Requirements Engineering Fundamentals, Principles, and Techniques, 1st edn. Springer, Heidelberg (2010)","edition":"1"},{"key":"15_CR2","volume-title":"Requirements Engineering: A Good Practice Guide","author":"I Sommerville","year":"1997","unstructured":"Sommerville, I., Sawyer, P.: Requirements Engineering: A Good Practice Guide. Wiley, New York (1997)"},{"key":"15_CR3","volume-title":"Mastering the Requirements Process","author":"S Robertson","year":"2006","unstructured":"Robertson, S., Robertson, J.: Mastering the Requirements Process, 2nd edn. Addison-Wesley, Boston (2006)","edition":"2"},{"issue":"5","key":"15_CR4","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MS.2008.107","volume":"25","author":"K Emam","year":"2008","unstructured":"Emam, K., Koru, A.: A replicated survey of IT software project failures. IEEE Softw. 25(5), 84\u201390 (2008)","journal-title":"IEEE Softw."},{"key":"15_CR5","volume-title":"Just Enough Requirements Management: Where Software Development Meets Marketing","author":"AM Davis","year":"2005","unstructured":"Davis, A.M.: Just Enough Requirements Management: Where Software Development Meets Marketing, 1st edn. Dorset House Publishing, New York (2005)","edition":"1"},{"key":"15_CR6","volume-title":"Practical Software Requirements: Manual of Content and Style","author":"B Kovitz","year":"1998","unstructured":"Kovitz, B.: Practical Software Requirements: Manual of Content and Style. Manning, Greenwich (1998)"},{"key":"15_CR7","unstructured":"IEEE Computer Society, 1998. IEEE Recommended Practice for Software Requirements Specifications. IEEE Std 830-1998"},{"key":"15_CR8","volume-title":"Natural Language Processing with Python","author":"S Bird","year":"2009","unstructured":"Bird, S., Klein, E., Loper, E.: Natural Language Processing with Python. O\u2019Reilly Media, Sebastapol (2009)"},{"key":"15_CR9","unstructured":"Ferreira, D., Silva, A.R.: RSLingo: an information extraction approach toward formal requirements specifications. In: Proceedings of the 2nd Int. Workshop on Model-Driven Requirements Engineering (MoDRE 2012), IEEE CS (2012)"},{"key":"15_CR10","unstructured":"Ferreira, D., Silva, A.R.: RSL-IL: An interlingua for formally documenting requirements. In: Proceedings of the of Third IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE 2013), IEEE CS (2013)"},{"key":"15_CR11","unstructured":"Ferreira, D., Silva, A.R.: RSL-PL: A linguistic pattern language for documenting software requirements. In: Proceedings of the of Third International Workshop on Requirements Patterns (RePa 2013), IEEE CS (2013)"},{"key":"15_CR12","unstructured":"Silva, A.R.: Quality of requirements specifications: a framework for automatic validation of requirements In: Proceedings of ICEIS 2014 Conference, 2014, SCITEPRESS (2014)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Silva, A.R., et al.: Towards a system requirements specification template that minimizes combinatorial effects. In: Proceedings of QUATIC 2014 Conference, IEEE CS (2014)","DOI":"10.1109\/QUATIC.2014.22"},{"key":"15_CR14","unstructured":"Hooks I.: Writing good requirements. In: Proceedings of the Third International Symposium of the INCOSE, vol. 2 (1993)"},{"key":"15_CR15","unstructured":"Kamsties, E., Berry, D.M., Paech, B.: Detecting ambiguities in requirements documents using inspections. In: Proceedings of the First Workshop on Inspection in Software Engineering (2001)"},{"key":"15_CR16","unstructured":"van Lamsweerde, A.: From Worlds to Machines. In: Nuseibeh, B., Zave, P. (eds.) A Tribute to Michael Jackson. Lulu Press (2009)"},{"key":"15_CR17","volume-title":"Assertion-based Design","author":"H Foster","year":"2004","unstructured":"Foster, H., Krolnik, A., Lacey, D.: Assertion-based Design. Springer, Heidelberg (2004)"},{"key":"15_CR18","unstructured":"Young, R., 2003. The Requirements Engineering Handbook. Artech Print on Demand"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-85658-0_3","volume-title":"Reasoning Web","author":"NE Fuchs","year":"2008","unstructured":"Fuchs, N.E., Kaljurand, K., Kuhn, T.: Attempto controlled english for knowledge representation. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 104\u2013124. Springer, Heidelberg (2008)"},{"key":"15_CR20","unstructured":"Kuhn, T.: Controlled English for Knowledge Representation. Ph.D. thesis, Faculty of Economics, Business Administration and Information Technology of the University of Zurich (2010)"},{"key":"15_CR21","series-title":"Encyclopedia of Language and Linguistics","volume-title":"Information extraction, automatic","author":"H Cunningham","year":"2006","unstructured":"Cunningham, H.: Information extraction, automatic. Encyclopedia of Language and Linguistics, 2nd edn. Elsevier, Amsterdam (2006)","edition":"2"},{"key":"15_CR22","unstructured":"Ferreira, D., Silva, A.R.: Wiki supported collaborative requirements engineering. In: Proceedings of the 4th International Symposium on Wikis. ACM (2008)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Moreira, R., Paiva, A.C.R., Memon, A.: A pattern-based approach for GUI modeling and testing. In: IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), IEEE CS (2013)","DOI":"10.1109\/ISSRE.2013.6698881"},{"issue":"6","key":"15_CR24","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1049\/iet-sen:20070012","volume":"1","author":"AR Silva","year":"2007","unstructured":"Silva, A.R., et al.: Integration of RE and MDE paradigms: the ProjectIT approach and tools. IET Softw. J. 1(6), 294\u2013314 (2007)","journal-title":"IET Softw. J."},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Savic, D., et al.: Use case specification at different levels of abstraction. In: Proceedings of QUATIC 2012 Conference, 2012, IEEE CS (2012)","DOI":"10.1109\/QUATIC.2012.64"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Ribeiro, A., Silva, A.R.: XIS-Mobile: a DSL for mobile applications. In: Proceedings of SAC 2014 Conference, ACM (2014)","DOI":"10.1145\/2554850.2554926"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22348-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T20:52:30Z","timestamp":1674247950000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22348-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319223476","9783319223483"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22348-3_15","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"31 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}