{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:12:35Z","timestamp":1748751155939,"version":"3.41.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319270326"},{"type":"electronic","value":"9783319270333"}],"license":[{"start":{"date-parts":[[2015,12,10]],"date-time":"2015-12-10T00:00:00Z","timestamp":1449705600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-27033-3_9","type":"book-chapter","created":{"date-parts":[[2015,12,10]],"date-time":"2015-12-10T18:47:20Z","timestamp":1449773240000},"page":"125-143","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Preventing Composition Problems in Modular Java Applications"],"prefix":"10.1007","author":[{"given":"Kamil","family":"Jezek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Holy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakub","family":"Danek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,10]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.entcs.2008.06.022","volume":"215","author":"M Belguidoum","year":"2008","unstructured":"Belguidoum, M., Dagnat, F.: Formalization of component substitutability. Electron. Notes Theoret. Comput. Sci. 215, 75\u201392 (2008)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Fluri, B., Gall, H.C.: Classifying change types for qualifying change couplings. In: Proceedings of the 14th IEEE International Conference on Program Comprehension, ICPC 2006, pp. 35\u201345. IEEE Computer Society, Washington, DC (2006)","DOI":"10.1109\/ICPC.2006.16"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Kawrykow, D., Robillard, M.P.: Non-essential changes in version histories. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 351\u2013360. ACM, New York (2011)","DOI":"10.1145\/1985793.1985842"},{"issue":"5","key":"9_CR4","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1134\/S0361768812050052","volume":"38","author":"A Ponomarenko","year":"2012","unstructured":"Ponomarenko, A., Rubanov, V.: Backward compatibility of software interfaces: steps towards automatic verification. Program. Comput. Softw. 38(5), 257\u2013267 (2012)","journal-title":"Program. Comput. Softw."},{"issue":"10","key":"9_CR5","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1145\/217839.217880","volume":"30","author":"Ira R. Forman","year":"1995","unstructured":"Forman, I.R., Conner, M.H., Danforth, S.H., Raper, L.K.: Release-to-release binary compatibility in SOM. In: Proceedings OOPSLA 1995, pp. 426\u2013438. ACM, New York (1995)","journal-title":"ACM SIGPLAN Notices"},{"key":"9_CR6","volume-title":"The Java Language Specification, Java SE 7th edn","author":"J Gosling","year":"2012","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The Java Language Specification, Java SE 7th edn. Addison-Wesley, USA (2012). (3rd edn. 2005)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Drossopoulou, S., Wragg, D., Eisenbach, S.: What is Java binary compatibility? In: ACM SIGPLAN Notices, vol. 33, pp. 341\u2013361. ACM (1998)","DOI":"10.1145\/286942.286974"},{"key":"9_CR8","unstructured":"des Rivi\u00e8res, J.: Evolving Java-based APIs (2007). http:\/\/wiki.eclipse.org\/Evolving_Java-based_APIs . Accessed 1 December 2014"},{"issue":"22\u201324","key":"9_CR9","doi-asserted-by":"publisher","first-page":"2174","DOI":"10.1016\/j.tcs.2010.01.026","volume":"411","author":"N Francesco De","year":"2010","unstructured":"De Francesco, N., Lettieri, G., Martini, L.: Using abstract interpretation to add type checking for interfaces in java bytecode verification. Theor. Comput. Sci. 411(22\u201324), 2174\u20132201 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR10","first-page":"14:1","volume":"21(3)","author":"C K\u00e4stner","year":"2012","unstructured":"K\u00e4stner, C., Apel, S., Th\u00fcm, T., Saake, G.: Type checking annotation-based product lines. ACM Trans. Softw. Eng. Methodol. 21(3), 14:1\u201314:39 (2012)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Gregersen, A.R.: Implications of modular systems on dynamic updating. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE 2011, pp. 169\u2013178. ACM, New York (2011)","DOI":"10.1145\/2000229.2000254"},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1002\/smr.406","volume":"21","author":"AR Gregersen","year":"2009","unstructured":"Gregersen, A.R., J\u00f8rgensen, B.N.: Dynamic update of java applications-balancing change flexibility vs programming transparency. J. Softw. Maint. Evol. 21(2), 81\u2013112 (2009)","journal-title":"J. Softw. Maint. Evol."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Pukall, M., Grebhahn, A., Schr\u00f6ter, R., K\u00e4stner, C., Cazzola, W., G\u00f6tz, S.: JavAdaptor: unrestricted dynamic software updates for Java. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 989\u2013991. ACM, New York (2011)","DOI":"10.1145\/1985793.1985970"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Dietrich, J., Jezek, K., Brada, P.: What Java Developers Know About Compatibility. And Why This Matters, ArXiv e-prints, August 2014","DOI":"10.1007\/s10664-015-9389-1"},{"key":"9_CR15","first-page":"129","volume":"65","author":"K Jezek","year":"2015","unstructured":"Jezek, K., Dietrich, J., Brada, P.: How java apis break - an empirical study. J. IST 65, 129\u2013146 (2015)","journal-title":"J. IST"},{"issue":"2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.entcs.2011.11.009","volume":"279","author":"P Brada","year":"2011","unstructured":"Brada, P.: Enhanced type-based component compatibility using deployment context information. Electron. Notes Theor. Comput. Sci. 279(2), 17\u201331 (2011)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Jezek, K., Holy, L., Slezacek, A., Brada, P.: Software components compatibility verification based on static byte-code analysis. In: SEAA, 39th EUROMICRO, pp. 145\u2013152. IEEE Computer Society (2013)","DOI":"10.1109\/SEAA.2013.58"},{"key":"9_CR18","volume-title":"The Java Virtual Machine Specification. Java SE 7 Edition","author":"T Lindholm","year":"2012","unstructured":"Lindholm, T., Yellin, F., Bracha, G., Buckley, A.: The Java Virtual Machine Specification. Java SE 7 Edition. Oracle America Inc., California (2012)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Jezek, K., Ambroz, J.: Detecting incompatibilities concealed in duplicated software libraries. In: SEAA 2015 (2015) inprint","DOI":"10.1109\/SEAA.2015.17"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Jezek, K., Dietrich, J.: On the use of static analysis to safeguard recursive dependency resolution. In: SEAA 2014, pp. 166\u2013173. IEEE Computer Society (2014)","DOI":"10.1109\/SEAA.2014.35"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Holy, L., Snajberk, J., Brada, P.: Visual clutter reduction for UML component diagrams: a tool presentation. In: 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC), pp. 253\u2013254, September 2012","DOI":"10.1109\/VLHCC.2012.6344540"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Holy, L., Snajberk, J., Brada, P., Jezek, K.: A visualization tool for reverse engineering of complex component applications. In: 2013 29th IEEE International Conference on Software Maintenance (ICSM), pp. 500\u2013503, September 2013","DOI":"10.1109\/ICSM.2013.82"},{"key":"9_CR23","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-02152-7_29","volume-title":"Product-Focused Software Process Improvement","author":"K Petersen","year":"2009","unstructured":"Petersen, K., Wohlin, C., Baca, D.: The waterfall model in large-scale development. In: Bomarius, F., Oivo, M., Jaring, P., Abrahamsson, P. (eds.) PROFES 2009. LNBIP, vol. 32, pp. 386\u2013400. Springer, Heidelberg (2009)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Tempero, E., Anslow, C., Dietrich, J., Han, T., Li, J., Lumpe, M., Melton, H., Noble, J.: The qualitas corpus: a curated collection of Java code for empirical studies. In: Proceedings APSEC 2010, pp. 336\u2013345. IEEE (2010)","DOI":"10.1109\/APSEC.2010.46"}],"container-title":["Lecture Notes in Business Information Processing","Software Quality. The Future of Systems- and Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27033-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T18:52:31Z","timestamp":1748717551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27033-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,10]]},"ISBN":["9783319270326","9783319270333"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27033-3_9","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2015,12,10]]},"assertion":[{"value":"10 December 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}