{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:06:41Z","timestamp":1725505601000},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787426"},{"type":"electronic","value":"9783540787433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78743-3_3","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T23:53:27Z","timestamp":1207094007000},"page":"31-45","source":"Crossref","is-referenced-by-count":16,"title":["Formal Approach to Integrating Feature and Architecture Models"],"prefix":"10.1007","author":[{"given":"Mikol\u00e1\u0161","family":"Janota","sequence":"first","affiliation":[]},{"given":"Goetz","family":"Botterweck","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.aei.2006.11.007","volume":"21","author":"Timo Asikainen","year":"2007","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T., Soininen, T.: Kumbang: A domain ontology for modelling variability in software product families. Advanced Engineering Informatics\u00a021 (2007)","journal-title":"Advanced Engineering Informatics"},{"key":"3_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)"},{"issue":"6","key":"3_CR3","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D. Batory","year":"2004","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Transactions on Software Engineering\u00a030(6) (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Benavides, D., Ruiz-Cort\u00e9s, A., Trinidad, P., Segura, S.: A Survey on the Automated Analyses of Feture Models. In: Jornadas de Ingenier\u00eda del Software y Bases de Datos (JISBD) (2006)","DOI":"10.1007\/11877028_16"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Advanced Information Systems Engineering","author":"D. Benavides","year":"2005","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated Reasoning on Feature Models. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, Springer, Heidelberg (2005)"},{"key":"3_CR6","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2002","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison\u2013Wesley Publishing Company, London (2002)"},{"key":"3_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-39953-4_3","volume-title":"Generative Programming","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming. Addison Wesley, Reading (2000)"},{"key":"3_CR8","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":"3_CR9","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In: Proceedings of the 5th International Conference on Generative Programming And Component Engineering (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"3_CR10","unstructured":"Czarnecki, K., W\u0105sowski, A.: Feature Diagrams and Logics: There and Back Again. In: Kellenberger (ed.)\u00a015"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"E\u00e9n, N., S\u00f6rensen, N.: Translating Pseudo-Boolean Constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation (2006)","DOI":"10.3233\/SAT190014"},{"key":"3_CR12","unstructured":"Janota, M., Kiniry, J.: Reasoning about Feature Models in Higher-Order Logic. In: Kellenberger (ed.)\u00a015"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Kyo, C., Kang, S.G., Cohen, J.A., Hess, W.E.: Novak, and A.\u00a0Spencer Peterson. Feature-oriented domain analysis\u00a0(FODA), feasibility study. Technical Report CMU\/SEI-90-TR-021, Software Engineering Institute, Carnegie Mellon University (November 1990)","DOI":"10.21236\/ADA235785"},{"issue":"3-4","key":"3_CR14","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0020-0190(00)00023-5","volume":"74","author":"D.J. Kavvadias","year":"2000","unstructured":"Kavvadias, D.J., Sideri, M., Stavropoulos, E.C.: Generating all maximal models of a Boolean expression. Information Processing Letters\u00a074(3-4), 157\u2013162 (2000)","journal-title":"Information Processing Letters"},{"key":"3_CR15","unstructured":"Kellenberger, P. (ed.): Software Product Lines Conference (2007)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45652-X_11","volume-title":"Software Product Lines","author":"M. Mannion","year":"2002","unstructured":"Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol.\u00a02379, Springer, Heidelberg (2002)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription\u2014A Form of Non-Monotonic Reasoning. Artificial Intelligence\u00a013, 27\u201339 (1980)","journal-title":"Artificial Intelligence"},{"key":"3_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58940-9","volume-title":"Algorithms and Data Structures in VLSI Design: OBDD-foundations and applications","author":"C. Meinel","year":"1998","unstructured":"Meinel, C., Theobald, T.: Algorithms and Data Structures in VLSI Design: OBDD-foundations and applications. Springer, Heidelberg (1998)"},{"key":"3_CR19","doi-asserted-by":"crossref","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) (2006)","DOI":"10.1109\/RE.2006.23"},{"issue":"1-2","key":"3_CR20","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"Patrik Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138(1-2) (2002)","journal-title":"Artificial Intelligence"},{"key":"3_CR21","unstructured":"Software Engineering Institute. What is a software product line?, http:\/\/www.sei.cmu.edu\/productlines\/"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe Composition of Product Lines. In: Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE) (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"van der Storm, T.: Generic Feature-Based Software Composition. In: Proceedings of 6th International Symposium on Software Composition (2007)","DOI":"10.1007\/978-3-540-77351-1_6"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78743-3_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,17]],"date-time":"2023-05-17T11:32:37Z","timestamp":1684323157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78743-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787426","9783540787433"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78743-3_3","relation":{},"subject":[]}}