{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T12:20:36Z","timestamp":1794399636135,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642244841","type":"print"},{"value":"9783642244858","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24485-8_36","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:59:05Z","timestamp":1318262345000},"page":"490-500","source":"Crossref","is-referenced-by-count":11,"title":["Vision Paper: Make a Difference! (Semantically)"],"prefix":"10.1007","author":[{"given":"Uli","family":"Fahrenberg","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"36_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1007\/11880240_48","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Antkiewicz","year":"2006","unstructured":"Antkiewicz, M., Busch, C.: Framework-specific modeling languages with round-trip engineering. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 692\u2013706. Springer, Heidelberg (2006)"},{"key":"36_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","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, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"36_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1007\/978-3-642-10373-5_35","volume-title":"Formal Methods and Software Engineering","author":"N. Bertrand","year":"2009","unstructured":"Bertrand, N., Legay, A., Pinchinat, S., Raclet, J.-B.: A compositional approach on modal specifications for timed systems. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 679\u2013697. Springer, Heidelberg (2009)"},{"key":"36_CR4","volume-title":"ACSD","author":"P. Bhaduri","year":"2006","unstructured":"Bhaduri, P., Ramesh, S.: Synthesis of synchronous interfaces. In: ACSD. IEEE, Los Alamitos (2006)"},{"key":"36_CR5","volume-title":"GaMMa","author":"G. Brunet","year":"2006","unstructured":"Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa. ACM, New York (2006)"},{"key":"36_CR6","first-page":"23","volume-title":"SPLC","author":"K. Czarnecki","year":"2007","unstructured":"Czarnecki, K., W\u0105sowski, A.: Feature diagrams and logics: There and back again. In: SPLC, pp. 23\u201334. IEEE Computer Society, Los Alamitos (2007)"},{"key":"36_CR7","volume-title":"HSCC","author":"A. David","year":"2010","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., W\u0105sowski, A.: Timed I\/O automata: a complete specification theory for real-time systems. In: HSCC. ACM, New York (2010)"},{"key":"36_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate calculus and program semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate calculus and program semantics. Springer, Heidelberg (1990)"},{"key":"36_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-642-16129-2_8","volume-title":"Model Driven Engineering Languages and Systems","author":"C. Gerth","year":"2010","unstructured":"Gerth, C., K\u00fcster, J.M., Luckey, M., Engels, G.: Precise detection of conflicting change operations using process model terms. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol.\u00a06395, pp. 93\u2013107. Springer, Heidelberg (2010)"},{"key":"36_CR10","volume-title":"SEFM","author":"G. Goessler","year":"2009","unstructured":"Goessler, G., Raclet, J.-B.: Modal contracts for component-based design. In: Hung, D.V., Krishnan, P. (eds.) SEFM. IEEE Computer Society, Los Alamitos (2009)"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM\u00a012(10) (1969)","DOI":"10.1145\/363235.363259"},{"key":"36_CR12","volume-title":"ICSM","author":"D. Jackson","year":"1994","unstructured":"Jackson, D., Ladd, D.A.: Semantic diff: A tool for summarizing the effects of modifications. In: M\u00fcller, H.A., Georges, M. (eds.) ICSM. IEEE Computer Society, Los Alamitos (1994)"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-21 (1990)","DOI":"10.21236\/ADA235785"},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) AVMS 1989. LNCS, vol.\u00a0407, pp. 232\u2013246. Springer, Heidelberg (1990)","DOI":"10.1007\/3-540-52148-8_19"},{"key":"36_CR15","series-title":"Graduate Texts in Mathematics","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics. Springer, Heidelberg (1998)","edition":"2"},{"key":"36_CR16","volume-title":"SPLC 2009","author":"M. Mendonca","year":"2009","unstructured":"Mendonca, M., W\u0105sowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: SPLC 2009, IEEE Computer Society, Los Alamitos (2009)"},{"key":"36_CR17","doi-asserted-by":"crossref","unstructured":"Mendon\u00e7a, M., W\u0105sowski, A., Czarnecki, K., Cowan, D.D.: Efficient compilation techniques for large scale feature models. In: GPCE (2008)","DOI":"10.1145\/1449913.1449918"},{"key":"36_CR18","volume-title":"ICSE","author":"S. Nejati","year":"2007","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: ICSE. IEEE Computer Society, Los Alamitos (2007)"},{"key":"36_CR19","first-page":"93","volume":"215","author":"J.-B. Raclet","year":"2008","unstructured":"Raclet, J.-B.: Residual for component specifications. ENTCS\u00a0215, 93\u2013110 (2008)","journal-title":"ENTCS"},{"key":"36_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-540-88643-3_15","volume-title":"Generative and Transformational Techniques in Software Engineering II","author":"S. Segura","year":"2008","unstructured":"Segura, S., Benavides, D., Ruiz-Cort\u00e9s, A., Trinidad, P.: Automated merging of feature models using graph transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II. LNCS, vol.\u00a05235, pp. 489\u2013505. Springer, Heidelberg (2008)"},{"key":"36_CR21","doi-asserted-by":"crossref","unstructured":"Shahar Maoz, J.R., Rumpe, B.: A manifesto for semantic model differencing. In: International Workshop on Models and Evolution (2010)","DOI":"10.1007\/978-3-642-21210-9_19"},{"key":"36_CR22","volume-title":"Software Engineering, 9\/E","author":"I. Sommerville","year":"2011","unstructured":"Sommerville, I.: Software Engineering, 9\/E. Addison-Wesley, Reading (2011)"},{"key":"36_CR23","first-page":"254","volume-title":"ICSE","author":"T. Th\u00fcm","year":"2009","unstructured":"Th\u00fcm, T., Batory, D.S., K\u00e4stner, C.: Reasoning about edits to feature models. In: ICSE, pp. 254\u2013264. IEEE Computer Society, Los Alamitos (2009)"},{"key":"36_CR24","first-page":"359","volume-title":"SPLC","author":"P. Trinidad","year":"2008","unstructured":"Trinidad, P., Benavides, D., Cort\u00e9s, A.R., Segura, S., Jimenez, A.: FAMA framework. In: SPLC, p. 359. IEEE Computer Society, Los Alamitos (2008)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24485-8_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T04:32:50Z","timestamp":1560745970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24485-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244841","9783642244858"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24485-8_36","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-24485-8","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}