{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:41:47Z","timestamp":1725896507137},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314902"},{"type":"electronic","value":"9783642314919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31491-9_18","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T21:28:19Z","timestamp":1340314099000},"page":"226-243","source":"Crossref","is-referenced-by-count":7,"title":["Model-Based Automated and Guided Configuration of Embedded Software Systems"],"prefix":"10.1007","author":[{"given":"Razieh","family":"Behjati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaud","family":"Gotlieb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"UML Superstructure Specification, v2.3 (May 2010)"},{"key":"18_CR2","unstructured":"Marte (2012), http:\/\/www.omgmarte.org\/"},{"key":"18_CR3","unstructured":"Object Constraint Language (2012), http:\/\/www.omg.org\/spec\/OCL\/2.2\/"},{"key":"18_CR4","unstructured":"Sicstus Prolog Homepage (February 2012), http:\/\/www.sics.se\/sicstus\/"},{"key":"18_CR5","unstructured":"Behjati, R., Yue, T., Briand, L., Selic, B.: SimPL a product-line modeling methodology for families of integrated control systems, Tech. Repo 2011-14, SRL (2011), http:\/\/simula.no\/publications\/Simula.simula.746"},{"key":"18_CR6","unstructured":"Benavides, D., Segura, S., Trinidad, P., Ruiz Cort\u00e9s, A.: Fama: Tooling a framework for the automated analysis of feature models. In: VaMoS (2007)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of uml\/ocl class diagrams using constraint programming, Washington, DC, USA, pp. 73\u201380 (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"18_CR8","unstructured":"Carlsson, M., Mildner, P.: Sicstus prolog \u2013 the first 25 years. CoRR, abs\/1011.5640 (2010)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Collavizza, H., Rueher, M., Van Hentenryck, P.: A constraint-programming framework for bounded program verification. Constraints Journal (2010)","DOI":"10.1007\/s10601-009-9089-9"},{"key":"18_CR11","unstructured":"Czarnecki, K., Kim, P.: Cardinality-Based Feature Modeling and Constraints: A Progress Report. In: Proceedings of the International Workshop on Software Factories at OOPSLA (2005)"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. In: Software Process: Improvement and Practice (2005)","DOI":"10.1002\/spip.213"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness ocl constraints. In: GPCE 2006, pp. 211\u2013220 (2006)","DOI":"10.1145\/1173706.1173738"},{"issue":"2","key":"18_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10617-009-9049-z","volume":"14","author":"B.K. Eames","year":"2010","unstructured":"Eames, B.K., Neema, S., Saraswat, R.: Desertfd: a finite-domain constraint based tool for design space exploration. Design Autom. for Emb. Sys.\u00a014(2), 43\u201374 (2010)","journal-title":"Design Autom. for Emb. Sys."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Saraswat, V.A., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(fd). Selected Papers from Constraint Programming: Basics and Trends (1995)","DOI":"10.1007\/3-540-59155-9_15"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, D.: Dynamic constraint satisfaction problems over models. Software and Systems Modeling (November 2010)","DOI":"10.1007\/s10270-010-0185-5"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Spencer Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-21 (1990)","DOI":"10.21236\/ADA235785"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-13595-8_18","volume-title":"Modelling Foundations and Applications","author":"R.E. Lopez-Herrejon","year":"2010","unstructured":"Lopez-Herrejon, R.E., Egyed, A.: Detecting Inconsistencies in Multi-View Models with Variability. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 217\u2013232. Springer, Heidelberg (2010)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Mazo, R., Salinesi, C., Diaz, D., Lora-Michiels, A.: Transforming attribute and clone-enabled feature models into constraint programs over finite domains. In: ENASE (2011)","DOI":"10.5220\/0003509301880199"},{"key":"18_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus (2005)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31491-9_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T07:44:56Z","timestamp":1642578296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31491-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314902","9783642314919"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31491-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}