{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:36:11Z","timestamp":1725543371306},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540372158"},{"type":"electronic","value":"9783540372165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11813040_21","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T10:51:03Z","timestamp":1154947863000},"page":"300-315","source":"Crossref","is-referenced-by-count":20,"title":["Feature Algebra"],"prefix":"10.1007","author":[{"given":"Peter","family":"H\u00f6fner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ridha","family":"Khedri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Batory, D.: The road to utopia: A future for generative programming. Keynote presentation at the Dagstuhl Seminar for Domain Specific Program Generation (March 2003)","DOI":"10.1007\/978-3-540-25935-0_1"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Proceedings of the 9th International Software Product Line Conference (SPLC-EUROPE 2005), September 26-29 (2005)","DOI":"10.1007\/11554844_3"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Batory, D., Lopez-Herrejon, R., Martin, J.-P.: Generating product-lines of product-families. In: Conference on Automated-Software Engineering (September 2002)","DOI":"10.1109\/ASE.2002.1114997"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/RE.2005.45","volume-title":"13th IEEE International Requirements Engineering Conference","author":"S. B\u00fchne","year":"2005","unstructured":"B\u00fchne, S., Lauenroth, K., Pohl, K.: Modelling requirements variability across product lines. In: 13th IEEE International Requirements Engineering Conference, August 29\u2013September 2, pp. 41\u201350. IEEE Computer Society, Los Alamitos (2005)"},{"key":"21_CR5","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2002","unstructured":"Clements, P., Northrop, L.M.: Software Product Lines: Practices and Patterns. Addison Wesley Professional, Reading (2002)"},{"key":"21_CR6","volume-title":"Generative Programming, Methods, Tools and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming, Methods, Tools and Applications. Addison-Wesley, Reading (2000)"},{"key":"21_CR7","first-page":"93","volume":"1","author":"J. Desharnais","year":"2004","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Modal Kleene Algebra and Applications \u2013 A Survey. Journal on Relational Methods in Computer Science\u00a01, 93\u2013131 (2004), http:\/\/www.cosc.brocku.ca\/Faculty\/Winter\/JoRMiCS\/","journal-title":"Journal on Relational Methods in Computer Science"},{"key":"21_CR8","first-page":"76","volume-title":"Proceedings of the 5th International Conference on Software Reuse","author":"M.L. Griss","year":"1998","unstructured":"Griss, M.L., Favaro, J., d\u2019Alessandro, M.: Integrating feature modeling with the RSEB. In: Devanbu, P., Poulin, J. (eds.) Proceedings of the 5th International Conference on Software Reuse, pp. 76\u201385. IEEE Computer Society, Los Alamitos (1998)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Feature algebra. Technical Report 2006-04, Institut f\u00fcr Informatik, Universit\u00e4t Augsburg (February 2006)","DOI":"10.1007\/11813040_21"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (foda) feasibility study. Technical Report CMU\/SEI-90-TR-021, Carnegie Mellon Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"issue":"1","key":"21_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"K.C. Kang","year":"1998","unstructured":"Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: FORM: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering\u00a05(1), 143\u2013168 (1998)","journal-title":"Annals of Software Engineering"},{"key":"21_CR12","unstructured":"Nilsson, N.J.: Principles of Artificial Intelligence. Tioga Publishing Co. (1980)"},{"issue":"1","key":"21_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.1976.233797","volume":"SE2","author":"D.L. Parnas","year":"1976","unstructured":"Parnas, D.L.: On the design and development of program families. IEEE Transactions on Software Engineering\u00a0SE2(1), 1\u20139 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/IWPSE.2003.1231223","volume-title":"Sixth International Workshop on Principles of Software Evolution (IWPSE 2003)","author":"C. Riva","year":"2003","unstructured":"Riva, C., Rosso, C.D.: Experiences with software product family evolution. In: Sixth International Workshop on Principles of Software Evolution (IWPSE 2003), pp. 161\u2013169. IEEE Computer Society, Los Alamitos (2003)"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/ECBS.2003.1194812","volume-title":"10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2003)","author":"S. Roback","year":"2003","unstructured":"Roback, S., Pieczynski, A.: Employing fuzzy logic in feature diagrams to model variability in software product-lines. In: 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2003), pp. 305\u2013311. IEEE Computer Society, Los Alamitos (2003)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Thompson, J.M., Heimdahl, M.P.: Structuring product family requirements for n-dimensional and hierarchical product lines. Requirements Engineering Journal (2002)","DOI":"10.1007\/s00766-003-0166-0"},{"key":"21_CR17","unstructured":"Thompson, J.M., Heimdahl, M.P., Erickson, D.M.: Structuring formal control systems specifications for reuse: Surviving hardware changes. Technical Report TR 00-004, Department of Computer Science and Engineering, University of Minnesota (February 2000)"}],"container-title":["Lecture Notes in Computer Science","FM 2006: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11813040_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:21Z","timestamp":1605644061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11813040_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540372158","9783540372165"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11813040_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}