{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:54Z","timestamp":1750307334238,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,22]],"date-time":"2011-05-22T00:00:00Z","timestamp":1306022400000},"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,5,22]]},"DOI":"10.1145\/1985484.1985492","type":"proceedings-article","created":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T13:04:30Z","timestamp":1306242270000},"page":"25-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Design and validation of variability in product lines"],"prefix":"10.1145","author":[{"given":"Patrizia","family":"Asirelli","sequence":"first","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Firenze, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,5,22]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"94","volume-title":"The Concurrency Column","author":"Antonik A.","year":"2008"},{"key":"e_1_3_2_1_2_1","first-page":"71","volume-title":"Proceedings 3rd International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09)","author":"Asirelli P.","year":"2009"},{"key":"e_1_3_2_1_3_1","first-page":"37","volume-title":"Proceedings 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10)","author":"Asirelli P.","year":"2010"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"P.\n       \n      Asirelli M.\n     H.\n      \n  \n   \n  ter Beek A. Fantechi and S. Gnesi. A logical framework to deal with variability. In D. M\u00e9ry and S. Merz editors Proceedings 8th International Conference on Integrated Formal Methods (IFM'10) volume \n  6396\n   of \n  Lecture Notes in Computer Science pages \n  43\n  --\n  58\n  . \n  Springer Berlin 2010\n  .   P. Asirelli M. H. ter Beek A. Fantechi and S. Gnesi. A logical framework to deal with variability. In D. M\u00e9ry and S. Merz editors Proceedings 8th International Conference on Integrated Formal Methods (IFM'10) volume 6396 of Lecture Notes in Computer Science pages 43--58. Springer Berlin 2010.","DOI":"10.1007\/978-3-642-16265-7_5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"P. Asirelli M. H. ter Beek A. Fantechi and S. Gnesi. Formal description of variability in product families. Submitted 2011.  P. Asirelli M. H. ter Beek A. Fantechi and S. Gnesi. Formal description of variability in product families. Submitted 2011.","DOI":"10.1109\/SPLC.2011.34"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.055"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008645826258"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287700"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.45"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"A.\n       \n      Fantechi S.\n       \n      Gnesi G.\n       \n      Lami and \n      \n      \n      E.\n       \n      Nesti\n      \n  \n  . \n  A methodology for the derivation and verification of use cases for product lines. In R. L. Nord editor Proceedings 3rd International Conference on Software Product Lines (SPLC'04) volume \n  3154\n   of \n  Lecture Notes in Computer Science pages \n  255\n  --\n  265\n  . \n  Springer Berlin 2004\n  .  A. Fantechi S. Gnesi G. Lami and E. Nesti. A methodology for the derivation and verification of use cases for product lines. In R. L. Nord editor Proceedings 3rd International Conference on Software Product Lines (SPLC'04) volume 3154 of Lecture Notes in Computer Science pages 255--265. Springer Berlin 2004.","DOI":"10.1007\/978-3-540-28630-1_16"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147254"},{"key":"e_1_3_2_1_15_1","first-page":"71","volume-title":"Proceedings First Alloy Workshop","author":"Gheyi R.","year":"2006"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"P.\n       \n      Godefroid M.\n       \n      Huth and \n      \n      \n      R.\n       \n      Jagadeesan\n      \n  \n  . \n  Abstraction-based model checking using modal transition systems. In K. G. Larsen and M. Nielsen editors Proceedings 11th International Conference on Concurrency Theory (CONCUR'01) volume \n  2154\n   of \n  Lecture Notes in Computer Science pages \n  426\n  --\n  440\n  . \n  Springer Berlin 2001\n  .   P. Godefroid M. Huth and R. Jagadeesan. Abstraction-based model checking using modal transition systems. In K. G. Larsen and M. Nielsen editors Proceedings 11th International Conference on Concurrency Theory (CONCUR'01) volume 2154 of Lecture Notes in Computer Science pages 426--440. Springer Berlin 2001.","DOI":"10.1007\/3-540-44685-0_29"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68863-1_8"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.22"},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"R. De Nicola","author":"Larsen K. G.","year":"2007"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"M.\n       \n      Mannion\n     and \n      \n      \n      J.\n       \n      Camara\n      \n  \n  . \n  Theorem proving for product line model verification. In F. van der Linden editor Proceedings 5th International Workshop on Software Product Family Engineering (PFE'03) volume \n  3014\n   of \n  Lecture Notes in Computer Science pages \n  211\n  --\n  224\n  . \n  Springer Berlin 2004\n  .  M. Mannion and J. Camara. Theorem proving for product line model verification. In F. van der Linden editor Proceedings 5th International Workshop on Software Product Family Engineering (PFE'03) volume 3014 of Lecture Notes in Computer Science pages 211--224. Springer Berlin 2004.","DOI":"10.1007\/978-3-540-24667-1_16"},{"key":"e_1_3_2_1_22_1","unstructured":"F. Mazzanti. FMC v5.0b. http:\/\/fmtlab.isti.cnr.it\/fmc  F. Mazzanti. FMC v5.0b. http:\/\/fmtlab.isti.cnr.it\/fmc"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.05.003"}],"event":{"name":"ICSE11: International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Waikiki, Honolulu HI USA","acronym":"ICSE11"},"container-title":["Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985484.1985492","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1985484.1985492","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:12Z","timestamp":1750244772000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985484.1985492"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,22]]},"references-count":23,"alternative-id":["10.1145\/1985484.1985492","10.1145\/1985484"],"URL":"https:\/\/doi.org\/10.1145\/1985484.1985492","relation":{},"subject":[],"published":{"date-parts":[[2011,5,22]]},"assertion":[{"value":"2011-05-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}