{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:31:14Z","timestamp":1725517874772},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540855668"},{"type":"electronic","value":"9783540855675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85567-5_40","type":"book-chapter","created":{"date-parts":[[2008,8,31]],"date-time":"2008-08-31T21:37:43Z","timestamp":1220218663000},"page":"319-326","source":"Crossref","is-referenced-by-count":0,"title":["Component Adaptation Architectures A Formal Approach"],"prefix":"10.1007","author":[{"given":"Andreea","family":"Vescan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"crossref","unstructured":"Crnkovic, I., Larsson, M.: Building Reliable Component-Based Software Systems. Artech House publisher (2002)","DOI":"10.1145\/638574.638587"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Fox, M.R., Brogan, D.C., Paul, F., Reynolds, J.: Approximating component selection. In: 36th conference on Winter simulation, Winter Simulation Conference, pp. 429\u2013434 (2004)","DOI":"10.1109\/WSC.2004.1371345"},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1109\/ASPEC.2007.38","volume-title":"14th Asia-Pacific Software Engineering Conference, Washington, DC, USA","author":"N. Haghpanah","year":"2007","unstructured":"Haghpanah, N., Moaven, S., Habibi, J., Kargar, M., Yeganeh, S.H.: Approximation algorithms for software component selection problem. In: 14th Asia-Pacific Software Engineering Conference, Washington, DC, USA, pp. 159\u2013166. IEEE Computer Society, Los Alamitos (2007)"},{"key":"40_CR4","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1109\/ICSM.2006.56","volume-title":"22nd IEEE International Conference on Software Maintenance, Washington, DC, USA","author":"P. Baker","year":"2006","unstructured":"Baker, P., Harman, M., Steinhofel, K., Skaliotis, A.: Search based approaches to component selection and prioritization for the next release problem. In: 22nd IEEE International Conference on Software Maintenance, Washington, DC, USA, pp. 176\u2013185. IEEE Computer Society, Los Alamitos (2006)"},{"key":"40_CR5","unstructured":"Ines Mouakher, A.L., Souquieres, J.: Component adaptation: Specification and verification. In: 11th Intl. Workshop on Component Oriented Programming, HAL - CCSD, pp. 23\u201330 (2006)"},{"key":"40_CR6","unstructured":"Penix, J., Alexander, P.: Toward automated component adaptation. In: 9th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute, pp. 535\u2013542 (1997)"},{"key":"40_CR7","unstructured":"Hemer, D.: A formal approach to component adaptation and composition. In: 28th Australasian conference on Computer Science, Darlinghurst, Australia, pp. 259\u2013266. Australian Computer Society, Inc. (2005)"},{"key":"40_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1109\/SKG.2005.123","volume-title":"SKG 2005: Proceedings of the First International Conference on Semantics, Knowledge and Grid","author":"X. Xiong","year":"2005","unstructured":"Xiong, X., Weishi, Z.: The current state of software component adaptation. In: SKG 2005: Proceedings of the First International Conference on Semantics, Knowledge and Grid, Washington, DC, USA, p. 103. IEEE Computer Society, Los Alamitos (2005)"},{"key":"40_CR9","doi-asserted-by":"crossref","unstructured":"Floyd, R.: Assigning meaning to programs. In: Schwartz, J.T. (ed.) Symposium on Applied Mathematics, pp. 19\u201332. A.M.S (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"issue":"10","key":"40_CR10","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"1","key":"40_CR11","first-page":"11","volume":"L","author":"M. Frentiu","year":"2005","unstructured":"Frentiu, M.: Correctness: a very important quality factor in programming. Studia Universitas Babes-Bolyai, Seria Informatica\u00a0L(1), 11\u201320 (2005)","journal-title":"Studia Universitas Babes-Bolyai, Seria Informatica"},{"key":"40_CR12","doi-asserted-by":"crossref","unstructured":"Fox, M.R., Brogan, D.C., Paul, F., Reynolds, J.: Approximating component selection. In: 36th conference on Winter simulation, Winter Simulation Conference, pp. 429\u2013434 (2004)","DOI":"10.1109\/WSC.2004.1371345"},{"key":"40_CR13","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1109\/ICSM.2006.56","volume-title":"22nd IEEE International Conference on Software Maintenance, Washington, DC, USA","author":"P. Baker","year":"2006","unstructured":"Baker, P., Harman, M., Steinhofel, K., Skaliotis, A.: Search based approaches to component selection and prioritization for the next release problem. In: 22nd IEEE International Conference on Software Maintenance, Washington, DC, USA, pp. 176\u2013185. IEEE Computer Society, Los Alamitos (2006)"},{"key":"40_CR14","first-page":"159","volume-title":"APSEC","author":"N. Haghpanah","year":"2007","unstructured":"Haghpanah, N., Moaven, S., Habibi, J., Kargar, M., Yeganeh, S.H.: Approximation algorithms for software component selection problem. In: APSEC, pp. 159\u2013166. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"2","key":"40_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.entcs.2006.02.034","volume":"176","author":"L. Gesellensetter","year":"2007","unstructured":"Gesellensetter, L., Glesner, S.: Only the best can make it: Optimal component selection. Electron. Notes Theor. Comput. Sci.\u00a0176(2), 105\u2013124 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85567-5_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T16:23:29Z","timestamp":1684513409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85567-5_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540855668","9783540855675"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85567-5_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}