{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:18:04Z","timestamp":1725520684338},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642347801"},{"type":"electronic","value":"9783642347818"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-34781-8_15","type":"book-chapter","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T11:20:37Z","timestamp":1349954437000},"page":"181-199","source":"Crossref","is-referenced-by-count":2,"title":["A Hierarchical Variability Model for Software Product Lines"],"prefix":"10.1007","author":[{"given":"Dilian","family":"Gurov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bjarte M.","family":"\u00d8stvold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, R., Imielinski, T., Swami, A.N.: Mining association rules between sets of items in large databases. In: SIGMOD Conference, pp. 207\u2013216 (1993)","DOI":"10.1145\/170036.170072"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Alves, V., Schwanninger, C., Barbosa, L., Rashid, A., Sawyer, P., Rayson, P., Pohl, C., Rummler, A.: An exploratory study of information retrieval techniques in domain analysis. In: SPLC, pp. 67\u201376 (2008)","DOI":"10.1109\/SPLC.2008.18"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-02408-5_2","volume-title":"Theory and Practice of Model Transformations","author":"S. Apel","year":"2009","unstructured":"Apel, S., Janda, F., Trujillo, S., K\u00e4stner, C.: Model Superimposition in Software Product Lines. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 4\u201319. Springer, Heidelberg (2009)"},{"issue":"6","key":"15_CR4","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D. Batory","year":"2004","unstructured":"Batory, D., Sarvela, J., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE Trans. Software Eng.\u00a030(6), 355\u2013371 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: GPCE. Springer (2010)","DOI":"10.1145\/1868294.1868298"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Generative Programming and Component Engineering","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping Features to Models: A Template Approach Based on Superimposed Variants. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 422\u2013437. Springer, Heidelberg (2005)"},{"key":"15_CR7","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley (2000)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., She, S., Wasowski, A.: Sample spaces and feature models: There and back again. In: SPLC, pp. 22\u201331 (2008)","DOI":"10.1109\/SPLC.2008.49"},{"key":"15_CR9","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer (1996)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Gomaa, H.: Designing Software Product Lines with UML. Addison Wesley (2004)","DOI":"10.1007\/978-3-540-28630-1_29"},{"key":"15_CR11","unstructured":"Gurov, D., \u00d8stvold, B.M., Schaefer, I.: A hierarchical variablility model for software product lines. Technical Report TRITA-CSC-TCS 2011:1, KTH Royal Institute of Technology, Stockholm, 26 pages (2011), \n                    \n                      http:\/\/www.csc.kth.se\/~dilian\/Papers\/techrep-11-1.pdf"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Haber, A., Rendel, H., Rumpe, B., Schaefer, I., van der Linden, F.: Hierarchical variability modeling for software architectures. In: Software Product Line Conference, SPLC 2011 (2011) (to appear)","DOI":"10.1109\/SPLC.2011.28"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G., Svendsen, A.: Adding Standardized Variability to Domain Specific Languages. In: Software Product Line Conference (SPLC 2008), pp. 139\u2013148. IEEE (2008)","DOI":"10.1109\/SPLC.2008.25"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Loesch, F., Ploedereder, E.: Optimization of variability in software product lines. In: SPLC, pp. 151\u2013162 (2007)","DOI":"10.1109\/SPLINE.2007.4339264"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Niu, N., Easterbrook, S.: Concept analysis for product line requirements. In: Proceedings of the 8th ACM International Conference on Aspect-oriented Software Development, AOSD 2009, pp. 137\u2013148 (2009)","DOI":"10.1145\/1509239.1509259"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Noda, N., Kishi, T.: Aspect-Oriented Modeling for Variability Management. In: Software Product Line Conference (SPLC 2008), pp. 213\u2013222. IEEE (2008)","DOI":"10.1109\/SPLC.2008.44"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"P\u00e9rez, J., D\u00edaz, J., Soria, C.C., Garbajosa, J.: Plastic Partial Components: A solution to support variability in architectural components. In: WICSA\/ECSA, pp. 221\u2013230 (2009)","DOI":"10.1109\/WICSA.2009.5290808"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/1868294.1868299","volume-title":"Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010","author":"U. Ryssel","year":"2010","unstructured":"Ryssel, U., Ploennigs, J., Kabitzsch, K.: Automatic variation-point identification in function-block-based models. In: Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, pp. 23\u201332. ACM, New York (2010)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-25271-6_10","volume-title":"Formal Methods for Components and Objects","author":"I. Schaefer","year":"2011","unstructured":"Schaefer, I., Gurov, D., Soleimanifard, S.: Compositional Algorithmic Verification of Software Product Lines. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 184\u2013203. Springer, Heidelberg (2011)"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/227607.227613","volume":"5","author":"G. Snelting","year":"1996","unstructured":"Snelting, G.: Reengineering of configurations based on mathematical concept analysis. ACM Trans. Softw. Eng. Methodol.\u00a05, 146\u2013189 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"7","key":"15_CR22","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1109\/TSE.2005.84","volume":"31","author":"R. Ommering van","year":"2005","unstructured":"van Ommering, R.: Software reuse in product populations. IEEE Trans. Software Eng.\u00a031(7), 537\u2013550 (2005)","journal-title":"IEEE Trans. Software Eng."},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"V\u00f6lter, M., Groher, I.: Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. In: Software Product Line Conference (SPLC 2007), pp. 233\u2013242. IEEE (2007)","DOI":"10.1109\/SPLINE.2007.23"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-24667-1_10","volume-title":"Software Product-Family Engineering","author":"T. Ziadi","year":"2004","unstructured":"Ziadi, T., H\u00eblou\u00ebt, L., J\u00e9z\u00e9quel, J.-M.: Towards a UML Profile for Software Product Lines. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol.\u00a03014, pp. 129\u2013139. Springer, Heidelberg (2004)"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34781-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T01:19:05Z","timestamp":1557278345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34781-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642347801","9783642347818"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34781-8_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}