{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T14:19:01Z","timestamp":1758809941676},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252020"},{"type":"electronic","value":"9783642252037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-25203-7_10","type":"book-chapter","created":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T08:11:00Z","timestamp":1326269460000},"page":"145-160","source":"Crossref","is-referenced-by-count":20,"title":["Requirements Verification in the Industry"],"prefix":"10.1007","author":[{"given":"Gauthier","family":"Fanmuy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anabel","family":"Fraga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Llorens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,1,12]]},"reference":[{"key":"10_CR1","unstructured":"Guidelines for Development of Civil Aircraft and Systems. Society of Automotive Engineers. ARP4754A, \n                \n                  http:\/\/standards.sae.org\/arp4754a"},{"key":"10_CR2","unstructured":"Boehm, B.: Software Engineering Economics, p. 37. Prentice-Hall, L\/S 004.41 BOE (1981)"},{"issue":"4","key":"10_CR3","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F.P. Brooks","year":"1987","unstructured":"Brooks, F.P.: No Silver Bullet. Essence and Accidents of Software Engineering. IEEE Computer\u00a020(4), 10\u201319 (1987); reprinted in: Brooks, F.P.: The Mytical Man-Month, Essays on Software Engineering. Addison-Wesley (20th Anniversary Edition) (1995)","journal-title":"IEEE Computer"},{"key":"10_CR4","unstructured":"Chale, H., et al.: Reducing the Gap between Formal and Informal Worlds in Automotive Safety-Critical Systems. In: INCOSE Symposium 2011, Denver (2011)"},{"key":"10_CR5","unstructured":"The Standish Group, Chaos Report (2003), \n                \n                  http:\/\/www.standishgroup.com\/"},{"key":"10_CR6","unstructured":"de Pablo, C.: Boostrapping Named Entity resources for adaptive question answering Systems. PHD. Universidad Carlos III de Madrid. Informatics Department, Universidad Carlos III de Madrid (2010), \n                \n                  http:\/\/hdl.handle.net\/10016\/9867"},{"key":"10_CR7","unstructured":"Requirements Quality Monitoring - Main results and outcomes. In: RAMP Workshop (June 10, 2010)"},{"key":"10_CR8","unstructured":"Fanmuy, G., et al.: Requirements Analysis and Modeling Process (RAMP) for the Development of Complex Systems. In: INCOSE Symposium 2011, Chicago (2011)"},{"key":"10_CR9","unstructured":"United States General Accounting Office, Defense Acquisition: Stronger Management practices are needed to improve DOD\u2019s software-intensive weapon acquisitions (2004)"},{"key":"10_CR10","volume-title":"Requirements Engineering","author":"E. Hull","year":"2010","unstructured":"Hull, E., Jackson, K., Dick, J.: Requirements Engineering. Springer, Heidelberg (2010)"},{"key":"10_CR11","unstructured":"Eric, H.: Systems Engineering return on investment (SE-ROI). In: INCOSE International Symposium, Chicago, IL"},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1002\/sys.20005","volume":"7","author":"J.E. Kasser","year":"2004","unstructured":"Kasser, J.E.: The First Requirements Elucidator Demonstration (FRED) Tool. Systems Engineering\u00a07(3), 243\u2013256 (2004)","journal-title":"Systems Engineering"},{"key":"10_CR13","unstructured":"Kasser, J.E., Scott, W., Tran, X.L., Nesterov, S.: A Proposed Research Programme for Determining a Metric for a Good Requirement. In: The Conference on Systems Engineering Research, Los Angeles, California, USA (2006)"},{"issue":"3","key":"10_CR14","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s00766-008-0063-7","volume":"13","author":"N. Kiyavitskaya","year":"2008","unstructured":"Kiyavitskaya, N., Zeni, N., Mich, L., Berry, D.M.: Requirements for tools for ambiguity identification and measurement in natural language requirements specifications. Requirements Engineering\u00a013(3), 207\u2013239 (2008)","journal-title":"Requirements Engineering"},{"key":"#cr-split#-10_CR15.1","unstructured":"Latimer-Livingston, N.S.: Market Share: Requirements Management, Worldwide (2003) (Executive Summary)"},{"key":"#cr-split#-10_CR15.2","unstructured":"Gartner Research (July 1, 2004),     http:\/\/www.gartner.com\/DisplayDocument?ref=g_search&id=452522"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Report CMU\/SEI-2008-SR-034","DOI":"10.1088\/1126-6708\/2008\/12\/034"},{"issue":"3","key":"10_CR17","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s00766-007-0042-4","volume":"12","author":"E. Sadraei","year":"2007","unstructured":"Sadraei, E., Aurum, A., Beydoun, G., Paech, B.: A field study of the requirements engineering practice in Australian software industry. Requirements Engineering\u00a012(3), 145\u2013162 (2007)","journal-title":"Requirements Engineering"},{"key":"10_CR18","unstructured":"Standish Group International, Extreme Chaos (2001)"},{"key":"10_CR19","unstructured":"SWEBOK Guide to the Software Engineering Body of Knowledge. IEEE Computer Society (2004), \n                \n                  http:\/\/www.swebok.org\/ironman\/pdf\/SWEBOK_Guide_2004.pdf"},{"key":"10_CR20","unstructured":"http:\/\/www.reusecompany.com\n                \n                \n               (Website last visited July 5, 2011)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Wilson, W.M., Rosenberg, L.H., Hyatt, L.E.: Automated Analysis of Requirement Specifications. In: Proceedings of the 19th International Conference on Software Engineering, ICSE 1997, Boston, Massachusetts, USA, May 17-23, pp. 161\u2013171 (1997)","DOI":"10.1145\/253228.253258"},{"key":"10_CR22","unstructured":"Withall, J.: Software Requirement Patterns. Microsoft Press (2007)"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25203-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T11:48:00Z","timestamp":1620042480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25203-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642252020","9783642252037"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25203-7_10","relation":{},"subject":[],"published":{"date-parts":[[2012]]}}}