{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:18Z","timestamp":1725702558115},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_14","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"178-192","source":"Crossref","is-referenced-by-count":10,"title":["Conflict Detection in Delta-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Mich\u00e4el","family":"Lienhardt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"14_CR1","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10515-010-0066-8","volume":"17","author":"S. Apel","year":"2010","unstructured":"Apel, S., K\u00e4stner, C., Gr\u00f6\u00dflinger, A., Lengauer, C.: Type safety for feature-oriented product lines. Autom. Softw. Eng.\u00a017(3), 251\u2013300 (2010)","journal-title":"Autom. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: Feature Featherweight Java: A calculus for feature-oriented programming and stepwise refinement. In: Smaragdakis, Y., Siek, J.G. (eds.) GPCE, pp. 101\u2013112. ACM (2008)","key":"14_CR2","DOI":"10.1145\/1449913.1449931"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/1868688.1868698","volume-title":"Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, FOSD 2010","author":"S. Apel","year":"2010","unstructured":"Apel, S., Scholz, W., Lengauer, C., K\u00e4stner, C.: Language-independent reference checking in software product lines. In: Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, FOSD 2010, pp. 65\u201371. ACM, New York (2010)"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1868294.1868298","volume-title":"Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010","author":"D. Clarke","year":"2010","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, pp. 13\u201322. ACM, New York (2010)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-25271-6_11","volume-title":"Formal Methods for Components and Objects","author":"D. Clarke","year":"2011","unstructured":"Clarke, D., Muschevici, R., Proen\u00e7a, J., Schaefer, I., Schlatte, R.: Variability Modelling in the ABS Language. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 204\u2013224. Springer, Heidelberg (2011)"},{"key":"14_CR6","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":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Generative Programming and Component Engineering","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping Features to Models: A Template Approach Based on Superimposed Variants. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 422\u2013437. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W.R., Batory, D.S.: Fitting the pieces together: a machine-checked model of safe composition. In: van Vliet, H., Issarny, V. (eds.) ESEC\/SIGSOFT FSE, pp. 243\u2013252. ACM (2009)","key":"14_CR8","DOI":"10.1145\/1595696.1595733"},{"doi-asserted-by":"crossref","unstructured":"Douence, R., Fradet, P., S\u00fcdholt, M.: A Framework for the Detection and Resolution of Aspect Interactions. In: Batory, D.S., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol.\u00a02487, pp. 173\u2013188. Springer, Heidelberg (2002)","key":"14_CR9","DOI":"10.1007\/3-540-45821-2_11"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1629716.1629730","volume-title":"Proceedings of the 1st Workshop on Feature-Oriented Software Development","author":"F. Heidenreich","year":"2009","unstructured":"Heidenreich, F.: Towards systematic ensuring well-formedness of software product lines. In: Proceedings of the 1st Workshop on Feature-Oriented Software Development, pp. 69\u201374. ACM, New York (2009)"},{"doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S.: Type-checking software product lines - a formal approach. In: ASE, pp. 258\u2013267. IEEE (2008)","key":"14_CR11","DOI":"10.1109\/ASE.2008.36"},{"key":"14_CR12","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-02571-6_11","volume-title":"Objects, Components, Models and Patterns","author":"C. K\u00e4stner","year":"2009","unstructured":"K\u00e4stner, C., Apel, S., Trujillo, S., Kuhlemann, M., Batory, D.: Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol.\u00a033, pp. 175\u2013194. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Katz, E., Katz, S.: Incremental analysis of interference among aspects. In: Clifton, C. (ed.) FOAL, pp. 29\u201338. ACM (2008)","key":"14_CR13","DOI":"10.1145\/1394496.1394500"},{"doi-asserted-by":"crossref","unstructured":"Kuhlemann, M., Batory, D., K\u00e4stner, C.: Safe composition of non-monotonic features. In: Siek, J.G., Fischer, B. (eds.) GPCE, pp. 177\u2013186. ACM (2009)","key":"14_CR14","DOI":"10.1145\/1837852.1621634"},{"doi-asserted-by":"crossref","unstructured":"Lienhardt, M., Clarke, D.: Conflict detection in delta-oriented programming. Technical report, University of Bologna (2012), \n                    \n                      http:\/\/proton.inrialpes.fr\/~mlienhar\/reports\/2012-Conflict-Detection.pdf","key":"14_CR15","DOI":"10.1007\/978-3-642-34026-0_14"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/2110147.2110161","volume-title":"Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS 2012","author":"M. Lienhardt","year":"2012","unstructured":"Lienhardt, M., Clarke, D.: Row types for delta-oriented programming. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS 2012, pp. 121\u2013128. ACM, New York (2012)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-02138-1_11","volume-title":"Formal Techniques for Distributed Systems","author":"M. Lienhardt","year":"2009","unstructured":"Lienhardt, M., Mezzina, C.A., Schmitt, A., Stefani, J.-B.: Typing Component-Based Communication Systems. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol.\u00a05522, pp. 167\u2013181. Springer, Heidelberg (2009)"},{"issue":"4","key":"14_CR18","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10515-005-2648-4","volume":"12","author":"P. Padmanabhan","year":"2005","unstructured":"Padmanabhan, P., Lutz, R.R.: Tool-supported verification of product line requirements. Autom. Softw. Eng.\u00a012(4), 447\u2013465 (2005)","journal-title":"Autom. Softw. Eng."},{"key":"14_CR19","first-page":"67","volume-title":"Type inference for records in natural extension of ML","author":"D. R\u00e9my","year":"1994","unstructured":"R\u00e9my, D.: Type inference for records in natural extension of ML, pp. 67\u201395. MIT Press, Cambridge (1994)"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1960275.1960283","volume-title":"Proceedings of the Tenth International Conference on Aspect-Oriented Software Development, AOSD 2011","author":"I. Schaefer","year":"2011","unstructured":"Schaefer, I., Bettini, L., Damiani, F.: Compositional type-checking for delta-oriented programming. In: Proceedings of the Tenth International Conference on Aspect-Oriented Software Development, AOSD 2011, pp. 43\u201356. ACM, New York (2011)"},{"key":"14_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.\u00a06287, pp. 77\u201391. Springer, Heidelberg (2010)"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/1868688.1868696","volume-title":"Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, FOSD 2010","author":"I. Schaefer","year":"2010","unstructured":"Schaefer, I., Damiani, F.: Pure delta-oriented programming. In: Proceedings of the 2nd International Workshop on Feature-Oriented Software Development, FOSD 2010, pp. 49\u201356. ACM, New York (2010)"},{"doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.R.: Safe composition of product lines. In: Consel, C., Lawall, J.L. (eds.) GPCE, pp. 95\u2013104. ACM (2007)","key":"14_CR23","DOI":"10.1145\/1289971.1289989"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:14Z","timestamp":1620132074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}