Vision paper: Make a difference! (Semantically)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6981 LNCS, Issue , 2011, Pages 490-500

  Fahrenberg, Uli ^a   Legay, Axel ^a   Wa̧sowski, Andrzej ^b  

^a CAMPUS DE BEAULIEU   (France)

^b IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ADJOINTS; ALGEBRAIC THEORIES; COMBINATORS; DIFFERENCE OPERATORS; DIFFERENCING TOOLS; FEATURE MODELS; MODEL EVOLUTION; MODEL SEMANTICS; MODEL SYNCHRONIZATION; MODELING LANGUAGES; PRACTICAL MODEL; RESEARCH AREAS; SEMANTIC DIFFERENCE; STRUCTURAL COMPOSITION; VERSION CONTROL;

SEMANTICS;

MODELS;

EID: 80054055507     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24485-8_36     Document Type: Conference Paper

References (24)

1. 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. 4199, pp. 692-706. Springer, Heidelberg (2006) (Pubitemid 44618592)
2. Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7-20. Springer, Heidelberg (2005)
3. Bertrand, N., Legay, A., Pinchinat, S., Raclet, J.-B.: A compositional approach on modal specifications for timed systems. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM2009. LNCS, vol. 5885, pp. 679-697. Springer, Heidelberg (2009)
4. Bhaduri, P., Ramesh, S.: Synthesis of synchronous interfaces. In: ACSD. IEEE, Los Alamitos (2006)
5. Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa. ACM, New York (2006)
6. Czarnecki, K., Wa̧sowski, A.: Feature diagrams and logics: There and back again. In: SPLC, pp. 23-34. IEEE Computer Society, Los Alamitos (2007)
7. David, A., Larsen, K.G., Legay, A., Nyman, U., Wa̧sowski, A.: Timed I/O automata: a complete specification theory for real-time systems. In: HSCC. ACM, New York (2010)
8. Dijkstra, E.W., Scholten, C.S.: Predicate calculus and program semantics. Springer, Heidelberg (1990)
9. Gerth, C., Küster, J.M., Luckey, M., Engels, G.: Precise detection of conflicting change operations using process model terms. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6395, pp. 93-107. Springer, Heidelberg (2010)
10. 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)
11. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10) (1969)
12. Jackson, D., Ladd, D.A.: Semantic diff: A tool for summarizing the effects of modifications. In: Müller, H.A., Georges, M. (eds.) ICSM. IEEE Computer Society, Los Alamitos (1994)
13. 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)
14. Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) AVMS 1989. LNCS, vol. 407, pp. 232-246. Springer, Heidelberg (1990)
15. Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics. Springer, Heidelberg (1998)
16. Mendonca, M., Wa̧sowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: SPLC 2009, IEEE Computer Society, Los Alamitos (2009)
17. Mendonça, M.,Wa̧sowski, A., Czarnecki, K., Cowan, D.D.: Efficient compilation techniques for large scale feature models. In: GPCE (2008)
18. 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)
19. Raclet, J.-B.: Residual for component specifications. ENTCS 215, 93-110 (2008)
20. Segura, S., Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Automated merging of feature models using graph transformations. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II. LNCS, vol. 5235, pp. 489-505. Springer, Heidelberg (2008)
21. Shahar Maoz, J.R., Rumpe, B.: A manifesto for semantic model differencing. In: International Workshop on Models and Evolution (2010)
22. Sommerville, I.: Software Engineering, 9/E. Addison-Wesley, Reading (2011)
23. Thüm, T., Batory, D.S., Kästner, C.: Reasoning about edits to feature models. In: ICSE, pp. 254-264. IEEE Computer Society, Los Alamitos (2009)
24. Trinidad, P., Benavides, D., Cortés, A.R., Segura, S., Jimenez, A.: FAMA framework. In: SPLC, p. 359. IEEE Computer Society, Los Alamitos (2008)