{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,30]],"date-time":"2024-05-30T23:33:16Z","timestamp":1717111996005},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11219-009-9080-0","type":"journal-article","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T09:07:43Z","timestamp":1246007263000},"page":"37-55","source":"Crossref","is-referenced-by-count":18,"title":["A software product certification model"],"prefix":"10.1007","volume":"18","author":[{"given":"Petra","family":"Heck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martijn","family":"Klabbers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marko","family":"van Eekelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,6,27]]},"reference":[{"key":"9080_CR1","doi-asserted-by":"crossref","DOI":"10.1201\/9781420064872","volume-title":"Process algebra for parallel and distributed processing, 2008. Vol. 2","author":"M Alexander","year":"2008","unstructured":"Alexander, M., & Gardner, W. (2008). Process algebra for parallel and distributed processing, 2008. Vol. 2. London: Chapman & Hall\/CRC Computational Science."},{"key":"9080_CR2","volume-title":"Writing better requirements","author":"IF Alexander","year":"2002","unstructured":"Alexander, I. F., & Stevens, R. (2002). Writing better requirements. London: Pearson Education Ltd."},{"key":"9080_CR3","unstructured":"Alvaro, A., Santana de Almeida, E., & Lemos Meira, S. (2007). Towards a software component certification framework, quality software, 2007. QSIC\u201807, Seventh International Conference, October 11\u201312, 2007 (pp. 298\u2013303)."},{"key":"9080_CR4","volume-title":"ISO 9001:2000 for software and systems providers. An engineering approach","author":"R Bamford","year":"2004","unstructured":"Bamford, R., & Deibler, W. J. (2004). ISO 9001:2000 for software and systems providers. An engineering approach. CRC Press: US."},{"issue":"1","key":"9080_CR5","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/2.962984","volume":"34","author":"B Boehm","year":"2001","unstructured":"Boehm, B. (2001). Software defects reduction top 10 list. IEEE Computer, 34(1), 135\u2013137.","journal-title":"IEEE Computer"},{"key":"9080_CR6","unstructured":"Clayton, C. (1996). Defining review levels for software documentation. CrossTalk, Vol. 9, Nr. 1."},{"key":"9080_CR7","unstructured":"CMMI Product Team. (2001). Capability maturity model\u00ae integration (CMMISM). Version 1.1. CMMISM for systems engineering and software engineering (CMMI-SE\/SW, V1.1). Continuous Representation. CMU\/SEI-2002-TR-001, ESC-TR-2002\u20132001, December 2001."},{"key":"9080_CR10","unstructured":"ESA. (1991). Board for Software Standardisation and Control (BSSC). ESA software engineering standards. Issue 2, 1991."},{"key":"9080_CR11","unstructured":"FDA. (2002). General principles of software validation; Final guidance for industry and FDA Staff. January 11."},{"key":"9080_CR12","doi-asserted-by":"crossref","unstructured":"Firesmith, D. G. (2003). Specifying good requirements http:\/\/www.jot.fm\/issues\/issue_2003_07\/column7 . Journal of Object Technology, 2(4), 77\u201387.","DOI":"10.5381\/jot.2003.2.4.c7"},{"key":"9080_CR13","doi-asserted-by":"crossref","unstructured":"Firesmith, D. G. (2005). Quality requirements checklist http:\/\/www.jot.fm\/issues\/issue_2005_11\/column4 . Journal of Object Technology, 4(9), 31\u201338.","DOI":"10.5381\/jot.2005.4.9.c4"},{"key":"9080_CR14","unstructured":"Forsstr\u00f6m, J. (1997). Why certification of medical software would be useful? Medical Informatics Research Centre, University of Turku, Turku, December 1997; 47(3) pp. 143\u2013152."},{"key":"9080_CR15","unstructured":"Heck, P. M. (2006). A Maturity Model for Software Product Certification. In Proceedings International Workshop on Software Certification, Certsoft\u201906, Hamilton ON, Canada, August 26\u201327, 2006."},{"key":"9080_CR16","volume-title":"A Software product certification model for dependable systems. CS-Report 06\u201320","author":"PM Heck","year":"2006","unstructured":"Heck, P. M. (2006b). A Software product certification model for dependable systems. CS-Report 06\u201320. Eindhoven: Technische Universiteit Eindhoven."},{"key":"9080_CR17","first-page":"367","volume-title":"Experiences on analysis of requirements quality, proceedings of the third international conference on software engineering advances ICSEA 2008 Sliema Malta 26\u201331 Oct 2008","author":"PM Heck","year":"2008","unstructured":"Heck, P. M., & Parviainen, P. (2008). Experiences on analysis of requirements quality, proceedings of the third international conference on software engineering advances ICSEA 2008 Sliema Malta 26\u201331 Oct 2008 (pp. 367\u2013372). New York: IEEE computer society."},{"key":"9080_CR18","volume-title":"The LaQuSo software product certification model, CS-Report 08\u201303","author":"PM Heck","year":"2008","unstructured":"Heck, P. M., & van Eekelen, M. (2008). The LaQuSo software product certification model, CS-Report 08\u201303. Eindhoven: Technical University Eindhoven."},{"key":"9080_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3730-6","volume-title":"Requirements engineering","author":"E Hull","year":"2002","unstructured":"Hull, E., Jackson, K., & Dick, J. (2002). Requirements engineering. Germany: Springer."},{"key":"9080_CR20","unstructured":"Jakobsen, A., O\u2019Duffy, M., & Punter, T. (1999). Towards a maturity model for software product evaluations. In Proceedings of 10th european conference on software cost estimation (ESCOM\u201999)."},{"key":"9080_CR21","volume-title":"The rational unified process: An introduction","author":"P Kruchten","year":"2004","unstructured":"Kruchten, P. (2004). The rational unified process: An introduction (3rd ed.). Boston: Addison-Wesley.","edition":"3"},{"key":"9080_CR22","unstructured":"Lee, S.-W., Gandhi, R. A., & Wagle, S. (2007). Towards a requirements-driven workbench for supporting software certification and accreditation, software engineering for secure systems, 2007. SESS\u201807: ICSE Workshops 2007. Third International Workshop, pp. 8\u20138, 20\u201326 May 2007."},{"key":"9080_CR23","volume-title":"Software engineering guides","author":"C Mazza","year":"1996","unstructured":"Mazza, C., Fairclough, J., Melton, B., De Pablo, D., Scheffer, A., Stevens, R., et al. (1996). Software engineering guides. New Jersey: Prentice Hall."},{"key":"9080_CR24","unstructured":"mCRL2 development team. (2009). mCRL2 toolset webpage: http:\/\/mcrl2.org\/ . Consulted April 13th, 2009."},{"key":"9080_CR25","unstructured":"Nastro, J. (1997). A software product maturity model. CrossTalk, Vol. 10, Nr. 8."},{"issue":"3","key":"9080_CR26","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S1386-5056(97)00101-9","volume":"47","author":"J Niinim\u00e4ki","year":"1998","unstructured":"Niinim\u00e4ki, J., & Forsstr\u00f6m, J. (1998). Approaches for certification of electronic prescription software. International Journal of Medical Informatics, 47(3), 175\u2013182.","journal-title":"International Journal of Medical Informatics"},{"key":"9080_CR27","volume-title":"Requirements engineering: A good practices guide","author":"I Sommerville","year":"1997","unstructured":"Sommerville, I., & Sawyer, P. (1997). Requirements engineering: A good practices guide. New Jersey: Wiley."},{"key":"9080_CR28","unstructured":"The Standish Group International. (1996, 1998, 2000, 2002, 2004, and 2006). Inc The CHAOS Report, published on www.standishgroup.com . Webpage consulted on April 28, 2009."},{"key":"9080_CR8","unstructured":"Van Eekelen, M., Hoedt, Ten, S., Schreurs, R., & Usenko, Y. S. (2006). Testen van proces-communicatie en synchronisatie van LoadBalancer software via model-checking. Proceedings van de 12e Nederlandse Testdag. November 17, 2006 (pp. 23\u201325). ASML, Veldhoven."},{"key":"9080_CR9","unstructured":"Van Eekelen, M., Hoedt, Ten, S., Schreurs, R., & Usenko, Y. S. (2007). Analysis of a Session-Layer Protocol in mCRL2. Verification of a Real-Life Industrial Implementation. 12 th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007), 1\u20132 July, Berlin, 2007. Lecture Notes Computer Science. Springer."},{"key":"9080_CR29","unstructured":"Wegner, E. (1999). Quality of software packages: the forthcoming international standard, National Research Center for Computer Science GMD, D-52754 Sankt Augustin, Germany, Vol. 20, No. 4\u20135 (208 p.), pp. 349\u2013354."},{"key":"9080_CR30","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0164-1212(97)00069-1","volume":"38","author":"D Welzel","year":"1997","unstructured":"Welzel, D., & Hausen, H.-L. (1997). Practical concurrent software evaluation for certification. Journal Systems and Software, 38, 71\u201383.","journal-title":"Journal Systems and Software"},{"key":"9080_CR31","volume-title":"Software requirements","author":"KE Wiegers","year":"2003","unstructured":"Wiegers, K. E. (2003). Software requirements (2nd ed.). Redmond, Washington: Microsoft Press.","edition":"2"},{"key":"9080_CR32","volume-title":"More about software requirements: Thorny issues and practical advice","author":"KE Wiegers","year":"2006","unstructured":"Wiegers, K. E. (2006). More about software requirements: Thorny issues and practical advice. Redmond, Washington: Microsoft Press."},{"key":"9080_CR33","volume-title":"The requirements engineering handbook","author":"RR Young","year":"2004","unstructured":"Young, R. R. (2004). The requirements engineering handbook. Norwood, MA: Artech House."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-009-9080-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T14:33:56Z","timestamp":1550759636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-009-9080-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,27]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["9080"],"URL":"https:\/\/doi.org\/10.1007\/s11219-009-9080-0","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6,27]]}}}