{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:00:35Z","timestamp":1742997635335,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_35","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"423-432","source":"Crossref","is-referenced-by-count":0,"title":["Introduction to the Track on Variability Modeling for Scalable Software Evolution"],"prefix":"10.1007","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Seidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingrid Chieh","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"issue":"4","key":"35_CR1","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M Armbrust","year":"2010","unstructured":"Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R., Konwinski, A., Lee, G., Patterson, D., Rabkin, A., Stoica, I., Zaharia, M.: A view of cloud computing. Commun. ACM 53(4), 50\u201358 (2010)","journal-title":"Commun. ACM"},{"issue":"15","key":"35_CR2","doi-asserted-by":"crossref","first-page":"2787","DOI":"10.1016\/j.comnet.2010.05.010","volume":"54","author":"L Atzori","year":"2010","unstructured":"Atzori, L., Lera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787\u20132805 (2010)","journal-title":"Comput. Netw."},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wasowski, A.: Clafer: unifying class and feature modeling. In: Software and Systems Modeling, pp. 1\u201335 (2014)","DOI":"10.1007\/s10270-014-0441-1"},{"key":"35_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00236-012-0173-z","volume":"50","author":"L Bettini","year":"2013","unstructured":"Bettini, L., Damiani, F., Schaefer, I.: Compositional type checking of delta-oriented software product lines. Acta Informatica 50, 77\u2013122 (2013). doi: 10.1007\/s00236-012-0173-z","journal-title":"Acta Informatica"},{"key":"35_CR5","unstructured":"Bosch, J.: From software product lines to software ecosystems. In: Proceedings of the 13th International Software Product Line Conference, SPLC (2009)"},{"key":"35_CR6","doi-asserted-by":"crossref","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: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)","DOI":"10.1007\/978-3-319-47169-3_40"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"St\u0103nciulescu, \u015e., Rabiser, D., Seidl, C.: A technology-neutral role-based collaboration model for software ecosystems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)","DOI":"10.1007\/978-3-319-47169-3_41"},{"key":"35_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-33693-0_4","volume-title":"Integrated Formal Methods","author":"F Damiani","year":"2016","unstructured":"Damiani, F., Lienhardt, M.: On type checking delta-oriented product lines. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 47\u201362. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-33693-0_4"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Damiani, F., Lienhardt, M.: Refactoring delta oriented product lines to enforce guidelines for efficient type-checking. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)","DOI":"10.1007\/978-3-319-47169-3_45"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Damiani, F., Schaefer, I., Winkelmann, T.: Delta-oriented multi software product lines. In: 18th International Software Product Line Conference, SPLC 2014, pp. 232\u2013236 (2014)","DOI":"10.1145\/2648511.2648536"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., Muschevici, R.: Towards incremental validation of railway systems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)","DOI":"10.1007\/978-3-319-47169-3_36"},{"key":"35_CR12","doi-asserted-by":"crossref","first-page":"828","DOI":"10.1016\/j.infsof.2012.02.002","volume":"54","author":"G Holl","year":"2012","unstructured":"Holl, G., Gr\u00fcnbacher, P., Rabiser, R.: A systematic review and an expert survey on capabilities supporting multi product lines. Inf. Soft. Technol. 54, 828\u2013852 (2012)","journal-title":"Inf. Soft. Technol."},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., Lin, J.-C., Yu, I.C.: Comparing AWS deployments using model-based predictions. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)","DOI":"10.1007\/978-3-319-47169-3_39"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, DTIC document (1990)","DOI":"10.21236\/ADA235785"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Khalilov, E., Ross, J., Antkiewicz, M., Markus V\u00f6lter, K.C.: Modeling and optimizing automotive electric\/electronic (E\/E) architectures: towards makingclafer accessible to practitioners. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)","DOI":"10.1007\/978-3-319-47169-3_37"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Lehman, M.M.: Programs, life cycles, and laws of software evolution. In: Proceedings of the IEEE (1980)","DOI":"10.1109\/PROC.1980.11805"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Nieke, M., Mauro, J., Seidl, C., Yu, I.C.: User profiles for context-aware reconfiguration in software product lines. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)","DOI":"10.1007\/978-3-319-47169-3_44"},{"key":"35_CR18","doi-asserted-by":"crossref","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., van der Linden, F.J.: Software Product Line Engineering - Foundations Principles and Techniques. Springer, Berlin\/Heidelberg (2005)"},{"key":"35_CR19","doi-asserted-by":"crossref","unstructured":"Ros\u00e0, A., Zheng, Y., Sun, H., Javed, O., Binder, W.: Adaptable runtime monitoring for the java virtual machine. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)","DOI":"10.1007\/978-3-319-47169-3_42"},{"key":"35_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I Schaefer","year":"2010","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. LNCS, vol. 6287, pp. 77\u201391. Springer, Heidelberg (2010)"},{"issue":"5","key":"35_CR21","doi-asserted-by":"crossref","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. STTT 14(5), 477\u2013495 (2012)","journal-title":"STTT"},{"key":"35_CR22","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MS.2013.83","volume":"4","author":"K Schmid","year":"2013","unstructured":"Schmid, K., Santana de Almeida, E.: Product line engineering. IEEE Softw. 4, 24\u201330 (2013)","journal-title":"IEEE Softw."},{"key":"35_CR23","doi-asserted-by":"crossref","unstructured":"Seidl, C., Schaefer, I., A\u00dfmann, U.: Integrated management of variability in space and time in software families. In Proceedings of the 18th International Software Product Line Conference (SPLC), SPLC 2014 (2014)","DOI":"10.1145\/2648511.2648514"},{"issue":"6","key":"35_CR24","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1002\/(SICI)1096-908X(199911\/12)11:6<391::AID-SMR199>3.0.CO;2-8","volume":"11","author":"M Svahnberg","year":"1999","unstructured":"Svahnberg, M., Bosch, J.: Evolution in software product lines. J. Softw. Maint. Res. Pract. 11(6), 391\u2013422 (1999)","journal-title":"J. Softw. Maint. Res. Pract."},{"key":"35_CR25","doi-asserted-by":"crossref","unstructured":"ter Beek, M., Fantechi, A., Gnesi, S., Semini, L.: Variability-based design of services for smart transportation systems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)","DOI":"10.1007\/978-3-319-47169-3_38"},{"key":"35_CR26","doi-asserted-by":"crossref","unstructured":"van den Berk, I., Jansen, S., Luinenburg, L., Ecosystems, S.: A software ecosystem strategy assessment model. In: Proceedings of the Fourth European Conference on Software Architecture: Companion Volume, pp. 127\u2013134. ACM (2010)","DOI":"10.1145\/1842752.1842781"},{"key":"35_CR27","doi-asserted-by":"crossref","unstructured":"Wille, D., Tiede, M., Schulze, S., Seidl, C., Schaefer, I.: Identifying variability in object-oriented code using model-based code mining. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)","DOI":"10.1007\/978-3-319-47169-3_43"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:09:00Z","timestamp":1568434140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}