{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:37:01Z","timestamp":1725730621975},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642389764"},{"type":"electronic","value":"9783642389771"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38977-1_9","type":"book-chapter","created":{"date-parts":[[2013,6,9]],"date-time":"2013-06-09T22:18:51Z","timestamp":1370816331000},"page":"127-143","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Analysis of Software Architectures with Variability"],"prefix":"10.1007","author":[{"given":"Gustavo G.","family":"Pascual","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M\u00f3nica","family":"Pinto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lidia","family":"Fuentes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering","author":"G.B. Klaus Pohl","year":"2005","unstructured":"Klaus Pohl, G.B., van der Linden, F.: Software Product Line Engineering. Springer, Heidelberg (2005)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., et al.: Cool features and tough decisions: a comparison of variability modeling approaches. In: Proceedings of VaMoS 2012, pp. 173\u2013182. ACM (2012)","DOI":"10.1145\/2110147.2110167"},{"issue":"4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1016\/j.infsof.2010.12.006","volume":"53","author":"L. Chen","year":"2011","unstructured":"Chen, L., Babar, M.A.: A systematic review of evaluation of variability management approaches in software product lines. Information and Software Technology\u00a053(4), 344\u2013362 (2011)","journal-title":"Information and Software Technology"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-78789-1_3","volume-title":"Software Composition","author":"N. Loughran","year":"2008","unstructured":"Loughran, N., S\u00e1nchez, P., Garcia, A., Fuentes, L.: Language support for managing variability in architectural models. In: Pautasso, C., Tanter, \u00c9. (eds.) SC 2008. LNCS, vol.\u00a04954, pp. 36\u201351. Springer, Heidelberg (2008)"},{"key":"9_CR5","unstructured":"Common Variability Language (CVL), \n                    \n                      http:\/\/www.omgwiki.org\/variability\/doku.php"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Reinhartz-Berger, I., Sturm, A.: Comprehensibility of uml-based software product line specifications. Empirical Software Engineering, 1\u201336 (2012)","DOI":"10.1007\/s10664-012-9234-8"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-642-23798-0_25","volume-title":"Software Architecture","author":"M. Acher","year":"2011","unstructured":"Acher, M., Cleve, A., Collet, P., Merle, P., Duchien, L., Lahire, P.: Reverse engineering architectural feature models. In: Crnkovic, I., Gruhn, V., Book, M. (eds.) ECSA 2011. LNCS, vol.\u00a06903, pp. 220\u2013235. Springer, Heidelberg (2011)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Parra, C., Cleve, A., Blanc, X., Duchien, L.: Feature-based composition of software architectures. Software Architecture, 230\u2013245 (2010)","DOI":"10.1007\/978-3-642-15114-9_18"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-642-04425-0_56","volume-title":"Model Driven Engineering Languages and Systems","author":"B. Morin","year":"2009","unstructured":"Morin, B., Perrouin, G., Lahire, P., Barais, O., Vanwormhoudt, G., J\u00e9z\u00e9quel, J.-M.: Weaving variability into domain metamodels. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 690\u2013705. Springer, Heidelberg (2009)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Razavian, M., Khosravi, R.: Modeling variability in the component and connector view of architecture using uml. In: IEEE\/ACS International Conference on Computer Systems and Applications, AICCSA 2008, pp. 801\u2013809 (April 2008)","DOI":"10.1109\/AICCSA.2008.4493618"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Gomaa, H.: Designing software product lines with uml 2.0: From use cases to pattern-based software architectures. Reuse of Off-the-Shelf Components, 440 (2006)","DOI":"10.1007\/11763864_45"},{"key":"9_CR12","unstructured":"Clauss, M.: Generic Modeling using UML extensions for variability. In: Proceedings of OOPSLA Workshop on Domain-specific Visual Languages, Tampa, FL, USA, pp. 11\u201318 (2001)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2031759.2031767","volume-title":"Proceedings of the 5th European Conference on Software Architecture: Companion Volume","author":"A. Haber","year":"2011","unstructured":"Haber, A., et al.: Delta-oriented architectural variability using monticore. In: Proceedings of the 5th European Conference on Software Architecture: Companion Volume, pp. 6:1\u20136:10. ACM, New York (2011)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-23798-0_14","volume-title":"Software Architecture","author":"E. Adachi Barbosa","year":"2011","unstructured":"Adachi Barbosa, E., Batista, T., Garcia, A., Silva, E.: PL-AspectualACME: an aspect-oriented adl for software product lines. In: Crnkovic, I., Gruhn, V., Book, M. (eds.) ECSA 2011. LNCS, vol.\u00a06903, pp. 139\u2013146. Springer, Heidelberg (2011)"},{"issue":"17","key":"9_CR15","first-page":"2374","volume":"16","author":"E.A.O. Junior","year":"2010","unstructured":"Junior, E.A.O., et al.: Systematic management of variability in uml-based software product lines. Journal of Universal Computer Science\u00a016(17), 2374\u20132393 (2010)","journal-title":"Journal of Universal Computer Science"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Ziadi, T., J\u00e9z\u00e9quel, J.M.: Product Line Engineering with the UML: Deriving Products. In: Pohl, K. (ed.) Software Product Lines, pp. 557\u2013586. Springer (2006)","DOI":"10.1007\/978-3-540-33253-4_15"},{"key":"9_CR17","unstructured":"Pashov, I., Riebisch, M.: Using feature modeling for program comprehension and software architecture recovery. In: 11th IEEE International Conference on the Engineering of Computer-Based Systems, pp. 406\u2013417 (May 2004)"},{"issue":"6","key":"9_CR18","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D. Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: A literature review. Information Systems\u00a035(6), 615\u2013636 (2010)","journal-title":"Information Systems"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11431855_34","volume-title":"Advanced Information Systems Engineering","author":"D. Benavides","year":"2005","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated reasoning on feature models. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 491\u2013503. Springer, Heidelberg (2005)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Segura, S., et al.: Betty: benchmarking and testing on the automated analysis of feature models. In: Proceedings of VAMOS 2012, pp. 63\u201371. ACM (2012)","DOI":"10.1145\/2110147.2110155"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Pascual, G.G., Pinto, M., Fuentes, L.: Run-time adaptation of mobile applications using genetic algorithms (submitted, 2013)","DOI":"10.1109\/SEAMS.2013.6595494"}],"container-title":["Lecture Notes in Computer Science","Safe and Secure Software Reuse"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38977-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T20:25:15Z","timestamp":1557779115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38977-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642389764","9783642389771"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38977-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}