{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:54Z","timestamp":1740097074887,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_21","type":"book-chapter","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T21:28:35Z","timestamp":1411680515000},"page":"289-303","source":"Crossref","is-referenced-by-count":1,"title":["Delta-Trait Programming of Software Product Lines"],"prefix":"10.1007","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Schuster","sequence":"additional","affiliation":[]},{"given":"Tim","family":"Winkelmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"21_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\u00f6sslinger, A., Lengauer, C.: Type safety for feature-oriented product lines. Automated Software Engineering\u00a017(3), 251\u2013300 (2010)","journal-title":"Automated Software Engineering"},{"key":"21_CR2","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: Proc. of GPCE 2008, pp. 101\u2013112. ACM (2008)","DOI":"10.1145\/1449913.1449931"},{"key":"21_CR3","volume-title":"Framing software reuse: lessons from the real world","author":"P.G. Bassett","year":"1997","unstructured":"Bassett, P.G.: Framing software reuse: lessons from the real world. Prentice-Hall, Inc., Upper Saddle River (1997)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D. Batory","year":"2005","unstructured":"Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. In: Proc. of ICSE 2003, pp. 187\u2013197. IEEE (2003)","DOI":"10.1109\/ICSE.2003.1201199"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., Naddeo, M.: A trait based re-engineering technique for Java hierarchies. In: Proc. of PPPJ, pp. 149\u2013158. ACM (2008)","DOI":"10.1145\/1411732.1411753"},{"key":"21_CR7","first-page":"67","volume-title":"Proc. of PPPJ 2013","author":"L. Bettini","year":"2013","unstructured":"Bettini, L., Damiani, F.: Pure trait-based programming on the java platform. In: Proc. of PPPJ 2013, pp. 67\u201378. ACM, New York (2013)"},{"issue":"2","key":"21_CR8","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1016\/j.scico.2011.10.006","volume":"78","author":"L. Bettini","year":"2013","unstructured":"Bettini, L., Damiani, F., Geilmann, K., Sch\u00e4fer, J.: Combining traits with boxes and ownership types in a Java-like setting. Science of Computer Programming\u00a078(2), 218\u2013247 (2013)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"21_CR9","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\u00a050(2), 77\u2013122 (2013)","journal-title":"Acta Informatica"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Bettini, L., Damiani, F., Schaefer, I.: Implementing type-safe software product lines using parametric traits. Science of Computer Programming (2013), http:\/\/dx.doi.org\/10.1016\/j.scico.2013.07.016","DOI":"10.1016\/j.scico.2013.07.016"},{"issue":"5","key":"21_CR11","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1016\/j.scico.2011.06.007","volume":"78","author":"L. Bettini","year":"2013","unstructured":"Bettini, L., Damiani, F., Schaefer, I., Strocco, F.: TraitRecordJ: A programming language with traits and records. Science of Computer Programming\u00a078(5), 521\u2013541 (2013)","journal-title":"Science of Computer Programming"},{"key":"21_CR12","series-title":"IFIP","first-page":"367","volume-title":"TCS 2008","author":"V. Bono","year":"2008","unstructured":"Bono, V., Damiani, F., Giachino, E.: On Traits and Types in a Java-like setting. In: Ausiello, G., Karhum\u00e4ki, J., Mauri, G., Ong, L. (eds.) TCS 2008. IFIP, vol.\u00a0273, pp. 367\u2013382. Springer, Heidelberg (2008)"},{"key":"21_CR13","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison Wesley Longman (2001)"},{"issue":"4","key":"21_CR14","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1007\/s00165-013-0278-3","volume":"26","author":"F. Damiani","year":"2014","unstructured":"Damiani, F., Dovland, J., Johnsen, E.B., Schaefer, I.: Verifying traits: An incremental proof system for fine-grained reuse. Formal Aspects of Computing\u00a026(4), 761\u2013793 (2014)","journal-title":"Formal Aspects of Computing"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Damiani, F., Owe, O., Dovland, J., Schaefer, I., Johnsen, E.B., Yu, I.C.: A transformational proof system for delta-oriented programming. In: Proc. of SPLC, vol.\u00a02, pp. 53\u201360. ACM (2012)","DOI":"10.1145\/2364412.2364422"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W.R., Batory, D.: A Machine-Checked Model of Safe Composition. In: Proc. of FOAL, pp. 31\u201335. ACM (2009)","DOI":"10.1145\/1509837.1509846"},{"issue":"2","key":"21_CR17","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.: Traits: A mechanism for fine-grained reuse. ACM TOPLAS\u00a028(2), 331\u2013388 (2006)","journal-title":"ACM TOPLAS"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-34026-0_4","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"R. H\u00e4hnle","year":"2012","unstructured":"H\u00e4hnle, R., Schaefer, I.: A Liskov Principle for Delta-Oriented Programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 32\u201346. Springer, Heidelberg (2012)"},{"issue":"3","key":"21_CR19","doi-asserted-by":"publisher","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\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical report, Carnegie Mellon Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Kastner, C., Apel, S.: Type-checking software product lines - a formal approach. In: Proc. of ASE 2008, pp. 258\u2013267. IEEE (2008)","DOI":"10.1109\/ASE.2008.36"},{"key":"21_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013354. Springer, Heidelberg (2001)"},{"issue":"4","key":"21_CR23","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/MS.2002.1020284","volume":"19","author":"C. Krueger","year":"2002","unstructured":"Krueger, C.: Eliminating the Adoption Barrier. IEEE Software\u00a019(4), 29\u201331 (2002)","journal-title":"IEEE Software"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Lienhard, A., Ducasse, S., Ar\u00e9valo, G.: Identifying traits with formal concept analysis. In: Proc. ASE 2005, pp. 66\u201375. IEEE Computer Society (2005)","DOI":"10.1145\/1101908.1101921"},{"issue":"1-3","key":"21_CR25","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/j.tcs.2008.01.051","volume":"398","author":"L. Liquori","year":"2008","unstructured":"Liquori, L., Spiwack, A.: Extending feathertrait java with interfaces. Theor. Comput. Sci.\u00a0398(1-3), 243\u2013260 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"21_CR26","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":"R.E. Lopez-Herrejon","year":"2005","unstructured":"Lopez-Herrejon, R.E., Batory, D., Cook, W.: Evaluating support for features in advanced modularization technologies. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 169\u2013194. Springer, Heidelberg (2005)"},{"key":"21_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BFb0054099","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"L. Mikhajlov","year":"1998","unstructured":"Mikhajlov, L., Sekerinski, E.: A Study of the Fragile Base Class Problem. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 355\u2013382. Springer, Heidelberg (1998)"},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O., Ducasse, S., Sch\u00e4rli, N.: Flattening traits. JOT\u00a05(4), 129\u2013148 (2006) www.jot.fm","DOI":"10.5381\/jot.2006.5.4.a4"},{"key":"21_CR29","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"21_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-540-73589-2_18","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"J. Reppy","year":"2007","unstructured":"Reppy, J., Turon, A.: Metaprogramming with traits. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 373\u2013398. Springer, Heidelberg (2007)"},{"key":"21_CR31","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.) SPLC 2010. LNCS, vol.\u00a06287, pp. 77\u201391. Springer, Heidelberg (2010)"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Damiani, F.: Compositional type-checking of delta-oriented programming. In: Proc. of AOSD 2011, pp. 43\u201356. ACM (2011)","DOI":"10.1145\/1960275.1960283"},{"key":"21_CR33","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Damiani, F.: Pure Delta-oriented Programming. In: Proc. of FOSD 2010, pp. 49\u201356. ACM (2010)","DOI":"10.1145\/1868688.1868696"},{"issue":"5","key":"21_CR34","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. International Journal on Software Tools for Technology Transfer\u00a014(5), 477\u2013495 (2012)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"21_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-45070-2_12","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"N. Sch\u00e4rli","year":"2003","unstructured":"Sch\u00e4rli, N., Ducasse, S., Nierstrasz, O., Black, A.P.: Traits: Composable units of behavior. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 248\u2013274. Springer, Heidelberg (2003)"},{"key":"21_CR36","doi-asserted-by":"crossref","unstructured":"Schuster, S.: Design Patterns in Feature-Oriented Programming. Bachelor\u2019s thesis, TU Braunschweig (2012)","DOI":"10.1145\/2377816.2377820"},{"key":"21_CR37","doi-asserted-by":"crossref","unstructured":"Schuster, S., Schulze, S.: Object-oriented design in feature-oriented programming. In: Proc. of FOSD 2012, pp. 25\u201328. ACM (2012)","DOI":"10.1145\/2377816.2377820"},{"key":"21_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/11531142_20","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"C. Smith","year":"2005","unstructured":"Smith, C., Drossopoulou, S.: Chai: Traits for Java-like languages. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 453\u2013478. Springer, Heidelberg (2005)"}],"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-662-45234-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T07:44:01Z","timestamp":1565855041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}