{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:53:39Z","timestamp":1725846819481},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662491911"},{"type":"electronic","value":"9783662491928"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-49192-8_37","type":"book-chapter","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T15:47:27Z","timestamp":1452181647000},"page":"457-468","source":"Crossref","is-referenced-by-count":0,"title":["Finding Optimal Compatible Set of Software Components Using Integer Linear Programming"],"prefix":"10.1007","author":[{"given":"Jakub","family":"Danek","sequence":"first","affiliation":[]},{"given":"Premek","family":"Brada","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,8]]},"reference":[{"key":"37_CR1","unstructured":"OSGi Service Platform - Core Specification. Release 4, version 4.3, The OSGi Alliance, June 2011"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"Belguidoum, M., Dagnat, F.: Dependency management in software component deployment. In: Formal Aspects of Component Software (FACS 2006), Prague, Czech Republic, September 2006","DOI":"10.1109\/DEPCOS-RELCOMEX.2007.16"},{"key":"37_CR3","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/0-387-28356-0_3","volume-title":"Search Methodologies","author":"R Bosch","year":"2005","unstructured":"Bosch, R., Trick, M.: Integer programming. In: Burke, E., Kendall, G. (eds.) Search Methodologies, pp. 69\u201395. Springer, New York (2005)"},{"issue":"2","key":"37_CR4","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 Theoret. Comput. Sci. 279(2), 17\u201331 (2011)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"37_CR5","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/j.scico.2014.06.013","volume":"97","author":"Premek Brada","year":"2015","unstructured":"Brada, P., Jezek, K.: Repository and meta-data design for efficient component consistency verification. Sci. Comput. Program. 97, Part 3, 349\u2013365 (2015)","journal-title":"Science of Computer Programming"},{"issue":"5","key":"37_CR6","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1002\/smr.377","volume":"20","author":"N Desnos","year":"2008","unstructured":"Desnos, N., Huchard, M., Tremblay, G., Urtado, C., Vauttier, S.: Search-based many-to-one component substitution. J. Softw. Maintenance Evol. Res. Pract. 20(5), 321\u2013344 (2008)","journal-title":"J. Softw. Maintenance Evol. Res. Pract."},{"issue":"8","key":"37_CR7","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1002\/stvr.438","volume":"22","author":"A Flores","year":"2012","unstructured":"Flores, A., Polo, M.: Testing-based process for component substitutability. Softw. Test. Verification Reliab. 22(8), 529\u2013561 (2012)","journal-title":"Softw. Test. Verification Reliab."},{"issue":"1","key":"37_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2379776.2379787","volume":"45","author":"M Harman","year":"2012","unstructured":"Harman, M., Mansouri, S.A., Zhang, Y.: Search-based software engineering. ACM Comput. Surv. 45(1), 1\u201361 (2012)","journal-title":"ACM Comput. Surv."},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Jezek, K., Ambroz, J.: Detecting incompatibilities concealed in duplicated software libraries. In: Proceedings of 41st Euromicro SEAA Conference (August 2015, to appear)","DOI":"10.1109\/SEAA.2015.17"},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Jezek, K., Dietrich, J.: On the use of static analysis to safeguard recursive dependency resolution. In: 40th Euromicro SEAA Conference, pp. 166\u2013173. IEEE, August 2014","DOI":"10.1109\/SEAA.2014.35"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"Olaechea, R., Rayside, D., Guo, J., Czarnecki, K.: Comparison of exact and approximate multi-objective optimization for software product lines. In: Proceedings of the 18th International Software Product Line Conference, vol. 1, pp. 92\u2013101. ACM (2014)","DOI":"10.1145\/2648511.2648521"},{"issue":"6","key":"37_CR12","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1109\/TSE.2008.67","volume":"34","author":"T Parsons","year":"2008","unstructured":"Parsons, T., Mos, A., Trofin, M., Gschwind, T., Murphy, J.: Extracting interactions in component-based systems. IEEE Trans. Software Eng. 34(6), 783\u2013799 (2008)","journal-title":"IEEE Trans. Software Eng."},{"key":"37_CR13","doi-asserted-by":"crossref","unstructured":"Steindl, M., Niemetz, M., Mottok, J., Racek, S.: Optimizing software integration in component-based embedded systems by using simulated annealing. In: Eurocon 2013, pp. 446\u2013451. IEEE, July 2013","DOI":"10.1109\/EUROCON.2013.6625020"},{"key":"37_CR14","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: 2010 Asia Pacific Software Engineering Conference, pp. 336\u2013345. IEEE, November 2010","DOI":"10.1109\/APSEC.2010.46"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2016: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49192-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T17:40:38Z","timestamp":1718300438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49192-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662491911","9783662491928"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49192-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}