{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:49:13Z","timestamp":1725518953655},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_31","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"431-445","source":"Crossref","is-referenced-by-count":22,"title":["Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax"],"prefix":"10.1007","author":[{"given":"Mikol\u00e1\u0161","family":"Janota","sequence":"first","affiliation":[]},{"given":"Victoria","family":"Kuzina","sequence":"additional","affiliation":[]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/1173706.1173737","volume-title":"GPCE","author":"V. Alves","year":"2006","unstructured":"Alves, V., Gheyi, R., Massoni, T., Kulesza, U., Borba, P., de Lucena, C.J.P.: Refactoring product lines. In: Jarzabek, S., Schmidt, D.C., Veldhuizen, T.L. (eds.) GPCE, pp. 201\u2013210. ACM, New York (2006)"},{"key":"31_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D. Batory","year":"2005","unstructured":"Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714. Springer, Heidelberg (2005)"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers\u00a035(8) (1986)","DOI":"10.1109\/TC.1986.1676819"},{"key":"31_CR4","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison\u2013Wesley Publishing Company (2002)"},{"key":"31_CR5","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1145\/1094855.1094934","volume-title":"OOPSLA 2005: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M., Kim, C.H.P., Lau, S., Pietroszek, K.: Fmp and Fmp2rsm: eclipse plug-ins for modeling features using model templates. In: OOPSLA 2005: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 200\u2013201. ACM, New York (2005)"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Software Product Lines","author":"K. Czarnecki","year":"2004","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Using Feature Models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol.\u00a03154. Springer, Heidelberg (2004)"},{"key":"31_CR7","unstructured":"Czarnecki, K., W\u0105sowski, A.: Feature diagrams and logics: There and back again. In: Kellenberger [16]"},{"key":"31_CR8","volume-title":"Proceedings of the 12th International Software Product Line Conference, SPLC\u00a0 2008","author":"K. Czarnecki","year":"2007","unstructured":"Czarnecki, K., W\u0105sowski, A.: Sample spaces and feature models: There and back again. In: Proceedings of the 12th International Software Product Line Conference, SPLC\u00a0 2008. IEEE Computer Society, Los Alamitos (2007)"},{"key":"31_CR9","unstructured":"Fundamental Approaches to Software Engineering. LNCS. Springer, Heidelberg (2008)"},{"key":"31_CR10","unstructured":"Hadzic, T., Jensen, R., Andersen, H.R.: Notes on calculating valid domains (2006), http:\/\/www.itu.dk\/~tarik\/cvd\/cvd.pdf"},{"key":"31_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-75209-7_4","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Hessellund","year":"2007","unstructured":"Hessellund, A., Czarnecki, K., W\u0105sowski, A.: Guided development with multiple domain-specific languages. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 46\u201360. Springer, Heidelberg (2007)"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Janota, M., Kiniry, J.: Reasoning about feature models in higher-order logic. In: Kellenberger [16]","DOI":"10.1109\/SPLINE.2007.36"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-78743-3_3","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Janota","year":"2008","unstructured":"Janota, M., Botterweck, G.: Formal Approach to Integrating Feature and architecture Models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 31\u201345. Springer, Heidelberg (2008)"},{"key":"31_CR14","volume-title":"Handbook of Constraint Programming","author":"U. Junker","year":"2006","unstructured":"Junker, U.: Configuration. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming. Elsevier Science Inc., Amsterdam (2006)"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis\u00a0(FODA), feasibility study. Technical Report CMU\/SEI-90-TR-021, SEI, Carnegie Mellon University (November 1990)","DOI":"10.21236\/ADA235785"},{"volume-title":"Software Product Lines","year":"2007","key":"31_CR16","unstructured":"Kellenberger, P. (ed.): Software Product Lines. IEEE Computer Society, Los Alamitos (2007)"},{"key":"31_CR17","unstructured":"Kuzina, V.: Interactive derivation of feature diagrams. Master\u2019s thesis, IT University of Copenhagen (to appear, 2008)"},{"key":"31_CR18","unstructured":"Lau, S.Q.: Domain analysis of e-commerce systems using feature-based model templates. Master\u2019s thesis, Dept. Electrical and Computer Engineering, University of Waterloo, Canada (2006), http:\/\/gp.uwaterloo.ca\/files\/2006-lau-masc-thesis.pdf"},{"key":"31_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-540-78743-3_27","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Massoni","year":"2008","unstructured":"Massoni, T., Gheyi, R., Borba, P.: Formal Model-Driven Program Refactoring. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 362\u2013376. Springer, Heidelberg (2008)"},{"key":"31_CR20","volume-title":"IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","author":"S. Mazanek","year":"2008","unstructured":"Mazanek, S., Meier, S., Minas, M.: Auto-completion for diagram editors based on graph grammars. In: IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). IEEE Computer Society, Los Alamitos (2008)"},{"key":"31_CR21","volume-title":"Proceeding of 14th IEEE International Requirements Engineering Conference (RE)","author":"P.-Y. Schobbens","year":"2006","unstructured":"Schobbens, P.-Y., Heymans, P., Trigaux, J.-C.: Feature diagrams: A survey and a formal semantics. In: Proceeding of 14th IEEE International Requirements Engineering Conference (RE). IEEE Computer Society, Los Alamitos (2006)"},{"key":"31_CR22","unstructured":"Sen, S., Baudry, B., Vangheluwe, H.: Domain-specific model editors with model completion. In: Mosterman, P.J., Levandowszky, T., de Lara, J. (eds.) The 2nd International Workshop on Multi-Paradigm Modeling (2007)"},{"key":"31_CR23","first-page":"409","volume-title":"SAC","author":"E.R. Meer van der","year":"2006","unstructured":"van der Meer, E.R., W\u0105sowski, A., Andersen, H.R.: Efficient interactive configuration of unbounded modular systems. In: Haddad, H. (ed.) SAC, pp. 409\u2013414. ACM, New York (2006)"},{"key":"31_CR24","unstructured":"White, J., Schmidt, D., Nechypurenko, A., Wuchner, E.: Domain-Specific Intelligence Frameworks for Assisting Modelers in Combinatorically Challenging Domains. In: GPCE4QoS (October 2006)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:50:58Z","timestamp":1619524258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}