{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:11:40Z","timestamp":1729649500540,"version":"3.28.0"},"reference-count":47,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/compsac.2011.66","type":"proceedings-article","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T13:25:23Z","timestamp":1317907523000},"page":"456-465","source":"Crossref","is-referenced-by-count":12,"title":["Conformance Checking with Constraint Logic Programming: The Case of Feature Models"],"prefix":"10.1109","author":[{"given":"Raul","family":"Mazo","sequence":"first","affiliation":[]},{"given":"Roberto E.","family":"Lopez-Herrejon","sequence":"additional","affiliation":[]},{"given":"Camille","family":"Salinesi","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Diaz","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"first-page":"29","article-title":"A Formal Semantics for Decision-oriented Variability Modeling with DOPLER","year":"0","author":"dhungana","key":"ref39"},{"article-title":"Criteria for the verification of feature models","year":"0","author":"salinesi","key":"ref38"},{"first-page":"513","article-title":"Integrity Constraints Checking In Deductive Databases","year":"0","author":"oliv\u00e9","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1243987.1243989"},{"key":"ref31","first-page":"32","article-title":"Incremental Detection of Model Inconsistencies Based on Model Operations","author":"blanc","year":"2009","journal-title":"CAiSE'09"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/11767138_7"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MC.2004.172","article-title":"Meaningful modeling: what's the semantics of “semantics”?","volume":"37","author":"hare1","year":"2004","journal-title":"IEEE Computer"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"article-title":"Classification of model transformation approaches","year":"0","author":"czarnecki","key":"ref35"},{"key":"ref34","first-page":"61","article-title":"Integrity checking in deductive databases","author":"kowalski","year":"1987","journal-title":"Proc 28th International Conference on Very Large Data Bases (VLDB)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.08.008"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/spip.213"},{"article-title":"Solving Integer Constraint in Reuse Based Requirements Engineering","year":"0","author":"salinesi","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2003.1194811"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSR.1998.685732"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.011"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.10.030"},{"journal-title":"Proceedings of the Sofware Product Line Conference","article-title":"SAT-based analysis of feature models is easy","year":"2009","author":"mendon\u00e7a","key":"ref17"},{"journal-title":"Proc of Workshop on Software Variability Management for Product Derivation (Towards Tool Support)","article-title":"Deficiencies in feature models","year":"2004","author":"von der massen","key":"ref18"},{"journal-title":"Technical Report CMU\/SEI-90-TR-21 Software Engineering Institute","article-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study","year":"1990","author":"kang","key":"ref19"},{"article-title":"Extending feature diagrams with UML multiplicities","year":"0","author":"matthias","key":"ref28"},{"journal-title":"Software Architecture Foundations Theory and Practice","year":"2009","author":"taylor","key":"ref4"},{"article-title":"A Support Tool for Domain Analysis","year":"0","author":"barachisio","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2001.948406"},{"key":"ref6","first-page":"381","article-title":"Instant consistency checking for UML","author":"egyed","year":"2006","journal-title":"Intl Conf Software Eng (ICSE)"},{"key":"ref29","first-page":"173","article-title":"VMWare: Tool support for automatic verification of structural and semantic correctness in product line models","author":"salinesi","year":"2009","journal-title":"International Workshop on Variability Modelling of Software-intensive Systems (VaMoS)"},{"key":"ref5","article-title":"P. Design and Implementation of the GNU Prolog System","volume":"2001","author":"codognet","year":"2001","journal-title":"Journal of Functional and Logic Programming (JFLP)"},{"journal-title":"First European Workshop on Model Transformation","article-title":"On the modularization of feature models","year":"2005","author":"benavides","key":"ref8"},{"journal-title":"Constraint Satisfaction in Logic Programming","year":"1989","author":"van hentenryck","key":"ref7"},{"journal-title":"Adopting and evolving a product-line approach","article-title":"Design and Use of Software Architectures","year":"2000","author":"bosch","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640002"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"},{"journal-title":"Eclipse Modeling Framework","year":"2003","author":"budinsky","key":"ref46"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2011.6006825"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1452044.1452046"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72988-4_20"},{"article-title":"Safe composition of product lines","year":"0","author":"thaker","key":"ref21"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.29"},{"journal-title":"Software Product Lines Practices and Patterns","year":"2001","author":"clements","key":"ref24"},{"article-title":"A Method based on Association Rules to Construct Product Line Model","year":"0","author":"lora-michiels","key":"ref41"},{"journal-title":"Model-Driven Software Development Technology Engineering Management","year":"2006","author":"stahl","key":"ref23"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25975-6_25"},{"journal-title":"Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering","article-title":"Towards automated consistency checks of product line requirements specifications","year":"2007","author":"kim","key":"ref26"},{"article-title":"Criteria for comparing requirements variability modeling notations for product lines","year":"0","author":"djebbi","key":"ref43"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859009"}],"event":{"name":"2011 IEEE 35th Annual Computer Software and Applications Conference - COMPSAC 2011","start":{"date-parts":[[2011,7,18]]},"location":"Munich, Germany","end":{"date-parts":[[2011,7,22]]}},"container-title":["2011 IEEE 35th Annual Computer Software and Applications Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6032120\/6032314\/06032382.pdf?arnumber=6032382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T03:35:15Z","timestamp":1497929715000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6032382\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":47,"URL":"http:\/\/dx.doi.org\/10.1109\/compsac.2011.66","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}
