{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:50Z","timestamp":1740098930676,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668444"},{"type":"electronic","value":"9783319668451"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66845-1_8","type":"book-chapter","created":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T11:37:20Z","timestamp":1503747440000},"page":"111-126","source":"Crossref","is-referenced-by-count":2,"title":["An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs"],"prefix":"10.1007","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Muschevici","sequence":"additional","affiliation":[]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,27]]},"reference":[{"issue":"4","key":"8_CR1","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/s11761-013-0148-0","volume":"8","author":"E Albert","year":"2014","unstructured":"Albert, E., de Boer, F.S., H\u00e4hnle, R., Johnsen, E.B., Schlatte, R., Tapia, S.L.T., Wong, P.Y.H.: Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS. SOCA 8(4), 323\u2013339 (2014)","journal-title":"SOCA"},{"key":"8_CR2","doi-asserted-by":"crossref","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., K\u00e4stner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013)"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D Batory","year":"2004","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Softw. Eng. 30, 355\u2013371 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11431855_34","volume-title":"Advanced Information Systems Engineering","author":"D Benavides","year":"2005","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated reasoning on feature models. In: Pastor, O., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491\u2013503. Springer, Heidelberg (2005). doi:\n10.1007\/11431855_34"},{"issue":"2","key":"8_CR5","doi-asserted-by":"crossref","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(2), 77\u2013122 (2013)","journal-title":"Acta Informatica"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-07317-0_1","volume-title":"Formal Methods for Executable Software Models","author":"R Bubel","year":"2014","unstructured":"Bubel, R., Montoya, A.F., H\u00e4hnle, R.: Analysis of executable software models. In: Bernardo, M., Damiani, F., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I. (eds.) SFM 2014. LNCS, vol. 8483, pp. 1\u201325. Springer, Cham (2014). doi:\n10.1007\/978-3-319-07317-0_1"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-21455-4_13","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"D Clarke","year":"2011","unstructured":"Clarke, D., Diakov, N., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I., Sch\u00e4fer, J., Schlatte, R., Wong, P.Y.H.: Modeling spatial and temporal variability with the HATS abstract behavioral modeling language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 417\u2013457. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-21455-4_13"},{"key":"8_CR8","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 Publishing Co., Inc., Boston (2001)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-662-54494-5_25","volume-title":"Fundamental Approaches to Software Engineering","author":"F Damiani","year":"2017","unstructured":"Damiani, F., H\u00e4hnle, R., Kamburjan, E., Lienhardt, M.: A unified and formal programming model for deltas and traits. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 424\u2013441. Springer, Heidelberg (2017). doi:\n10.1007\/978-3-662-54494-5_25"},{"key":"8_CR10","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, Cham (2016). doi:\n10.1007\/978-3-319-33693-0_4"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-319-47169-3_45","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"F Damiani","year":"2016","unstructured":"Damiani, F., Lienhardt, M.: Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 579\u2013596. Springer, Cham (2016). doi:\n10.1007\/978-3-319-47169-3_45"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-34026-0_15","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"F Damiani","year":"2012","unstructured":"Damiani, F., Schaefer, I.: Family-based analysis of type safety for delta-oriented software product lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7609, pp. 193\u2013207. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-34026-0_15"},{"key":"8_CR13","unstructured":"de Boer, F., Clarke, D., Helvensteijn, M., Muschevici, R., Proen\u00e7a, J., Schaefer, I.: Final Report on Feature Selection and Integration, March 2011. Deliverable 2.2b of project FP7-231620 (HATS). \nhttp:\/\/www.hats-project.eu"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Delaware, B., Cook, W.R., Batory, D.: Fitting the pieces together: a machine-checked model of safe composition. In: Proceedings of ESEC\/FSE 2009. ACM (2009). doi:\n10.1145\/1595696.1595733","DOI":"10.1145\/1595696.1595733"},{"issue":"9","key":"8_CR15","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1145\/367390.367400","volume":"3","author":"E Fredkin","year":"1960","unstructured":"Fredkin, E.: Trie memory. Commun. ACM 3(9), 490\u2013499 (1960)","journal-title":"Commun. ACM"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40615-7_1","volume-title":"Formal Methods for Components and Objects","author":"R H\u00e4hnle","year":"2013","unstructured":"H\u00e4hnle, R.: The abstract behavioral specification language: a tutorial introduction. In: Giachino, E., H\u00e4hnle, R., Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2012. LNCS, vol. 7866, pp. 1\u201337. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-40615-7_1"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Helvensteijn, M., Muschevici, R., Wong, P.Y.H.: Delta modeling in practice: a Fredhopper case study. In: Proceedings of VAMOS 2012, pp. 139\u2013148. ACM (2012). doi:\n10.1145\/2110147.2110163","DOI":"10.1145\/2110147.2110163"},{"issue":"3","key":"8_CR18","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS 23(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"8_CR19","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-53946-1_4","volume-title":"Formal Techniques for Safety-Critical Systems","author":"E Kamburjan","year":"2017","unstructured":"Kamburjan, E., H\u00e4hnle, R.: Uniform modeling of railway operations. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2016. CCIS, vol. 694, pp. 55\u201371. Springer, Cham (2017). doi:\n10.1007\/978-3-319-53946-1_4"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11531142_8","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"RE Lopez-Herrejon","year":"2005","unstructured":"Lopez-Herrejon, R.E., Batory, D., Cook, W.: Evaluating support for features in advanced modularization technologies. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 169\u2013194. Springer, Heidelberg (2005). doi:\n10.1007\/11531142_8"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) SPLC 2010. LNCS, vol. 6287, pp. 77\u201391. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-15579-6_6"},{"issue":"5","key":"8_CR22","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. Int. J. Softw. Tools Technol. Transf. 14(5), 477\u2013495 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Strni\u0161a, R., Sewell, P., Parkinson, M.: The Java module system: core design and semantic definition. In: Proceedings of OOPSLA 2007, pp. 499\u2013514. ACM (2007)","DOI":"10.1145\/1297027.1297064"},{"key":"8_CR24","doi-asserted-by":"publisher","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe composition of product lines. In: Proceedings of GPCE 2007, pp. 95\u2013104. ACM (2007). doi:\n10.1145\/1289971.1289989","DOI":"10.1145\/1289971.1289989"},{"key":"8_CR25","doi-asserted-by":"crossref","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 (2014)","DOI":"10.1145\/2580950"},{"key":"8_CR26","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1007\/s10009-012-0250-1","volume":"14","author":"PY Wong","year":"2012","unstructured":"Wong, P.Y., Albert, E., Muschevici, R., Proen\u00e7a, J., Sch\u00e4fer, J., Schlatte, R.: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. J. Softw. Tools Technol. Transf. 14, 567\u2013588 (2012)","journal-title":"J. Softw. Tools Technol. Transf."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66845-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T11:39:54Z","timestamp":1503747594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66845-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319668444","9783319668451"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66845-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}