{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T05:38:33Z","timestamp":1673415513104},"reference-count":89,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2018,12,18]],"date-time":"2018-12-18T00:00:00Z","timestamp":1545091200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s10270-018-00704-x","type":"journal-article","created":{"date-parts":[[2018,12,18]],"date-time":"2018-12-18T01:22:07Z","timestamp":1545096127000},"page":"2875-2906","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Certifying delta-oriented programs"],"prefix":"10.1007","volume":"18","author":[{"given":"V\u00edtor","family":"Rodrigues","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Donetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,18]]},"reference":[{"key":"704_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11799573_14","volume-title":"Reduced Certificates for Abstraction-Carrying Code","author":"E Albert","year":"2006","unstructured":"Albert, E., Arenas, P., Puebla, G., Hermenegildo, M.: Reduced Certificates for Abstraction-Carrying Code, pp. 163\u2013178. Springer, Berlin (2006). \n                    https:\/\/doi.org\/10.1007\/11799573_14"},{"key":"704_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., Kstner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Berlin (2013). Incorporated"},{"key":"704_CR3","volume-title":"SUSE Linux. Technical report","author":"J Arndt","year":"2006","unstructured":"Arndt, J., Behlert, S., et al.: SUSE Linux. Technical report. Novel Inc, Washington (2006)"},{"key":"704_CR4","doi-asserted-by":"publisher","unstructured":"Ayavoo, D., Pont, M.J., Parker, S.: Observing the development of a reliable embedded system. In: Proceedings of the 10th Ada-Europe International Conference on Reliable Software Technologies, Springer, Berlin. Ada-Europe\u201905, pp. 167\u2013179 (2005). \n                    https:\/\/doi.org\/10.1007\/11499909_14","DOI":"10.1007\/11499909_14"},{"key":"704_CR5","unstructured":"Bailey, J.W., Basili, V.R.: A meta-model for software development resource expenditures. In: Proceedings of the 5th International Conference on Software Engineering. IEEE Press, Piscataway, ICSE \u201981, pp. 107\u2013116 (1981)"},{"issue":"6","key":"704_CR6","doi-asserted-by":"publisher","first-page":"728","DOI":"10.1109\/TSE.1984.5010301","volume":"10","author":"VR Basili","year":"1984","unstructured":"Basili, V.R., Weiss, D.M.: A methodology for collecting valid software engineering data. IEEE Trans. Softw. Eng. 10(6), 728\u2013738 (1984). \n                    https:\/\/doi.org\/10.1109\/TSE.1984.5010301","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"7","key":"704_CR7","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1109\/TSE.1986.6312975","volume":"12","author":"VR Basili","year":"1986","unstructured":"Basili, V.R., Selby, R.W., Hutchens, D.H.: Experimentation in software engineering. IEEE Trans. Softw. Eng. 12(7), 733\u2013743 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"704_CR8","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D Batory","year":"2004","unstructured":"Batory, D., Sarvela, J., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Softw. Eng. 30(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"704_CR9","doi-asserted-by":"publisher","unstructured":"Bavota, G.: Using structural and semantic information to support software refactoring. In: 2012 34th International Conference on Software Engineering (ICSE), pp. 1479\u20131482 (2012). \n                    https:\/\/doi.org\/10.1109\/ICSE.2012.6227057","DOI":"10.1109\/ICSE.2012.6227057"},{"key":"704_CR10","doi-asserted-by":"publisher","unstructured":"Berger, T., Rublack, R., Nair, D., Atlee, J.M., Becker, M., Czarnecki, K., W\u0105sowski, A.: A survey of variability modeling in industrial practice. In: Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems, ACM, New York, VaMoS \u201913, pp. 7:1\u20137:8 (2013). \n                    https:\/\/doi.org\/10.1145\/2430502.2430513","DOI":"10.1145\/2430502.2430513"},{"issue":"1","key":"704_CR11","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/1452044.1452047","volume":"31","author":"C Bernardeschi","year":"2008","unstructured":"Bernardeschi, C., Francesco, N.D., Lettieri, G., Martini, L., Masci, P.: Decomposing bytecode verification by abstract interpretation. ACM Trans Program Lang Syst 31(1), 3:1\u20133:63 (2008). \n                    https:\/\/doi.org\/10.1145\/1452044.1452047","journal-title":"ACM Trans Program Lang Syst"},{"key":"704_CR12","volume-title":"Interactive Theorem Proving and Program Development: Coq\u2019Art The Calculus of Inductive Constructions","author":"Y Bertot","year":"2010","unstructured":"Bertot, Y., Castran, P.: Interactive Theorem Proving and Program Development: Coq\u2019Art The Calculus of Inductive Constructions, 1st edn. Springer, Berlin (2010)","edition":"1"},{"issue":"6","key":"704_CR13","doi-asserted-by":"publisher","first-page":"3117","DOI":"10.1007\/s10664-017-9510-8","volume":"22","author":"CP Bezemer","year":"2017","unstructured":"Bezemer, C.P., Mcintosh, S., Adams, B., German, D.M., Hassan, A.E.: An empirical study of unspecified dependencies in make-based build systems. Empirical Softw Engg 22(6), 3117\u20133148 (2017). \n                    https:\/\/doi.org\/10.1007\/s10664-017-9510-8","journal-title":"Empirical Softw Engg"},{"key":"704_CR14","volume-title":"Handbook of Satisfiability Volume 185: Frontiers in Artificial Intelligence and Applications","author":"A Biere","year":"2009","unstructured":"Biere, A., Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability Volume 185: Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam (2009)"},{"issue":"4","key":"704_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1177352.1177354","volume":"38","author":"L Bordeaux","year":"2006","unstructured":"Bordeaux, L., Hamadi, Y., Zhang, L.: Propositional satisfiability and constraint programming: a comparative survey. ACM Comput. Surv. 38(4), 1\u201362 (2006). \n                    https:\/\/doi.org\/10.1145\/1177352.1177354","journal-title":"ACM Comput. Surv."},{"issue":"5","key":"704_CR16","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/52.536457","volume":"13","author":"AW Brown","year":"1996","unstructured":"Brown, A.W., Wallnau, K.C.: A framework for evaluating software technology. IEEE Softw. 13(5), 39\u201349 (1996). \n                    https:\/\/doi.org\/10.1109\/52.536457","journal-title":"IEEE Softw."},{"key":"704_CR17","volume-title":"Computer Systems: A Programmer\u2019s Perspective","author":"RE Bryant","year":"2010","unstructured":"Bryant, R.E., O\u2019Hallaron, D.R.: Computer Systems: A Programmer\u2019s Perspective, 2nd edn. Addison-Wesley Publishing Company, New York (2010)","edition":"2"},{"key":"704_CR18","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/3054924","volume":"50:16:1\u201316","author":"N Burow","year":"2017","unstructured":"Burow, N., Carr, S.A., Brunthaler, S., Payer, M., Nash, J., Larsen, P., Franz, M.: Control-flow integrity: precision, security, and performance. ACM Comput. Surv. 50:16:1\u201316, 33 (2017). \n                    https:\/\/doi.org\/10.1145\/3054924","journal-title":"ACM Comput. Surv."},{"key":"704_CR19","volume-title":"Autotools: A Practitioner\u2019s Guide to GNU Autoconf, Automake, and Libtool","author":"J Calcote","year":"2010","unstructured":"Calcote, J.: Autotools: A Practitioner\u2019s Guide to GNU Autoconf, Automake, and Libtool. No Starch Press, San Francisco (2010)"},{"key":"704_CR20","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1086\/208920","volume":"9","author":"B Calder","year":"1982","unstructured":"Calder, B., Phillips, L.W., Tybout, A.: The concept of external validity. J. Consum. Res. 9, 240\u2013244 (1982)","journal-title":"J. Consum. Res."},{"key":"704_CR21","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-36413-7_16","volume-title":"Security in Communication Networks","author":"L Catuogno","year":"2003","unstructured":"Catuogno, L., Visconti, I.: A format-independent architecture for run-time integrity checking of executable code. In: Cimato, S., Persiano, G., Galdi, C. (eds.) Security in Communication Networks, pp. 219\u2013233. Springer, Berlin (2003)"},{"key":"704_CR22","doi-asserted-by":"publisher","unstructured":"Chesta, C., Damiani, F., Dobriakova, L., Guernieri, M., Martini, S., Nieke, M., Rodrigues, V., Schuster, S.: A toolchain for delta-oriented modeling of software product lines. In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications\u20147th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10\u201314, 2016, Proceedings, Part II, pp. 497\u2013511 (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-319-47169-3_40","DOI":"10.1007\/978-3-319-47169-3_40"},{"key":"704_CR23","volume-title":"Software Product Lines: Practices and Patterns","author":"P Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison Wesley Longman, Boston (2001)"},{"key":"704_CR24","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, ACM, New York, NY, USA, POPL \u201977, pp. 238\u2013252 (1977). \n                    https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"704_CR25","doi-asserted-by":"crossref","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, TACAS\u201908\/ETAPS\u201908, pp. 337\u2013340 (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"704_CR26","unstructured":"DeTreville, J., Leijen, D., Swierstra, W.: Dependable software deployment. Technical report, Microsoft Research (2006)"},{"key":"704_CR27","unstructured":"Donald, J.: Improved Portability of Shared Libraries. Technical report, Princeton University, Princeton (2003)"},{"key":"704_CR28","volume-title":"How to Write Shared Libraries. Technical Report","author":"U Drepper","year":"2011","unstructured":"Drepper, U.: How to Write Shared Libraries. Technical Report. Red Hat Inc, Raleigh (2011)"},{"key":"704_CR29","doi-asserted-by":"publisher","unstructured":"Drusinsky, D.: Chapter 1\u2014formal requirements and finite automata overview. In: Drusinsky, D. (ed) Modeling and Verification Using UML Statecharts, Newnes, Burlington, pp. 1\u201341 (2006). \n                    https:\/\/doi.org\/10.1016\/B978-075067949-7\/50003-9","DOI":"10.1016\/B978-075067949-7\/50003-9"},{"key":"704_CR30","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/B978-075067949-7\/50004-0","volume-title":"Modeling and Verification Using UML Statecharts","author":"D Drusinsky","year":"2006","unstructured":"Drusinsky, D.: Chapter 2\u2014Statecharts. In: Drusinsky, D. (ed.) Modeling and Verification Using UML Statecharts, pp. 43\u2013102. Newnes, Burlington (2006). \n                    https:\/\/doi.org\/10.1016\/B978-075067949-7\/50004-0"},{"issue":"2","key":"704_CR31","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/1119479.1119483","volume":"28","author":"S Ducasse","year":"2006","unstructured":"Ducasse, S., Nierstrasz, O., Sch\u00e4rli, N., Wuyts, R., Black, A.P.: Traits: a mechanism for fine-grained reuse. ACM Trans. Program Lang. Syst. 28(2), 331\u2013388 (2006). \n                    https:\/\/doi.org\/10.1145\/1119479.1119483","journal-title":"ACM Trans. Program Lang. Syst."},{"key":"704_CR32","unstructured":"European Commission (2017) eCall: Time saved = lives saved. \n                    https:\/\/ec.europa.eu\/digital-single-market\/en\/ecall-time-saved-lives-saved"},{"key":"704_CR33","volume-title":"Software Metrics: A Rigorous Approach","author":"NE Fenton","year":"1991","unstructured":"Fenton, N.E.: Software Metrics: A Rigorous Approach. Chapman & Hall Ltd, London (1991)"},{"key":"704_CR34","volume-title":"PGP: Pretty Good Privacy","author":"S Garfinkel","year":"1996","unstructured":"Garfinkel, S.: PGP: Pretty Good Privacy, 1st edn. O\u2019Reilly & Associates Inc, Sebastopol (1996)","edition":"1"},{"key":"704_CR35","doi-asserted-by":"publisher","unstructured":"Ge, Y., de\u00a0Moura, L.: Complete instantiation for quantified formulas in satisfiabiliby modulo theories. In: Bouajjani, A., Maler, O. (eds) Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26\u2013July 2, 2009. Proceedings, Springer, Berlin, pp. 306\u2013320 (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-02658-4_25","DOI":"10.1007\/978-3-642-02658-4_25"},{"key":"704_CR36","unstructured":"GmbH VSI (2018) RTT-DCC: Data and Control Coupling Analyser. \n                    https:\/\/www.verified.de\/products\/rtt-dcc\/\n                    \n                  . Accessed 31 July 2018"},{"key":"704_CR37","volume-title":"The Java Language Specification, Java SE 8 Edition","author":"J Gosling","year":"2014","unstructured":"Gosling, J., Joy, B., Steele, G.L., Bracha, G., Buckley, A.: The Java Language Specification, Java SE 8 Edition, 1st edn. Addison-Wesley Professional, Boston (2014)","edition":"1"},{"key":"704_CR38","doi-asserted-by":"crossref","unstructured":"Guo, C., Ren, S., Jiang, Y., Wu, P.L., Sha, L., Berlin, R.B. Jr: Transforming medical best practice guidelines to executable and verifiable statechart models. In: Proceedings of the 7th International Conference on Cyber-Physical Systems. IEEE Press, Piscataway, ICCPS \u201916, pp 34:1\u201334:10 (2016)","DOI":"10.1109\/ICCPS.2016.7479121"},{"key":"704_CR39","doi-asserted-by":"publisher","unstructured":"Haber, A., Rendel, H., Rumpe, B., Schaefer, I., van der Linden, F.: Hierarchical variability modeling for software architectures. In: Proceedings of the 15th International Software Product Line Conference, IEEE, pp. 150\u2013159(2011). \n                    https:\/\/doi.org\/10.1109\/SPLC.2011.28","DOI":"10.1109\/SPLC.2011.28"},{"key":"704_CR40","unstructured":"Habets, T.: Shared libraries diamond problem (2012). \n                    https:\/\/blog.habets.se\/2012\/05\/Shared-libraries-diamond-problem.html\n                    \n                  . Accessed 31 July 2018"},{"issue":"4","key":"704_CR41","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/MC.2008.123","volume":"41","author":"S Hallsteinsen","year":"2008","unstructured":"Hallsteinsen, S., Hinchey, M., Park, S., Schmid, K.: Dynamic software product lines. Computer 41(4), 93\u201395 (2008). \n                    https:\/\/doi.org\/10.1109\/MC.2008.123","journal-title":"Computer"},{"key":"704_CR42","volume-title":"Modeling Reactive Systems with Statecharts: The Statemate Approach","author":"D Harel","year":"1998","unstructured":"Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The Statemate Approach, 1st edn. McGraw-Hill Inc, New York (1998)","edition":"1"},{"key":"704_CR43","doi-asserted-by":"publisher","unstructured":"Hawkins, R.D., Kelly, T.P.: Software safety assurance\u2014what is sufficient? In: 4th IET International Conference on Systems Safety 2009. Incorporating the SaRS Annual Conference, pp. 1\u20136 (2009). \n                    https:\/\/doi.org\/10.1049\/cp.2009.1542","DOI":"10.1049\/cp.2009.1542"},{"key":"704_CR44","doi-asserted-by":"publisher","unstructured":"Hermenegildo, M.V., Albert, E., L\u00f3pez-Garc\u00eda, P., Puebla, G.: Abstraction carrying code and resource-awareness. In: Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, ACM, New York, PPDP \u201905, pp. 1\u201311 (2005). \n                    https:\/\/doi.org\/10.1145\/1069774.1069775","DOI":"10.1145\/1069774.1069775"},{"issue":"8","key":"704_CR45","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1109\/TSE.1985.232524","volume":"11","author":"DH Hutchens","year":"1985","unstructured":"Hutchens, D.H., Basili, V.R.: System structure analysis: clustering with data bindings. IEEE Trans. Softw. Eng. 11(8), 749\u2013757 (1985). \n                    https:\/\/doi.org\/10.1109\/TSE.1985.232524","journal-title":"IEEE Trans. Softw. Eng."},{"key":"704_CR46","doi-asserted-by":"publisher","unstructured":"Hutchinson, J., Rouncefield, M., Whittle, J.: Model-driven engineering practices in industry. In: Proceedings of the 33rd International Conference on Software Engineering, ACM, New York, NY, USA, ICSE \u201911, pp. 633\u2013642 (2011). \n                    https:\/\/doi.org\/10.1145\/1985793.1985882","DOI":"10.1145\/1985793.1985882"},{"key":"704_CR47","doi-asserted-by":"publisher","unstructured":"Iscoe, N., Williams, G.B., Arango, G.: Domain modeling for software engineering., In: [1991 Proceedings] 13th International Conference on Software Engineering, pp. 340\u2013343 (1991). \n                    https:\/\/doi.org\/10.1109\/ICSE.1991.130660","DOI":"10.1109\/ICSE.1991.130660"},{"key":"704_CR48","doi-asserted-by":"publisher","unstructured":"Jiang, L., Su, Z.: Profile-guided program simplification for effective testing and analysis. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, New York, SIGSOFT \u201908\/FSE-16, pp. 48\u201358 (2008). \n                    https:\/\/doi.org\/10.1145\/1453101.1453110","DOI":"10.1145\/1453101.1453110"},{"key":"704_CR49","unstructured":"Kernighan, B.W., Ritchie, D.M.: The M4 Macro Processor. Technical report, Bell Laboratories (1977)"},{"issue":"10","key":"704_CR50","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1145\/605432.605409","volume":"37","author":"D Kirovski","year":"2002","unstructured":"Kirovski, D., Drini\u0107, M., Potkonjak, M.: Enabling trusted software integrity. SIGPLAN Not. 37(10), 108\u2013120 (2002). \n                    https:\/\/doi.org\/10.1145\/605432.605409","journal-title":"SIGPLAN Not."},{"issue":"2","key":"704_CR51","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/130844.130856","volume":"24","author":"CW Krueger","year":"1992","unstructured":"Krueger, C.W.: Software reuse. ACM Comput. Surv. 24(2), 131\u2013183 (1992). \n                    https:\/\/doi.org\/10.1145\/130844.130856","journal-title":"ACM Comput. Surv."},{"key":"704_CR52","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2018.05.007","volume":"166","author":"M Lienhardt","year":"2018","unstructured":"Lienhardt, M., Damiani, F., Testa, L., Turin, G.: On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166, 3\u201334 (2018). \n                    https:\/\/doi.org\/10.1016\/j.scico.2018.05.007","journal-title":"Sci. Comput. Program."},{"key":"704_CR53","volume-title":"Java Virtual Machine Specification","author":"T Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: Java Virtual Machine Specification, 2nd edn. Addison-Wesley Longman Publishing Co. Inc, Boston (1999)","edition":"2"},{"key":"704_CR54","volume-title":"Introduction to Languages and the Theory of Computation","author":"JC Martin","year":"1997","unstructured":"Martin, J.C.: Introduction to Languages and the Theory of Computation, 2nd edn. McGraw-Hill Higher Education, New York (1997)","edition":"2"},{"key":"704_CR55","doi-asserted-by":"crossref","unstructured":"McCabe, T.J.: A complexity measure. In: Proceedings of the 2nd International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, ICSE \u201976, p. 407 (1976)","DOI":"10.1109\/TSE.1976.233837"},{"issue":"1","key":"704_CR56","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/331963.331972","volume":"35","author":"V Menon","year":"1999","unstructured":"Menon, V., Pingali, K.: A case for source-level transformations in matlab. SIGPLAN Not. 35(1), 53\u201365 (1999). \n                    https:\/\/doi.org\/10.1145\/331963.331972","journal-title":"SIGPLAN Not."},{"key":"704_CR57","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-10452-7_3","volume-title":"Formal Methods: Foundations and Applications","author":"L Moura","year":"2009","unstructured":"Moura, L., Bj\u00f8rner, N.: Satisfiability modulo theories: an appetizer. In: Oliveira, M.V., Woodcock, J. (eds.) Formal Methods: Foundations and Applications, pp. 23\u201336. Springer, Berlin (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-10452-7_3"},{"key":"704_CR58","doi-asserted-by":"publisher","unstructured":"Necula, G.C.: Proof-carrying code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, New York, POPL \u201997, pp. 106\u2013119 (1997). \n                    https:\/\/doi.org\/10.1145\/263699.263712","DOI":"10.1145\/263699.263712"},{"key":"704_CR59","volume-title":"Systems Programming with Modula-3","year":"1991","unstructured":"Nelson, G. (ed.): Systems Programming with Modula-3. Prentice-Hall Inc, Upper Saddle River (1991)"},{"key":"704_CR60","unstructured":"Oliveira, N., Varanda\u00a0Pereira, M.J., Henriques, P.R., da\u00a0Cruz, D.: Domain-specific languages\u2014a theoretical survey. In: Proceedings of the 3rd Compilers, Programming Languages, Related Technologies and Applications (CoRTA\u20192009), pp. 35\u201346 (2009)"},{"key":"704_CR61","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-1-84800-121-3_8","volume-title":"Finite State Transducers","author":"AP Parkes","year":"2008","unstructured":"Parkes, A.P.: Finite State Transducers, pp. 189\u2013207. Springer, London (2008). \n                    https:\/\/doi.org\/10.1007\/978-1-84800-121-3_8"},{"key":"704_CR62","unstructured":"Percival, C.: Matching with mismatches and assorted applications. Ph.D. thesis, University of Oxford (2006)"},{"key":"704_CR63","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.J.V.D.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Secaucus (2005)"},{"key":"704_CR64","volume-title":"Model Driven Architecture with Executable UML (TM)","author":"C Raistrick","year":"2004","unstructured":"Raistrick, C., Francis, P., Wright, J.: Model Driven Architecture with Executable UML (TM). Cambridge University Press, New York (2004)"},{"issue":"6","key":"704_CR65","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1145\/358141.358149","volume":"26","author":"HR Ramsey","year":"1983","unstructured":"Ramsey, H.R., Atwood, M.E., Van Doren, J.R.: Flowcharts versus program design languages: an experimental comparison. Commun. ACM 26(6), 445\u2013449 (1983). \n                    https:\/\/doi.org\/10.1145\/358141.358149","journal-title":"Commun. ACM"},{"key":"704_CR66","unstructured":"Rodrigues, V., Lopes, J.C., Moreira, A.: An hybrid design solution for spacecraft simulators. In: Proceedings of the Forum at the CAiSE\u201908 Conference, Montpellier, France, June 18\u201320, 2008, pp. 29\u201332 (2008)"},{"issue":"P3","key":"704_CR67","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1016\/j.scico.2015.06.006","volume":"111","author":"V Rodrigues","year":"2015","unstructured":"Rodrigues, V., Akesson, B., Florido, M., de Sousa, S.A.M., Pedroso, J.A.P., Vasconcelos, P.: Certifying execution time in multicores. Sci. Comput. Program. 111(P3), 505\u2013534 (2015). \n                    https:\/\/doi.org\/10.1016\/j.scico.2015.06.006","journal-title":"Sci. Comput. Program."},{"key":"704_CR68","doi-asserted-by":"publisher","unstructured":"R\u00f8st, T.B., Seidl, C., Yu, I.C., Damiani, F., Johnsen, E.B., Chesta, C.: Hyvar. In: Mann, Z, \u00c1., Stolz, V. (eds.) Advances in Service-Oriented and Cloud Computing. Springer, Cham, Communications in Computer and Information Science, vol. 824, pp. 159\u2013163 (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-79090-9_12","DOI":"10.1007\/978-3-319-79090-9_12"},{"key":"704_CR69","volume-title":"Unified Modeling Language Reference Manual","author":"J Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual, 2nd edn. Pearson Higher Education, London (2004)","edition":"2"},{"key":"704_CR70","doi-asserted-by":"publisher","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds). Software Product Lines: Going Beyond (SPLC 2010). Springer, Lecture Notes in Computer Science, vol. 6287, pp. 77\u201391 (2010). \n                    https:\/\/doi.org\/10.1007\/978-3-642-15579-6_6","DOI":"10.1007\/978-3-642-15579-6_6"},{"issue":"5","key":"704_CR71","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","volume":"14","author":"I Schaefer","year":"2012","unstructured":"Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. Int. J. Softw. Tools Technol. Transfer 14(5), 477\u2013495 (2012). \n                    https:\/\/doi.org\/10.1007\/s10009-012-0253-y","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"704_CR72","doi-asserted-by":"publisher","unstructured":"Sch\u00fcrr, A., Selic, B. (eds.): Model driven engineering languages and systems. In: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4\u20139, 2009. Proceedings, Lecture Notes in Computer Science, vol. 5795. Springer, Berlin (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-04425-0","DOI":"10.1007\/978-3-642-04425-0"},{"key":"704_CR73","unstructured":"Seidl, C., Schaefer, I., A\u00dfmann, U.: Deltaecore\u2014a model-based delta language generation framework. In: Modellierung 2014, 19.-21. M\u00e4rz 2014, Wien, \u00d6sterreich, pp. 81\u201396 (2014)"},{"issue":"6","key":"704_CR74","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1145\/359605.359610","volume":"20","author":"B Shneiderman","year":"1977","unstructured":"Shneiderman, B., Mayer, R., McKay, D., Heller, P.: Experimental investigations of the utility of detailed flowcharts in programming. Commun. ACM 20(6), 373\u2013381 (1977). \n                    https:\/\/doi.org\/10.1145\/359605.359610","journal-title":"Commun. ACM"},{"key":"704_CR75","volume-title":"GNU Make: A Program for Directed Compilation","author":"RM Stallman","year":"2002","unstructured":"Stallman, R.M., McGrath, R.: GNU Make: A Program for Directed Compilation. Free Software Foundation, Boston (2002)"},{"key":"704_CR76","unstructured":"Team CAS (2004) Clarification of Structural Coverage Analyses of Data Coupling and Control Coupling. \n                    https:\/\/www.faa.gov\/aircraft\/air_cert\/design_approvals\/air_software\/cast\/cast_papers\/archive\/"},{"issue":"1","key":"704_CR77","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 6:1\u20136:45 (2014a). \n                    https:\/\/doi.org\/10.1145\/2580950","journal-title":"ACM Comput. Surv."},{"key":"704_CR78","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.scico.2012.06.002","volume":"79","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: Featureide: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70\u201385 (2014b). \n                    https:\/\/doi.org\/10.1016\/j.scico.2012.06.002","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"704_CR79","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0164-1212(94)00111-Y","volume":"28","author":"WF Tichy","year":"1995","unstructured":"Tichy, W.F., Lukowicz, P., Prechelt, L., Heinz, E.A.: Experimental evaluation in computer science: a quantitative study. J. Syst. Softw. 28(1), 9\u201318 (1995). \n                    https:\/\/doi.org\/10.1016\/0164-1212(94)00111-Y","journal-title":"J. Syst. Softw."},{"key":"704_CR80","doi-asserted-by":"publisher","unstructured":"Tu, Q., Godfrey, M.W.: The build-time software architecture view. In: Proceedings IEEE International Conference on Software Maintenance. ICSM 2001, pp. 398\u2013407 (2001). \n                    https:\/\/doi.org\/10.1109\/ICSM.2001.972753","DOI":"10.1109\/ICSM.2001.972753"},{"issue":"1","key":"704_CR81","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1109\/TSE.1975.6312870","volume":"1","author":"AJ Turner","year":"1975","unstructured":"Turner, A.J.: Iterative enhancement: a practical technique for software development. IEEE Trans. Softw. Eng. 1(1), 390\u2013396 (1975). \n                    https:\/\/doi.org\/10.1109\/TSE.1975.6312870","journal-title":"IEEE Trans. Softw. Eng."},{"key":"704_CR82","unstructured":"Vaughan, G.V, Elliston, B., Tromey, T., Taylor, I.L., Mac\u00a0Kenzie, D.: GNU Autoconf, Automake and Libtool. Expert Insight into Porting Software and Building Large Projects using GNU Autotools. New Riders, Indianapolis (2001)"},{"issue":"2","key":"704_CR83","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/TSE.1985.232190","volume":"SE\u201311","author":"DM Weiss","year":"1985","unstructured":"Weiss, D.M., Basili, V.R.: Evaluating software development by analysis of changes: some data from the software engineering laboratory. IEEE Trans. Softw. Eng. SE\u201311(2), 157\u2013168 (1985). \n                    https:\/\/doi.org\/10.1109\/TSE.1985.232190","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"9","key":"704_CR84","doi-asserted-by":"publisher","first-page":"1357","DOI":"10.1109\/32.6178","volume":"14","author":"EJ Weyuker","year":"1988","unstructured":"Weyuker, E.J.: Evaluating software complexity measures. IEEE Trans. Softw. Eng. 14(9), 1357\u20131365 (1988). \n                    https:\/\/doi.org\/10.1109\/32.6178","journal-title":"IEEE Trans. Softw. Eng."},{"key":"704_CR85","first-page":"1","volume":"18","author":"M Williams","year":"2013","unstructured":"Williams, M., Grajales, C., Kurkiewicz, D.: Assumptions of multiple regression: correcting two misconceptions. Pract. Assess. Res. Eval. 18, 1 (2013)","journal-title":"Pract. Assess. Res. Eval."},{"issue":"6","key":"704_CR86","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/T-C.1974.224002","volume":"C\u201323","author":"RW Wolverton","year":"1974","unstructured":"Wolverton, R.W.: The cost of developing large-scale software. IEEE Trans. Comput. C\u201323(6), 615\u2013636 (1974). \n                    https:\/\/doi.org\/10.1109\/T-C.1974.224002","journal-title":"IEEE Trans. Comput."},{"key":"704_CR87","doi-asserted-by":"publisher","unstructured":"Wong, B., Czajkowski, G., Daynes, L.: Dynamically loaded classes as shared libraries: an approach to improving virtual machine scalability. In: Proceedings International Parallel and Distributed Processing Symposium (2003). \n                    https:\/\/doi.org\/10.1109\/IPDPS.2003.1213123","DOI":"10.1109\/IPDPS.2003.1213123"},{"key":"704_CR88","volume-title":"Techniques of Program Structure and Design","author":"E Yourdon","year":"1986","unstructured":"Yourdon, E.: Techniques of Program Structure and Design, 1st edn. Prentice Hall PTR, Upper Saddle River (1986)","edition":"1"},{"key":"704_CR89","doi-asserted-by":"publisher","unstructured":"Yu, D., Hamid, N.A., Shao, Z.: Building certified libraries for PCC: dynamic storage allocation. In: 12th European Symposium on Programming on Science of Computer Programming, vol. 50, no. 1, pp. 101\u2013127 (2004). \n                    https:\/\/doi.org\/10.1016\/j.scico.2004.01.003\n                    \n                   (ESOP 2003)","DOI":"10.1016\/j.scico.2004.01.003"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-018-00704-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-00704-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-00704-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,17]],"date-time":"2019-12-17T19:15:15Z","timestamp":1576610115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-018-00704-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,18]]},"references-count":89,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["704"],"URL":"https:\/\/doi.org\/10.1007\/s10270-018-00704-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,18]]},"assertion":[{"value":"26 April 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 July 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 November 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 December 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}