{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:26:49Z","timestamp":1743118009200,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031185557"},{"type":"electronic","value":"9783031185564"}],"license":[{"start":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T00:00:00Z","timestamp":1664323200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T00:00:00Z","timestamp":1664323200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-18556-4_7","type":"book-chapter","created":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T20:04:22Z","timestamp":1675713862000},"page":"121-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Inspections of Software Product Lines"],"prefix":"10.1007","author":[{"given":"Giovanna","family":"Bettin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo Theis","family":"Geraldi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edson","family":"OliveiraJr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,28]]},"reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/j.aej.2014.06.001","volume":"53","author":"AA Alshazly","year":"2014","unstructured":"Alshazly, A.A., Elfatatry, A.M., Abougabal, M.S.: Detecting defects in software requirements specification. Alexandria Eng. J. 53(3), 513\u2013527 (2014). https:\/\/doi.org\/10.1016\/j.aej.2014.06.001","journal-title":"Alexandria Eng. J."},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00368702","volume":"1","author":"VR Basili","year":"1996","unstructured":"Basili, V.R., Green, S., Laitenberger, O., Lanubile, F., Shull, F., S\u00f8rumg\u00e5rd, S., Zelkowitz, M.V.: The empirical investigation of perspective-based reading. Empirical Softw. Eng. 1(2), 133\u2013164 (1996)","journal-title":"Empirical Softw. Eng."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bettin, G.C.S., Geraldi, R.T., OliveiraJr, E.: Experimental evaluation of the SMartyCheck techinique for inspecting defects in UML component diagrams. In: Proceedings of the Brazilian Symposium on Software Quality, pp. 101\u2013110. ACM Press (2018). https:\/\/doi.org\/10.1145\/3275245.3275256","DOI":"10.1145\/3275245.3275256"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Bettin, G.C.S., OliveiraJr, E.: SMartyPerspective: a perspective-based inspection technique for software product lines. In: Proceedings of the Brazilian Symposium on Software Engineering, pp. 90\u201394. ACM Press (2021). https:\/\/doi.org\/10.1145\/3474624.3474626","DOI":"10.1145\/3474624.3474626"},{"issue":"5","key":"7_CR5","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1109\/TSE.2003.1199069","volume":"29","author":"S Biffl","year":"2003","unstructured":"Biffl, S., Halling, M.: Investigating the defect detection effectiveness and cost benefit of nominal inspection teams. IEEE Trans. Softw. Eng. 29(5), 385\u2013397 (2003). https:\/\/doi.org\/10.1109\/TSE.2003.1199069","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR6","unstructured":"Ciolkowski, M., Differding, C., Laitenberger, O., M\u00fcnch, J.: Empirical investigation of perspective-based reading: a replicated experiment. Fraunhofer Institute for Experimental Software Engineering (1997)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Corbin, J.M., Strauss, A.L.: Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory. Sage Publishing (2008)","DOI":"10.4135\/9781452230153"},{"key":"7_CR8","volume-title":"Clark","author":"JW Creswell","year":"2010","unstructured":"Creswell, J.W., Clark, V.L.P.: Designing and Conducting Mixed Methods Research. Sage Publishing (2010)"},{"key":"7_CR9","unstructured":"Cunha, R., Conte, T., de Almeida, E.S., Maldonado, J.C.: A Set of inspection techniques on software product line models. In: Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering, pp. 657\u2013662 (2012)"},{"issue":"1","key":"7_CR10","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1109\/TSE.1986.6312976","volume":"12","author":"M Fagan","year":"1986","unstructured":"Fagan, M.: Advances in software inspections. IEEE Trans. Softw. Eng. 12(1), 744\u2013751 (1986). https:\/\/doi.org\/10.1109\/TSE.1986.6312976","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Fagan, M.: Design and code inspections to reduce errors in program development. In: Software Pioneers, 575\u2013607, Springer, Berlin (2002). https:\/\/doi.org\/10.1007\/978-3-642-59412-0_35","DOI":"10.1007\/978-3-642-59412-0_35"},{"key":"7_CR12","volume-title":"SMartyCheck: a checklist-based inspection technique for use case and class diagrams of SMarty approach","author":"RT Geraldi","year":"2015","unstructured":"Geraldi, R.T.: SMartyCheck: a checklist-based inspection technique for use case and class diagrams of SMarty approach. Master Dissertation, State University of Maring\u00e1 (2015). http:\/\/repositorio.uem.br:8080\/jspui\/handle\/1\/2558"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Geraldi, R.T., OliveiraJr, E., Conte, T., Steinmacher, I.: Checklist-based inspection of SMarty variability models\u2014proposal and empirical feasibility study. In: Proceedings of the 17th International Conference on Enterprise Information Systems, pp. 268\u2013276. Scitepress (2015). https:\/\/doi.org\/10.5220\/0005350102680276","DOI":"10.5220\/0005350102680276"},{"issue":"10","key":"7_CR14","doi-asserted-by":"publisher","first-page":"470","DOI":"10.3844\/jcssp.2017.470.495","volume":"13","author":"RT Geraldi","year":"2017","unstructured":"Geraldi, R.T., OliveiraJr, E.: Defect types and software inspection techniques: a systematic mapping study. J. Comput. Sci. 13(10), 470\u2013495 (2017). https:\/\/doi.org\/10.3844\/jcssp.2017.470.495","journal-title":"J. Comput. Sci."},{"issue":"5","key":"7_CR15","doi-asserted-by":"publisher","first-page":"379","DOI":"10.17706\/jsw.12.5.379-392","volume":"12","author":"RT Geraldi","year":"2017","unstructured":"Geraldi, R.T., OliveiraJr, E.: Towards initial evidence of SMartyCheck for defect detection on product-line use case and class diagrams. J. Softw. 12(5), 379\u2013392 (2017). https:\/\/doi.org\/10.17706\/jsw.12.5.379--392","journal-title":"J. Softw."},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Halling, M., Biffl, S., Grechenig, T., Kohle, M.: Using reading techniques to focus inspection performance. In: Proceedings 27th EUROMICRO Conference: A Net Odyssey, pp. 248\u2013257. IEEE, Piscataway (2001). https:\/\/doi.org\/10.1109\/EURMIC.2001.952461","DOI":"10.1109\/EURMIC.2001.952461"},{"key":"7_CR17","doi-asserted-by":"publisher","unstructured":"Hayes, J., Raphael, I., Holbrook, E., Pruett, D.: A case history of International Space Station requirement faults. In: Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems, p. 10. IEEE Computer Society (2006). https:\/\/doi.org\/10.1109\/ICECCS.2006.1690351","DOI":"10.1109\/ICECCS.2006.1690351"},{"key":"7_CR18","volume-title":"T\u00e9cnicas de leitura de especifica\u00e7\u00e3o de requisitos de software: estudos emp\u00edricos e ger\u00eancia de conhecimento em ambientes acad\u00eamico e industrial","author":"E H\u00f6hn","year":"2003","unstructured":"H\u00f6hn, E.: T\u00e9cnicas de leitura de especifica\u00e7\u00e3o de requisitos de software: estudos emp\u00edricos e ger\u00eancia de conhecimento em ambientes acad\u00eamico e industrial. Master Dissertation, Universidade de S\u00e3o Paulo (2003)"},{"key":"7_CR19","unstructured":"IEEE: Recommended Practice for Software Requirements Specifications, Standard 830\u20131998 (1998). http:\/\/standards.ieee.org\/findstds\/standard\/830-1998.html"},{"key":"7_CR20","unstructured":"IEEE: Software Reviews, Standard 1028\u20131997 (1998). http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?tp=&arnumber=663254"},{"key":"7_CR21","unstructured":"IEEE: System and Software Verification and Validation, Standard 1012\u20132012 (2012). https:\/\/standards.ieee.org\/standard\/1012-2012.html"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Laitenberger, O, Atkinson, C.: Generalizing perspective-based inspection to handle object-oriented development artifacts. In: Proceedings of the International Conference on Software Engineering, pp. 494\u2013503. ACM Press (1999). https:\/\/doi.org\/10.1145\/302405.302680","DOI":"10.1145\/302405.302680"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1023\/A:1009805707387","volume":"6","author":"O Laitenberger","year":"2001","unstructured":"Laitenberger, O.: Cost-effective detection of software defects through perspective-based inspections. Empirical Softw. Eng. 6, 81\u201384 (2001). https:\/\/doi.org\/10.1023\/A:1009805707387","journal-title":"Empirical Softw. Eng."},{"key":"7_CR24","unstructured":"Laitenberger, O., Kohler, K.: The systematic adaptation of perspective-based inspections to software development projects. In: 1st Workshop on Inspection in Software Engineering, McMaster University, pp. 105\u2013114 (2001)"},{"key":"7_CR25","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"A Lamsweerde","year":"2009","unstructured":"Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, London (2009)"},{"key":"7_CR26","doi-asserted-by":"publisher","unstructured":"Lanubile, F., Mallardo, T., Calefato, F., Denger, C., Ciolkowski, M.: Assessing the impact of active guidance for defect detection: a replicated experiment. In: Proceedings of the 10th International Symposium on Software Metrics, pp. 269\u2013278. IEEE, Piscataway (2004). https:\/\/doi.org\/10.1109\/METRIC.2004.1357909","DOI":"10.1109\/METRIC.2004.1357909"},{"key":"7_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71437-8","volume-title":"Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering","author":"FJ Linden","year":"2007","unstructured":"Linden, F.J., Schmid, K., Rommes, E.: Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer, Berlin (2007)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Mirsky, S., Hayes, J., Miller, L.: Guidelines for the verification and validation of expert system software and conventional software. Technical report (1995). https:\/\/doi.org\/10.2172\/42512","DOI":"10.2172\/42510"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Oladele, R., Adedayo, H.: On empirical comparison of checklist-based reading and adhoc reading for code inspection. Int. J. Comput. Appl. 87(1) (2014). https:\/\/doi.org\/10.5120\/15174--3251","DOI":"10.5120\/15174-3251"},{"key":"7_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Berlin (2005)"},{"issue":"6","key":"7_CR31","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1109\/32.391380","volume":"21","author":"A Porter","year":"1995","unstructured":"Porter, A., Votta, L.G., Basili, V.R.: Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Trans. Softw. Eng. 21(6), 563\u2013575 (1995). https:\/\/doi.org\/10.1109\/32.391380","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"7_CR32","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1449603.1449609","volume":"33","author":"D Rombach","year":"2008","unstructured":"Rombach, D., Ciolkowski, M., Jeffery, R., Laitenberger, O., McGarry, F., Shull, F.: Impact of research on practice in the field of inspections, reviews and walkthroughs: learning from successful industrial uses. ACM SIGSOFT Softw. Eng. Notes 33(6), 26\u201335 (2008). https:\/\/doi.org\/10.1145\/1449603.1449609","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"9","key":"7_CR33","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/S0950-5849(03)00044-2","volume":"45","author":"G Sabaliauskaite","year":"2003","unstructured":"Sabaliauskaite, G., Matsukawa, F., Kusumoto, S., Inoue, K.: Further investigations of reading techniques for object-oriented design inspection. Inform. Softw. Technol. 45(9), 571\u2013585 (2003). https:\/\/doi.org\/10.1016\/S0950-5849(03)00044-2","journal-title":"Inform. Softw. Technol."},{"issue":"7","key":"7_CR34","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/2.869376","volume":"33","author":"F Shull","year":"2000","unstructured":"Shull, F., Rus, I., Basili, V.: How perspective-based reading can improve requirements inspections. Computer 33(7), 73\u201379 (2000). https:\/\/doi.org\/10.1109\/2.869376","journal-title":"Computer"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Silva, L.F., OliveiraJr, E.: SMartyModeling: an environment for engineering UML-based software product lines. In: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, pp. 1\u20135. ACM, New York (2021). https:\/\/doi.org\/10.1145\/3442391.3442397","DOI":"10.1145\/3442391.3442397"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Souza, I.S., da Silva Gomes, G.S., da Mota Silveira Neto, P.A., do Carmo Machado, I., de Almeida, E.S., de Lemos Meira, S.R.: Evidence of software inspection on feature specification for software product lines. J. Syst. Softw. 86(5), 1172\u20131190 (2013). https:\/\/doi.org\/10.1016\/j.jss.2012.11.044","DOI":"10.1016\/j.jss.2012.11.044"},{"key":"7_CR37","unstructured":"Taroda, M.H., OliveiraJr, E., Geraldi, R.T.: SMartyCheckTool: uma Ferramenta para Detec\u00e7\u00e3o e Remo\u00e7\u00e3o de Defeitos em Modelos SMarty de Linhas de Produto de Software. In: XXVI Encontro Anual de Inicia\u00e7\u00e3o Cient\u00edfica, pp. 1\u20134. State University of Maring\u00e1 (2017)"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Travassos, G., Shull, F., Fredericks, M., Basili, V.R.: Detecting defects in object-oriented designs: using reading techniques to increase software quality. In: Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, vol. 34, no. 10, pp. 47\u201356. ACM Press, New York (1999). https:\/\/doi.org\/10.1145\/320384.320389","DOI":"10.1145\/320385.320389"},{"key":"7_CR39","doi-asserted-by":"publisher","unstructured":"Travassos, G. H.: Software defects: stay away from them. do inspections! In: Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, pp. 1\u20137. IEEE, Piscataway (2014). https:\/\/doi.org\/10.1109\/QUATIC.2014.8","DOI":"10.1109\/QUATIC.2014.8"},{"key":"7_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, Berlin (2012)"},{"key":"7_CR41","doi-asserted-by":"crossref","unstructured":"Zhu, Y.: Software Reading Techniques: Twenty Techniques for More Effective Software Review and Inspection. Apress (2016)","DOI":"10.1007\/978-1-4842-2346-8"}],"container-title":["UML-Based Software Product Line Engineering with SMarty"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-18556-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T21:09:50Z","timestamp":1675717790000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-18556-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,28]]},"ISBN":["9783031185557","9783031185564"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-18556-4_7","relation":{},"subject":[],"published":{"date-parts":[[2022,9,28]]},"assertion":[{"value":"28 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}