{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:49:04Z","timestamp":1725518944713},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_55","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"797-812","source":"Crossref","is-referenced-by-count":6,"title":["Managing Variability Complexity in Aspect-Oriented Modeling"],"prefix":"10.1007","author":[{"given":"Brice","family":"Morin","sequence":"first","affiliation":[]},{"given":"Gilles","family":"Vanwormhoudt","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Lahire","sequence":"additional","affiliation":[]},{"given":"Alban","family":"Gaignard","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Barais","sequence":"additional","affiliation":[]},{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Barais, O., Klein, J., Baudry, B., Jackson, A., Clarke, S.: Composing Multi-View Aspect Models. In: 7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), Madrid, Spain (Febuary 2008)","key":"55_CR1","DOI":"10.1109\/ICCBSS.2008.12"},{"key":"55_CR2","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-540-33253-4_11","volume-title":"Software Product Lines","author":"A. Bertolino","year":"2006","unstructured":"Bertolino, A., Fantechi, A., Gnesi, S., Lami, G.: Product Line Use Cases: Scenario-based Specification and Testing of Requirements. In: Software Product Lines, pp. 425\u2013445. Springer, Heidelberg (2006)"},{"key":"55_CR3","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1147249.1147257","volume-title":"ROSATEA 2006: ISSTA 2006 workshop on Role of software architecture for testing and analysis","author":"M.B. Cohen","year":"2006","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Coverage and Adequacy in Software Product Line Testing. In: ROSATEA 2006: ISSTA 2006 workshop on Role of software architecture for testing and analysis, pp. 53\u201363. ACM Press, New York (2006)"},{"key":"55_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/1173706.1173738","volume-title":"GPCE 2006: Proceedings of the 6th Int. Conf. on Generative Programming and Component Engineering","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In: GPCE 2006: Proceedings of the 6th Int. Conf. on Generative Programming and Component Engineering, pp. 211\u2013220. ACM Press, New York (2006)"},{"key":"55_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-540-27799-6_4","volume-title":"Software Reuse: Methods, Techniques, and Tools","author":"B. Geppert","year":"2004","unstructured":"Geppert, B., Li, J.J., R\u00f6\u00dfler, F., Weiss, D.M.: Towards Generating Acceptance Tests for Product Lines. In: Bosch, J., Krueger, C. (eds.) ICOIN 2004 and ICSR 2004. LNCS, vol.\u00a03107, pp. 35\u201348. Springer, Heidelberg (2004)"},{"key":"55_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/11554844_18","volume-title":"Software Product Lines","author":"T. Kishi","year":"2005","unstructured":"Kishi, T., Noda, N., Katayama, T.: Design Verification for Product Line Development. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 150\u2013161. Springer, Heidelberg (2005)"},{"key":"55_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-540-75209-7_34","volume-title":"Model Driven Engineering Languages and Systems","author":"P.. Lahire","year":"2007","unstructured":"Lahire, P., Morin, B., Vanwormhoudt, G., Gaignard, A., Barais, O., J\u00e9z\u00e9quel, J.M.: Introducing Variability into Aspect-Oriented Modeling Approaches. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 498\u2013513. Springer, Heidelberg (2007)"},{"issue":"1","key":"55_CR8","doi-asserted-by":"crossref","first-page":"117","DOI":"10.5381\/jot.2006.5.1.a5","volume":"5","author":"P.. Lahire","year":"2006","unstructured":"Lahire, P., Quintian, L.: New Perspective To Improve Reusability in Object-Oriented Languages. Journal Of Object Technology (JOT)\u00a05(1), 117\u2013138 (2006)","journal-title":"Journal Of Object Technology (JOT)"},{"key":"55_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-540-24667-1_16","volume-title":"Software Product-Family Engineering","author":"M. Mannion","year":"2004","unstructured":"Mannion, M., C\u00e1mara, J.: Theorem Proving for Product Line Model Verification. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol.\u00a03014, pp. 211\u2013224. Springer, Heidelberg (2004)"},{"key":"55_CR10","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/RE.2007.27","volume-title":"RE 2007: 15th Int. Conf. on Requirements Engineering","author":"A. Metzger","year":"2007","unstructured":"Metzger, A., Heymans, P., Pohl, K., Schobbens, P.-Y., Saval, G.: Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. In: RE 2007: 15th Int. Conf. on Requirements Engineering, Delhi, October 2007, pp. 243\u2013253. IEEE Computer Society, Los Alamitos (2007)"},{"unstructured":"Morin, B., Barais, O., J\u00e9z\u00e9quel, J.M.: Weaving Aspect Configurations for Managing System Variability. In: VaMoS 2008: 2nd International Workshop on Variability Modelling of Software-intensive Systems, Essen, Germany (2008)","key":"55_CR11"},{"key":"55_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.A. Muller","year":"2005","unstructured":"Muller, P.A., Fleurey, F., J\u00e9z\u00e9quel, J.M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713. Springer, Heidelberg (2005)"},{"key":"55_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/978-3-540-24667-1_15","volume-title":"Software Product-Family Engineering","author":"C. Nebut","year":"2004","unstructured":"Nebut, C., Fleurey, F., Le Traon, Y., J\u00e9z\u00e9quel, J.M.: A Requirement-Based Approach to Test Product Families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol.\u00a03014, pp. 198\u2013210. Springer, Heidelberg (2004)"},{"issue":"12","key":"55_CR14","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1183236.1183271","volume":"49","author":"K. Pohl","year":"2006","unstructured":"Pohl, K., Metzger, A.: Software Product Line Testing. Commun. ACM\u00a049(12), 78\u201381 (2006)","journal-title":"Commun. ACM"},{"key":"55_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-75209-7_9","volume-title":"Model Driven Engineering Languages and Systems","author":"R. Ramos","year":"2007","unstructured":"Ramos, R., Barais, O., J\u00e9z\u00e9quel, J.M.: Matching Model Snippets. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 121\u2013135. Springer, Heidelberg (2007)"},{"key":"55_CR16","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-33253-4_13","volume-title":"Software Product Lines","author":"A. Reuys","year":"2006","unstructured":"Reuys, A., Reis, S., Kamsties, E., Pohl, K.: The ScenTED Method for Testing Software Product Lines. In: Software Product Lines, pp. 479\u2013520. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.-M.: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. In: ICST 2008: 1st Int. Conf. on Software Testing Verification and Validation, Lillehammer, Norway (April 2008)","key":"55_CR17","DOI":"10.1109\/ICST.2008.62"},{"unstructured":"Sen, S., Baudry, B., Precup, D.: Partial Model Completion in Model Driven Engineering using Constraint Logic Programming. In: Int. Conf. on Appl. of Declarative Programming and Knowledge Management, Wurzburg, Germany (October 2007)","key":"55_CR18"},{"unstructured":"SmartAdapters action language semantics (2008), \n                      \n                        http:\/\/www.irisa.fr\/triskell\/perso_pro\/obarais\/pmwiki.php?n=Research.SmartAdapters","key":"55_CR19"},{"key":"55_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-540-44542-5_17","volume-title":"Software Architectures for Product Families","author":"M. Svahnberg","year":"2000","unstructured":"Svahnberg, M., Bosch, J.: Issues Concerning Variability in Software Product Lines. In: van der Linden, F.J. (ed.) IW-SAPF 2000. LNCS, vol.\u00a01951, pp. 146\u2013157. Springer, Heidelberg (2000)"},{"key":"55_CR21","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/1289971.1289989","volume-title":"GPCE 2007: 6th Int. Conf. on Generative Programming and Component Engineering","author":"S. Thaker","year":"2007","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe Composition of Product Lines. In: GPCE 2007: 6th Int. Conf. on Generative Programming and Component Engineering, pp. 95\u2013104. ACM, New York (2007)"},{"key":"55_CR22","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/978-3-540-33253-4_15","volume-title":"Software Product Lines","author":"T. Ziadi","year":"2006","unstructured":"Ziadi, T., J\u00e9z\u00e9quel, J.M.: Product Line Engineering with the UML: Products Derivation. In: Software Product Lines, pp. 557\u2013588. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:51:08Z","timestamp":1619524268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}