{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:11:49Z","timestamp":1756894309375,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T00:00:00Z","timestamp":1296086400000},"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":[[2011,1,27]]},"DOI":"10.1145\/1944892.1944902","type":"proceedings-article","created":{"date-parts":[[2011,3,2]],"date-time":"2011-03-02T02:39:19Z","timestamp":1299033559000},"page":"82-89","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["A formal semantics for feature cardinalities in feature diagrams"],"prefix":"10.1145","author":[{"given":"Raphael","family":"Michel","sequence":"first","affiliation":[{"name":"CETIC Research Center"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Classen","sequence":"additional","affiliation":[{"name":"University of Namur"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaud","family":"Hubaux","sequence":"additional","affiliation":[{"name":"University of Namur"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quentin","family":"Boucher","sequence":"additional","affiliation":[{"name":"University of Namur"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,1,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0110-3"},{"key":"e_1_3_2_1_2_1","volume-title":"Course Notes on the WWW","author":"Andersen H. R.","year":"1997","unstructured":"H. R. Andersen . An introduction to binary decision diagrams. Technical report , Course Notes on the WWW , 1997 . H. R. Andersen. An introduction to binary decision diagrams. Technical report, Course Notes on the WWW, 1997."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2006.11.007"},{"key":"e_1_3_2_1_4_1","volume-title":"Accepted for publication at the 3rd International Conference on Software Language Engineering (SLE","author":"Bak K.","year":"2010","unstructured":"K. Bak , K. Czarnecki , and A. Wasowski . Feature and class models in Clafer: Mixed, specialized, and coupled . In Accepted for publication at the 3rd International Conference on Software Language Engineering (SLE 2010 ). K. Bak, K. Czarnecki, and A. Wasowski. Feature and class models in Clafer: Mixed, specialized, and coupled. In Accepted for publication at the 3rd International Conference on Software Language Engineering (SLE 2010)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10)","author":"Boucher Q.","year":"2010","unstructured":"Q. Boucher , A. Classen , P. Faber , and P. Heymans . Introducing TVL, a text-based feature modelling language . In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10) , Linz, Austria, January 27--29, pages 159--162. University of Duisburg-Essen , January 2010 . Q. Boucher, A. Classen, P. Faber, and P. Heymans. Introducing TVL, a text-based feature modelling language. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27--29, pages 159--162. University of Duisburg-Essen, January 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.10.005"},{"key":"e_1_3_2_1_8_1","volume-title":"Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09)","author":"Classen A.","year":"2009","unstructured":"A. Classen , A. Hubaux , and P. Heymans . A formal semantics for multi-level staged configuration . In Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09) , January 2009 . A. Classen, A. Hubaux, and P. Heymans. A formal semantics for multi-level staged configuration. In Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), January 2009."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.213"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.225"},{"key":"e_1_3_2_1_11_1","volume-title":"International Workshop on Software Factories at OOPSLA'05","author":"Czarnecki K.","year":"2005","unstructured":"K. Czarnecki and C. H. P. Kim . Cardinality-based feature modeling and constraints: a progress report . In International Workshop on Software Factories at OOPSLA'05 , San Diego, California, USA , 2005 . ACM. K. Czarnecki and C. H. P. Kim. Cardinality-based feature modeling and constraints: a progress report. In International Workshop on Software Factories at OOPSLA'05, San Diego, California, USA, 2005. ACM."},{"key":"e_1_3_2_1_12_1","volume-title":"Mathematics &amp","author":"Harel D.","year":"2000","unstructured":"D. Harel and B. Rumpe . Modeling languages: Syntax, semantics and all that stuff, part i: The basic stuff. Technical report , Mathematics &amp ; Computer Science, Weizmann Institute Of Science , Mathematics & Computer Science, Weizmann Rehovot, Israel, August 2000 . D. Harel and B. Rumpe. Modeling languages: Syntax, semantics and all that stuff, part i: The basic stuff. Technical report, Mathematics & Computer Science, Weizmann Institute Of Science, Mathematics & Computer Science, Weizmann Rehovot, Israel, August 2000."},{"key":"e_1_3_2_1_13_1","volume-title":"International Conference On Engineering Design (ICED) 2003","author":"Heiskala M.","year":"2003","unstructured":"M. Heiskala , A. Anderson , V. Huhtinen , J. Tiihonen , and A. Martio . A tool for comparing configurable products . In International Conference On Engineering Design (ICED) 2003 , 2003 . M. Heiskala, A. Anderson, V. Huhtinen, J. Tiihonen, and A. Martio. A tool for comparing configurable products. In International Conference On Engineering Design (ICED) 2003, 2003."},{"key":"e_1_3_2_1_15_1","unstructured":"D. Le Berre. SAT4j: a reasoning engine in Java based on the SATisfiability problem (SAT). http:\/\/www.sat4j.org.  D. Le Berre. SAT4j: a reasoning engine in Java based on the SATisfiability problem (SAT). http:\/\/www.sat4j.org."},{"key":"e_1_3_2_1_16_1","volume-title":"6th World Conference on Integrated Design & Process Technology (IDPT2002)","author":"Riebisch M.","year":"2002","unstructured":"M. Riebisch , K. B\u00f6llert , D. Streitferdt , and I. Philippow . Extending feature diagrams with uml multiplicities . In 6th World Conference on Integrated Design & Process Technology (IDPT2002) , June 2002 . M. Riebisch, K. B\u00f6llert, D. Streitferdt, and I. Philippow. Extending feature diagrams with uml multiplicities. In 6th World Conference on Integrated Design & Process Technology (IDPT2002), June 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"e_1_3_2_1_19_1","volume-title":"Answer Set Programming'01","author":"Soininen T.","year":"2001","unstructured":"T. Soininen , I. Niemel\u00e4 , J. Tiihonen , and R. Sulonen . Representing configuration knowledge with weight constraint rules . In Answer Set Programming'01 , 2001 . T. Soininen, I. Niemel\u00e4, J. Tiihonen, and R. Sulonen. Representing configuration knowledge with weight constraint rules. In Answer Set Programming'01, 2001."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.48"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68073-4_18"}],"event":{"name":"VaMoS '11: 2011 Variability Modeling of Software-intensive Systems","acronym":"VaMoS '11","location":"Namur Belgium"},"container-title":["Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1944892.1944902","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1944892.1944902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:31Z","timestamp":1750244371000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1944892.1944902"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,27]]},"references-count":20,"alternative-id":["10.1145\/1944892.1944902","10.1145\/1944892"],"URL":"https:\/\/doi.org\/10.1145\/1944892.1944902","relation":{},"subject":[],"published":{"date-parts":[[2011,1,27]]},"assertion":[{"value":"2011-01-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}