Towards safer composition

2009 31st International Conference on Software Engineering - Companion Volume, ICSE 2009

Volumn , Issue , 2009, Pages 227-230

  Classen, Andreas ^a   Heymans, Patrick ^a   Than Tun, Thein ^b   Nuseibeh, Bashar ^a  

^a University of Namur   (Belgium)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EXPONENTIAL NUMBERS; FEATURE COMBINATION; FEATURE DIAGRAMS; HARD PROBLEMS; MERGE OPERATIONS; PRODUCT FAMILIES; SOFTWARE PRODUCT LINE ENGINEERINGS;

PRODUCTION ENGINEERING;

COMPUTER SOFTWARE;

EID: 70349538079     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE-COMPANION.2009.5070988     Document Type: Conference Paper

References (20)

1. G. Booch. Object-Oriented Analysis and Design with Applications. Addison-Wesley, 1993.
2. M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-Marganiec. Feature interaction: a critical review and considered forecast. Computer Networks, 41(1):115-141, 2003.
3. A. Classen, P. Heymans, and P.-Y. Schobbens. What's in a feature: A requirements engineering perspective. In FASE'08, Held as Part of ETAPS'08, volume 4961 of LNCS, pages 16-30. Springer, 2008.
4. K. Czarnecki and K. Pietroszek. Verifying feature-based model templates against well-formedness ocl constraints. In GPCE '06, pages 211-220. ACM Press, 2006.
5. A. Fantechi and S. Gnesi. Formal modeling for product families engineering. In SPLC 2008. IEEE CS, 2008.
6. D. Fischbein, S. Uchitel, and V. Braberman. A foundation for behavioural conformance in software product line architectures. In ROSATEA '06, ISSTA 2006 workshop, pages 39-48. ACM Press, 2006.
7. J. D. Hay and J. M. Atlee. Composing features and resolving interactions. In SIGSOFT'00/FSE-8, pages 110-119. ACM Press, 2000.
8. M. Jackson. Some complexities in computer-based systems and their implications for system development. Com-pEuro'90, pages 344-351, 1990.
9. E. Katz and S. Katz. Incremental analysis of interference among aspects. In Workshop on Foundations of Aspect-Oriented Languages 2008 at AOSD 08, 2008.
10. S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying aspect advice modularly. In SIGSOFT'04/FSE-12, pages 137-146. ACM Press, 2004.
11. C. Kas̈tner and S. Apel. Type-checking software product lines - a formal approach. In ASE'08. IEEE CS, 2008.
12. K. G. Larsen, U. Nyman, and A. Wasowski. Modal i/o automata for interface and product line theories. In ESOP, pages 64-79, 2007.
13. S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave. Matching and merging of statecharts specifications. In ICSE'07, pages 54-64. IEEE CS, 2007.
14. S. Nejati, M. Sabetzadeh, M. Chechik, S. Uchitel, and P. Zave. Towards compositional synthesis of evolving systems. In FSE 2008. ACM Press, 2008.
15. K. Pohl, G. Bockle, and F. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, July 2005.
16. H. Post and C. Sinz. Configuration lifting: Verification meets software configuration. In ASE'08. IEEE CS, 2008.
17. A. M. Roldán E. Pimentel, and A. Brogi. Safe composition of linda-based components. Electr. Notes Theor. Comput. Sci., 82(6), 2003.
18. M. Sabetzadeh, S. Nejati, S. Liaskos, S. Easterbrook, and M. Chechik. Consistency checking of conceptual models via model merging. In RE'07. IEEE CS, 2007.
19. P.-Y. Schobbens, P. Heymans, J.-C. Trigaux, and Y. Bon-temps. Feature Diagrams: A Survey and A Formal Semantics. In RE'06, pages 139-148. IEEE CS, 2006.
20. S. Thaker, D. S. Batory, D. Kitchin, and W. Cook. Safe composition of product lines. In GPCE 2007, pages 95-104. ACM Press, 2007.