{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:01:24Z","timestamp":1725562884717},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156502"},{"type":"electronic","value":"9783642156519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15651-9_9","type":"book-chapter","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T05:12:19Z","timestamp":1281417139000},"page":"112-125","source":"Crossref","is-referenced-by-count":3,"title":["Benchmarking Software Requirements Documentation for Space Application"],"prefix":"10.1007","author":[{"given":"Paulo C.","family":"V\u00e9ras","sequence":"first","affiliation":[]},{"given":"Emilia","family":"Villani","sequence":"additional","affiliation":[]},{"given":"Ana Maria","family":"Ambr\u00f3sio","sequence":"additional","affiliation":[]},{"given":"Rodrigo P.","family":"Pontes","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Vieira","sequence":"additional","affiliation":[]},{"given":"Henrique","family":"Madeira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"crossref","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)","journal-title":"IEEE Computer"},{"key":"9_CR2","unstructured":"Mission critical systems: defense attempting to address major software challenges. US General Accounting Office (1992)"},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C.L. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology\u00a05(3), 231\u2013261 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"3","key":"9_CR4","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/j.datak.2006.06.009","volume":"61","author":"M. Kim","year":"2007","unstructured":"Kim, M., Park, S., Sugumaran, V., Yang, H.: Managing requirements conflicts in software product lines: a goal and scenario based approach. Data and Knowledge Engineering\u00a061(3), 417\u2013432 (2007)","journal-title":"Data and Knowledge Engineering"},{"issue":"4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MS.1998.687936","volume":"15","author":"A.M. Davis","year":"1998","unstructured":"Davis, A.M.: Predictions and Farewells. IEEE Software\u00a015(4), 6\u20139 (1998)","journal-title":"IEEE Software"},{"key":"9_CR6","unstructured":"ECSS system: description and implementation, ECSS-S-00A Standard (2005)"},{"key":"9_CR7","unstructured":"ECSS space engineering: ground systems and operations \u2013 telemetry and telecommand packet utilization, ECSS-E-70-41A standard (2003)"},{"issue":"4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"564","DOI":"10.2514\/1.11950","volume":"41","author":"N.G. Leveson","year":"2004","unstructured":"Leveson, N.G.: The role of software in spacecraft accidents. AIAA Journal of Spacecraft and Rockets\u00a041(4), 564\u2013575 (2004)","journal-title":"AIAA Journal of Spacecraft and Rockets"},{"key":"9_CR9","volume-title":"9th ESA Data System in Aerospace (DASIA)","author":"A.M. Ambrosio","year":"2005","unstructured":"Ambrosio, A.M., Martins, E., Vijaykumar, N.L., Carvalho, S.V.: Systematic generation of test and fault cases for space application validation. In: 9th ESA Data System in Aerospace (DASIA), Edinburgh, Scotland, May 30 - June 2, ESA Publications, Noordwijk (2005)"},{"key":"9_CR10","unstructured":"Halligan, R.J.: Requirements metrics: the basis of informed requirements engineering management. In: Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW 1993), Calvados, MD, USA (1993)"},{"key":"9_CR11","unstructured":"Davis, A.M.: Just enough requirements management: where software development meets marketing. Dorset House Publishing Company (2005)"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-02152-7_4","volume":"32","author":"E. Knauss","year":"2009","unstructured":"Knauss, E., Boustani, C., Flohr, T.: Investigating the impact of software requirements specification quality on project success. Product-Focused Software Process Improvement\u00a032 Part 2, 28\u201342 (2009)","journal-title":"Product-Focused Software Process Improvement"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Hofmann, H.F., Lehner, F.: Requirements engineering as a success factor in software projects. IEEE Software (July\/August 2001)","DOI":"10.1109\/MS.2001.936219"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/52.506460","volume":"13","author":"B. Boehm","year":"1996","unstructured":"Boehm, B., In, H.: Identifying quality-requirement conflicts. IEEE Software\u00a013(2), 25\u201335 (1996)","journal-title":"IEEE Software"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Wilson, W.M., Rosenberg, J.H., Hyatt, L.E.: Automated analysis of requirement specifications. In: 19th international conference on Software engineering, Boston, Massachusetts, United States, May 17-23, pp. 161\u2013171 (1997)","DOI":"10.1145\/253228.253258"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Gilliam, D.P., Wolfe, T.L., Sherif, J.S., Bishop, M.: Software security checklist for the software life cycle. In: Proceedings of the 12th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 243\u2013248 (June 2003)","DOI":"10.1109\/ENABL.2003.1231415"},{"key":"9_CR17","volume-title":"Eighth Pacific Rim International Symposium on Dependable Computing (PRDC 2001)","author":"F.T. Sheldon","year":"2001","unstructured":"Sheldon, F.T., Kim, H.Y., Zhou, Z.: A case study: validation of guidance control software requirements for completeness, consistency and fault tolerance. In: Eighth Pacific Rim International Symposium on Dependable Computing (PRDC 2001), Seoul, Korea, December 17-19, IEEE Computer Society, Los Alamitos (2001)"},{"key":"9_CR18","unstructured":"Zhu, X., Jin, Z.: Detecting of requirements inconsistency: an ontology-based approach. In: Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), Shanghai, China, September 21-23 (2005)"},{"key":"9_CR19","unstructured":"Transaction Processing Performance Council, \n                      \n                        http:\/\/www.tpc.org"},{"key":"9_CR20","unstructured":"Spainhower, L., Kanoun, K. (eds.): Dependability Benchmarking for Computer Systems. Wiley-IEEE Computer Society Press, Hoboken (2008) ISBN: 9780470230558"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Madeira, H., Some, R., Moreira, F., Costa, D., Rennels, D.: Experimental evaluation of a COTS system for space applications. In: The International Conference on Dependable Systems and Networks, Bethesda, Maryland, USA (2002)","DOI":"10.1109\/DSN.2002.1028916"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Ruiz, J.C., Yuste, P., Gil, P., Lemus, L.: On benchmarking the dependability of automotive engine control applications. In: IEEE\/IFIP International Conference on Dependable Systems and Networks, Florence, Italy (2004)","DOI":"10.1109\/DSN.2004.1311956"},{"key":"9_CR23","unstructured":"Koopman, P., Madeira, H.: Dependability benchmarking & prediction: a grand challenge technology problem. In: 1st IEEE Int. Workshop on Real-Time Mission-Critical Systems: Grand Challenge Problems, Phoenix, Arizona, USA (November 30, 1999)"},{"issue":"4","key":"9_CR24","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1023\/A:1008930105477","volume":"8","author":"E. Martins","year":"1999","unstructured":"Martins, E., Sabi\u00e3o, S.B., Ambrosio, A.M.: ConData: a tool for automating specification-based test case generation for communication systems. Software Quality Journal\u00a08(4), 303\u2013319 (1999)","journal-title":"Software Quality Journal"},{"key":"9_CR25","unstructured":"V\u00e9ras, P.C., et al.: Checklist of the software requirements documentation benchmark for space application, \n                      \n                        http:\/\/eden.dei.uc.pt\/~mvieira"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15651-9_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T09:00:29Z","timestamp":1619773229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15651-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156502","9783642156519"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15651-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}