메뉴 건너뛰기




Volumn 5235 LNCS, Issue , 2008, Pages 489-505

Automated merging of feature models using graph transformations

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; GRAPH THEORY; SOFTWARE DESIGN;

EID: 57049103989     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88643-3_15     Document Type: Conference Paper
Times cited : (56)

References (31)
  • 2
    • 41549106921 scopus 로고    scopus 로고
    • An algebra for feature-oriented software development
    • Technical Report MIP-0706, Department of Informatics and Mathematics, University of Passau, Germany July
    • Apel, S., Lengauer, C., Batory, D., Möller, B., Kästner, C.: An algebra for feature-oriented software development. Technical Report MIP-0706, Department of Informatics and Mathematics, University of Passau, Germany (July 2007)
    • (2007)
    • Apel, S.1    Lengauer, C.2    Batory, D.3    Möller, B.4    Kästner, C.5
  • 4
    • 33646190894 scopus 로고    scopus 로고
    • Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, 3714, pp. 7-20. Springer, Heidelberg (2005)
    • 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)
  • 5
    • 33751579774 scopus 로고    scopus 로고
    • Automated analysis of feature models: Challenges ahead
    • of the ACM December
    • Batory, D., Benavides, D., Ruiz-Cortés, A.: Automated analysis of feature models: Challenges ahead. Communications of the ACM (December 2006)
    • (2006) Communications
    • Batory, D.1    Benavides, D.2    Ruiz-Cortés, A.3
  • 6
    • 25144450482 scopus 로고    scopus 로고
    • Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Automated reasoning on feature models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, 3520, pp. 491-503. Springer, Heidelberg (2005)
    • Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Automated reasoning on feature models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491-503. Springer, Heidelberg (2005)
  • 9
    • 57049086169 scopus 로고    scopus 로고
    • Benavides, D., Trujillo, S., Trinidad, P.: On the modularization of feature models. In: First European Workshop on Model Transformation (September 2005)
    • Benavides, D., Trujillo, S., Trinidad, P.: On the modularization of feature models. In: First European Workshop on Model Transformation (September 2005)
  • 10
  • 11
    • 33748289548 scopus 로고    scopus 로고
    • Feature-based survey of model transformation approaches
    • Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621-645 (2006)
    • (2006) IBM Syst. J , vol.45 , Issue.3 , pp. 621-645
    • Czarnecki, K.1    Helsen, S.2
  • 14
    • 57049095315 scopus 로고    scopus 로고
    • A theory for feature models in alloy
    • Portland, United States November
    • Gheyi, R., Massoni, T., Borba, P.: A theory for feature models in alloy. In: First Alloy Workshop, pp. 71-80, Portland, United States (November 2006)
    • (2006) First Alloy Workshop , pp. 71-80
    • Gheyi, R.1    Massoni, T.2    Borba, P.3
  • 16
    • 57049165194 scopus 로고    scopus 로고
    • Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (November 1990)
    • Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (November 1990)
  • 20
    • 33750084999 scopus 로고    scopus 로고
    • On the use of graph transformations for model refactoring
    • Lämmel, R, Saraiva, J, Visser, J, eds, GTTSE 2005, Springer, Heidelberg
    • Mens, T.: On the use of graph transformations for model refactoring. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 219-257. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4143 , pp. 219-257
    • Mens, T.1
  • 22
    • 34548050450 scopus 로고    scopus 로고
    • Analysing refactoring dependencies using graph transformation
    • Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Software and Systems Modeling 6(3), 269-285 (2007)
    • (2007) Software and Systems Modeling , vol.6 , Issue.3 , pp. 269-285
    • Mens, T.1    Taentzer, G.2    Runge, O.3
  • 23
    • 1842431668 scopus 로고    scopus 로고
    • A survey of software refactoring
    • Mens, T., Tourwé, T.: A survey of software refactoring. IEEE Trans. Softw. Eng. 30(2), 126-139 (2004)
    • (2004) IEEE Trans. Softw. Eng , vol.30 , Issue.2 , pp. 126-139
    • Mens, T.1    Tourwé, T.2
  • 24
    • 79251598986 scopus 로고    scopus 로고
    • Building the core architecture of a multiagent system product line: With an example from a future nasa mission
    • 7th International Workshop on Agent Oriented Software Engineering
    • Peña, I., Hinchey, M., Ruiz-Cortés, A., Trinidad, P.: Building the core architecture of a multiagent system product line: With an example from a future nasa mission. In: 7th International Workshop on Agent Oriented Software Engineering. LNCS (2006)
    • (2006) LNCS
    • Peña, I.1    Hinchey, M.2    Ruiz-Cortés, A.3    Trinidad, P.4
  • 25
    • 33847246736 scopus 로고    scopus 로고
    • Handbook of Graph Grammars and Computing by Graph Transformations
    • Rozenberg, G, ed, World Scientific, Singapore
    • Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol. 1. World Scientific, Singapore (1997)
    • (1997) Foundations , vol.1
  • 29
    • 34247342048 scopus 로고    scopus 로고
    • Agg: A graph transformation environment for modeling and validation of software
    • Pfaltz, J.L, Nagl, M, Böhlen, B, eds, AGTIVE 2003, Springer, Heidelberg
    • Taentzer, G.: Agg: A graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062. Springer, Heidelberg (2004)
    • (2004) LNCS , vol.3062
    • Taentzer, G.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.