{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:00:12Z","timestamp":1777899612724,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,1,22]],"date-time":"2014-01-22T00:00:00Z","timestamp":1390348800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,1,22]]},"DOI":"10.1145\/2556624.2556641","type":"proceedings-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T13:40:06Z","timestamp":1389706806000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Towards system analysis with variability model metrics"],"prefix":"10.1145","author":[{"given":"Thorsten","family":"Berger","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianmei","family":"Guo","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,1,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"cppstats tool. http:\/\/fosd.net\/cppstats.  cppstats tool. http:\/\/fosd.net\/cppstats."},{"key":"e_1_3_2_1_2_1","unstructured":"VMM tool. https:\/\/bitbucket.org\/tberger\/vmm.  VMM tool. https:\/\/bitbucket.org\/tberger\/vmm."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041790.2041822"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362553"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-010-9127-2"},{"key":"e_1_3_2_1_6_1","unstructured":"V. R. Basili G. Caldiera and H. D. Rombach. The goal question metric approach. Encyclopedia of software engineering 2(1994):528--532 1994.  V. R. Basili G. Caldiera and H. D. Rombach. The goal question metric approach. Encyclopedia of software engineering 2(1994):528--532 1994."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_8_1","unstructured":"T. Berger D. Nair R. Rublack J. M. Atlee K. Czarnecki and A. W\u0105sowski. Variability modeling in industry: Practices benefits and challenges. Under review.  T. Berger D. Nair R. Rublack J. M. Atlee K. Czarnecki and A. W\u0105sowski. Variability modeling in industry: Practices benefits and challenges. Under review."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_10_1","unstructured":"T. Berger and S. She. Formal semantics of the CDL language. Technical Note. Available at http:\/\/informatik.uni-leipzig.de\/~berger\/cdl_semantics.pdf 2010.  T. Berger and S. She. Formal semantics of the CDL language. Technical Note. Available at http:\/\/informatik.uni-leipzig.de\/~berger\/cdl_semantics.pdf 2010."},{"key":"e_1_3_2_1_11_1","volume-title":"University of Leipzig, 2010","author":"Berger T.","year":"2010"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.34"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.481535"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00202-6"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.12.006"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.10.005"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0002"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110167"},{"key":"e_1_3_2_1_19_1","volume-title":"CLEI","author":"de Oliveira Junior E. A.","year":"2008"},{"key":"e_1_3_2_1_20_1","volume-title":"VaMoS","author":"Dhungana D.","year":"2010"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321730"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38977-1_3"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491652"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"K. M. Eisenhardt and M. E. Graebner. Theory building from cases: Opportunities and challenges. Academy of management journal 50(1):25--32 2007.  K. M. Eisenhardt and M. E. Graebner. Theory building from cases: Opportunities and challenges. Academy of management journal 50(1):25--32 2007.","DOI":"10.5465\/amj.2007.24160888"},{"key":"e_1_3_2_1_26_1","volume-title":"IEEE","author":"Laird L. M.","year":"2007"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_28_1","volume-title":"VaMoS","author":"Lopez-Herrejon R. E.","year":"2008"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885653"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640002"},{"key":"e_1_3_2_1_31_1","volume-title":"SPLC","author":"Mendon\u00e7a M.","year":"2009"},{"key":"e_1_3_2_1_32_1","volume-title":"Journal of Software: Evolution and Process","author":"Nadi S.","year":"2013"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491628"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00053-1"},{"key":"e_1_3_2_1_35_1","volume-title":"Prentice Hall","author":"Salkind N. J.","year":"2003"},{"key":"e_1_3_2_1_36_1","unstructured":"S. She and T. Berger. Formal semantics of the Kconfig language. Technical Note. Available at http:\/\/eng.uwaterloo.ca\/~shshe\/kconfig_semantics.pdf 2010.  S. She and T. Berger. Formal semantics of the Kconfig language. Technical Note. Available at http:\/\/eng.uwaterloo.ca\/~shshe\/kconfig_semantics.pdf 2010."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985856"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.500"}],"event":{"name":"VaMoS '14: The Eighth International Workshop on Variability Modelling of Software-intensive Systems","location":"Sophia Antipolis France","acronym":"VaMoS '14","sponsor":["University of Duisburg-Essen","IT University of Copenhagen","UNSA University of Nice Sophia Antipolis"]},"container-title":["Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2556624.2556641","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2556624.2556641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:05Z","timestamp":1750234205000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2556624.2556641"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,22]]},"references-count":37,"alternative-id":["10.1145\/2556624.2556641","10.1145\/2556624"],"URL":"https:\/\/doi.org\/10.1145\/2556624.2556641","relation":{},"subject":[],"published":{"date-parts":[[2014,1,22]]},"assertion":[{"value":"2014-01-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}