{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:15:37Z","timestamp":1725624937191},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642338250"},{"type":"electronic","value":"9783642338267"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33826-7_8","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T18:46:25Z","timestamp":1348598785000},"page":"109-125","source":"Crossref","is-referenced-by-count":2,"title":["Verification of Aspectual Composition in Feature-Modeling"],"prefix":"10.1007","author":[{"given":"Qinglei","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Ridha","family":"Khedri","sequence":"additional","affiliation":[]},{"given":"Jason","family":"Jaskolka","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-12107-4_6","volume-title":"Software Language Engineering","author":"M. Acher","year":"2010","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Composing Feature Models. In: van den Brand, M., Ga\u0161evi\u0107, D., Gray, J. (eds.) SLE 2009. LNCS, vol.\u00a05969, pp. 62\u201381. Springer, Heidelberg (2010)"},{"key":"8_CR2","unstructured":"Alturki, F., Khedri, R.: A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra. In: 13th Workshop on Requirement Engineering (2010)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Apel, S., Leich, T., Saake, G.: Aspectual Mixin Layers: Aspects and Features in Concert. In: Proc. of Intl. Conf. on Software Engineering, pp. 122\u2013131. ACM, N.Y. (2006)","DOI":"10.1145\/1134285.1134304"},{"issue":"6","key":"8_CR4","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\u00e9ss, A.: Automated Analysis of Feature Models 20 Years Later: A Literature Review. J. Information Systems\u00a035(6), 615\u2013636 (2010)","journal-title":"J. Information Systems"},{"key":"8_CR5","unstructured":"Chitchyan, R., Rashid, A., Sawyer, P., et al.: Survey of Analysis and Design Approach. Tech. rep., AOSD-Europe (2005)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Groher, I., Voelter, M.: Xweave: Models and aspects in Concert. In: Proc. of the 10th Workshop on Aspect-Oriented Modelling, pp. 35\u201340. ACM, N.Y. (2007)","DOI":"10.1145\/1229375.1229381"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Hannousse, A., Douence, R., Ardourel, G.: Static Analysis of Aspect Interaction and Composition in Component Models. In: 10th Intl. Conf. on Generative Programming and Component Engineering, pp. 43\u201352. ACM, N.Y. (2011)","DOI":"10.1145\/2047862.2047871"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/11813040_21","volume-title":"FM 2006: Formal Methods","author":"P. H\u00f6fner","year":"2006","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Feature Algebra. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 300\u2013315. Springer, Heidelberg (2006)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Algebraic View Reconciliation. In: The 6th IEEE Intl. Conf. on Software Engineering and Formal Methods, pp. 85\u201394. IEEE CS, Wash. (2008)","DOI":"10.1109\/SEFM.2008.36"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10270-009-0127-2","volume":"10","author":"P. H\u00f6fner","year":"2011","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: An Algebra of Product Families. Software and Systems Modeling\u00a010(2), 161\u2013182 (2011)","journal-title":"Software and Systems Modeling"},{"issue":"1\u20132","key":"8_CR11","first-page":"245","volume":"5","author":"P. H\u00f6fner","year":"2011","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Supplementing Product Families with Behaviour. Intl. J. of Software and Informatics\u00a05(1\u20132), 245\u2013266 (2011)","journal-title":"Intl. J. of Software and Informatics"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., et al.: Aspect-Oriented Programming. In: Aksit, M., Auletta, V. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Kuhlemann, M., Batory, D., K\u00e4stner, C.: Safe Composition of Non-Monotonic Features. In: Proc. of 8th Intl. Conf. on Generative Programming and Component Engineering, pp. 177\u2013186. ACM, N.Y. (2009)","DOI":"10.1145\/1837852.1621634"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Kuusela, J., Tuominen, H.: Aspect-Oriented Approach to Operating System Development Empirical Study. In: Elleithy, K. (ed.) Advanced Techniques in Computing Sciences and Software Engineering, pp. 233\u2013238. Springer, Netherlands (2010)","DOI":"10.1007\/978-90-481-3660-5_39"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Oldevik, J., Haugen, \u00d8.: Higher-Order Transformations for Product Lines. In: Proc. of the 11th Intl. Software Product Line Conf. IEEE CS, Wash. (2007)","DOI":"10.1109\/SPLINE.2007.11"},{"key":"8_CR16","unstructured":"Pohl, K.: Software Product Line Engineering: Foundations, Principles, and Techniques, ch. 3. Springer, N.Y. (2005)"},{"issue":"6","key":"8_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/1041685.1029917","volume":"29","author":"M. Rinard","year":"2004","unstructured":"Rinard, M., Salcianu, A., Bugrara, S.: A Classification System and Analysis for Aspect-Oriented Programs. SIGSOFT Softw. Eng. Notes\u00a029(6), 147\u2013158 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-78195-0_8","volume-title":"Object-Oriented Technology. ECOOP 2007 Workshop Reader","author":"F. Sanen","year":"2008","unstructured":"Sanen, F., Chitchyan, R., Bergmans, L., Fabry, F., Sudholt, M., Mehner, K.: Aspects, Dependencies and Interactions. In: Cebulla, M. (ed.) ECOOP-WS 2007. LNCS, vol.\u00a04906, pp. 75\u201390. Springer, Heidelberg (2008)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Voelter, M., Groher, I.: Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. In: Proc. of the 11th Intl. Software Product Line Conf., pp. 233\u2013242. IEEE CS, Wash. (2007)","DOI":"10.1109\/SPLINE.2007.4339272"},{"key":"8_CR20","unstructured":"Xu, B., Yang, M., Liang, H., et al.: Maximizing Customer Satisfaction in Maintenance of Software Product Family. In: Canadian Conf. on Electrical and Computer Engineering, pp. 1320\u20131323 (2005)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Zhang, Q., Khedri, R., Jaskolka, J.: An Aspect-Oriented Language Based on Product Family Algebra: Aspects Specification and Verification. Tech. rep., McMaster University (2011)","DOI":"10.1016\/j.procs.2012.06.062"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Zhang, Q., Khedri, R., Jaskolka, J.: An Aspect-Oriented Language for Product Family Specification. In: The 3rd Intl. Conf. on Ambient Systems, Networks and Technologies, p. 10 (2012)","DOI":"10.1016\/j.procs.2012.06.062"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33826-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:22:17Z","timestamp":1620116537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33826-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642338250","9783642338267"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33826-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}