{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:40Z","timestamp":1725563020638},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_2","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T09:52:01Z","timestamp":1282384321000},"page":"15-43","source":"Crossref","is-referenced-by-count":9,"title":["A Theory of Software Product Line Refinement"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Borba","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leopoldo","family":"Teixeira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rohit","family":"Gheyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1109\/SPLC.2008.51","volume-title":"12th International Software Product Line Conference","author":"V. Alves","year":"2008","unstructured":"Alves, V., Calheiros, F., Nepomuceno, V., Menezes, A., Soares, S., Borba, P.: FLiP: Managing software product line extraction and reaction with aspects. In: 12th International Software Product Line Conference, p. 354. IEEE Computer Society, Los Alamitos (2008)"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/ICSM.2005.30","volume-title":"21st IEEE International Conference on Software Maintenance","author":"V. Alves","year":"2005","unstructured":"Alves, V., Cardim, I., Vital, H., Sampaio, P., Damasceno, A., Borba, P., Ramalho, G.: Comparative analysis of porting strategies in J2ME games. In: 21st IEEE International Conference on Software Maintenance, pp. 123\u2013132. IEEE Computer Society, Los Alamitos (2005)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/1173706.1173737","volume-title":"5th International Conference on Generative Programming and Component Engineering","author":"V. Alves","year":"2006","unstructured":"Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., Lucena, C.: Refactoring product lines. In: 5th International Conference on Generative Programming and Component Engineering, pp. 201\u2013210. ACM, New York (2006)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11554844_8","volume-title":"Software Product Lines","author":"V. Alves","year":"2005","unstructured":"Alves, V., Matos Jr., P., Cole, L., Borba, P., Ramalho, G.: Extracting and evolving mobile games product lines. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 70\u201381. Springer, Heidelberg (2005)"},{"key":"2_CR5","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":"2_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/1509239.1509258","volume-title":"8th International Conference on Aspect-Oriented Software Development","author":"R. Bonif\u00e1cio","year":"2009","unstructured":"Bonif\u00e1cio, R., Borba, P.: Modeling scenario variability as crosscutting mechanisms. In: 8th International Conference on Aspect-Oriented Software Development, pp. 125\u2013136. ACM, New York (2009)"},{"key":"2_CR7","unstructured":"Borba, P.: An introduction to software product line refactoring. In: 3rd Summer School on Generative and Transformational Techniques in Software Engineering (2009) (to appear)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.scico.2004.03.003","volume":"52","author":"P. Borba","year":"2004","unstructured":"Borba, P., Sampaio, A., Cavalcanti, A., Corn\u00e9lio, M.: Algebraic reasoning for object-oriented programming. Science of Computer Programming\u00a052, 53\u2013100 (2004)","journal-title":"Science of Computer Programming"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/1052898.1052909","volume-title":"4th International Conference on Aspect-Oriented Software Development","author":"L. Cole","year":"2005","unstructured":"Cole, L., Borba, P.: Deriving refactorings for AspectJ. In: 4th International Conference on Aspect-Oriented Software Development, pp. 123\u2013134. ACM, New York (2005)"},{"key":"2_CR10","unstructured":"Calheiros, F., Borba, P., Soares, S., Nepomuceno, V., Alves, V.: Product line variability refactoring tool. In: 1st Workshop on Refactoring Tools, pp. 33\u201334 (July 2007)"},{"key":"2_CR11","unstructured":"Critchlow, M., Dodd, K., Chou, J., van der Hoek, A.: Refactoring product line architectures. In: 1st International Workshop on Refactoring: Achievements, Challenges, and Effects, pp. 23\u201326 (2003)"},{"key":"2_CR12","volume-title":"Generative programming: methods, tools, and applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative programming: methods, tools, and applications. Addison-Wesley, Reading (2000)"},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice\u00a010(1), 7\u201329 (2005)","journal-title":"Software Process: Improvement and Practice"},{"key":"2_CR14","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, Reading (2001)"},{"key":"2_CR15","first-page":"261","volume-title":"30th International Conference on Software Engineering","author":"E. Figueiredo","year":"2008","unstructured":"Figueiredo, E., Cacho, N., Sant\u2019Anna, C., Monteiro, M., Kulesza, U., Garcia, A., Soares, S., Ferrari, F., Khan, S., Filho, F., Dantas, F.: Evolving software product lines with aspects: an empirical study on design stability. In: 30th International Conference on Software Engineering, pp. 261\u2013270. ACM, New York (2008)"},{"key":"2_CR16","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"issue":"3","key":"2_CR17","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/379377.375269","volume":"26","author":"C. Gacek","year":"2001","unstructured":"Gacek, C., Anastasopoulos, M.: Implementing product line variabilities. SIGSOFT Software Engineering Notes\u00a026(3), 109\u2013117 (2001)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2005.03.002","volume":"130","author":"R. Gheyi","year":"2005","unstructured":"Gheyi, R., Massoni, T., Borba, P.: An abstract equivalence notion for object models. Electronic Notes in Theoretical Computer Science\u00a0130, 3\u201321 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"21","key":"2_CR19","first-page":"3573","volume":"14","author":"R. Gheyi","year":"2008","unstructured":"Gheyi, R., Massoni, T., Borba, P.: Algebraic laws for feature models. Journal of Universal Computer Science\u00a014(21), 3573\u20133591 (2008)","journal-title":"Journal of Universal Computer Science"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/SPLINE.2007.12","volume-title":"11th International Software Product Line Conference","author":"C. Kastner","year":"2007","unstructured":"Kastner, C., Apel, S., Batory, D.: A case study implementing features using AspectJ. In: 11th International Software Product Line Conference, pp. 223\u2013232. IEEE Computer Society, Los Alamitos (2007)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Spencer Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"2_CR22","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/ICSM.2005.5","volume-title":"21st International Conference on Software Maintenance","author":"R. Kolb","year":"2005","unstructured":"Kolb, R., Muthig, D., Patzke, T., Yamauchi, K.: A case study in refactoring a legacy component for reuse in a product line. In: 21st International Conference on Software Maintenance, pp. 369\u2013378. IEEE Computer Society, Los Alamitos (2005)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-47833-7_25","volume-title":"Software Product-Family Engineering","author":"C. Krueger","year":"2002","unstructured":"Krueger, C.: Easing the transition to software mass customization. In: van der Linden, F.J. (ed.) PFE 2002. LNCS, vol.\u00a02290, pp. 282\u2013293. Springer, Heidelberg (2002)"},{"key":"2_CR24","first-page":"112","volume-title":"28th International Conference on Software Engineering","author":"J. Liu","year":"2006","unstructured":"Liu, J., Batory, D., Lengauer, C.: Feature oriented refactoring of legacy applications. In: 28th International Conference on Software Engineering, pp. 112\u2013121. ACM, New York (2006)"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-540-78743-3_27","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Massoni","year":"2008","unstructured":"Massoni, T., Gheyi, R., Borba, P.: Formal model-driven program refactoring. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 362\u2013376. Springer, Heidelberg (2008)"},{"key":"2_CR26","unstructured":"Opdyke, W.: Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois, Urbana-Champaign (1992)"},{"key":"2_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction - CADE-11","author":"S. Owre","year":"1992","unstructured":"Owre, S., Rushby, J., Shankar, N.: Pvs: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 748\u2013752. Springer, Heidelberg (1992)"},{"key":"2_CR28","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.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/11889229_2","volume-title":"Refinement Techniques in Software Engineering","author":"A. Sampaio","year":"2006","unstructured":"Sampaio, A., Borba, P.: Transformation laws for sequential object-oriented programming. In: Cavalcanti, A., Sampaio, A., Woodcock, J. (eds.) PSSE 2004. LNCS, vol.\u00a03167, pp. 18\u201363. Springer, Heidelberg (2006)"},{"issue":"2","key":"2_CR30","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P.-Y. Schobbens","year":"2007","unstructured":"Schobbens, P.-Y., Heymans, P., Trigaux, J.-C., Bontemps, Y.: Generic semantics of feature diagrams. Computer Networks\u00a051(2), 456\u2013479 (2007)","journal-title":"Computer Networks"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-642-03013-0_19","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"F. Steimann","year":"2009","unstructured":"Steimann, F., Thies, A.: From public to private to absent: Refactoring Java programs under constrained accessibility. In: Drossopoulou, S. (ed.) ECOOP 2009 \u2013 Object-Oriented Programming. LNCS, vol.\u00a05653, pp. 419\u2013443. Springer, Heidelberg (2009)"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/1173706.1173736","volume-title":"5th International Conference on Generative Programming and Component Engineering","author":"S. Trujillo","year":"2006","unstructured":"Trujillo, S., Batory, D., Diaz, O.: Feature refactoring a multi-representation program into a product line. In: 5th International Conference on Generative Programming and Component Engineering, pp. 191\u2013200. ACM, New York (2006)"},{"key":"2_CR33","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-71437-8","volume-title":"Software Product Lines in Action: the Best Industrial Practice in Product Line Engineering","author":"F. Linden van der","year":"2007","unstructured":"van der Linden, F., Schmid, K., Rommes, E.: Software Product Lines in Action: the Best Industrial Practice in Product Line Engineering. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:57:45Z","timestamp":1606186665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}