Generic feature-based software composition

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

Volumn 4829 LNCS, Issue , 2007, Pages 66-80

  Van Der Storm, Tijs ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FORMAL METHODS; MODEL CHECKING; PRODUCTION ENGINEERING;

CONSISTENCY CHECKING; FORMAL MAPPING; PRODUCT VARIANTS;

COMPUTER SOFTWARE;

EID: 38549153689     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77351-1_6     Document Type: Conference Paper

References (22)

1. Batory, D., Benavides, D., Ruiz-Cortés, A.: Automated analyses of feature models: Challenges ahead. Communications of the ACM (to appear, December 2006)
2. Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement, In: ICSE 2003. Proceedings of the 25th International Conf. on Software Engineering, Piscataway, NJ, may 3-10, 2003, pp. 187-197. IEEE Computer Society Press, Los Alamitos (2003)
3. Benavides, D., Martín-Arroyo, P.T., Cortés, A.R.: Automated reasoning on feature models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491-503. Springer, Heidelberg (2005)
4. Bontemps, Y., Heymans, P., Schobbens, P.-Y., Trigaux, J.-C.: Semantics of feature diagrams. In: Tomi, M., Bosch, J. (eds.) Proc. of Workshop on Software Variability Management for Product Derivation (Towards Tool Support), Boston (August 2004)
5. Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24(3), 293-318 (1992)
6. Cao, F., Bryant, B.R., Burt, C.C., Huang, Z., Raje, R.R., Olson, A.M., Auguston, M.: Automating feature-oriented domain analysis. In: SERP 2003. Proc. of the International Conf. on Software Engineering Research and Practice (2003)
7. Czarnecki, K., Antkiewicz, M.: Mapping features to models: A template approach based on superimposed variants. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 422-437. Springer, Heidelberg (2005)
8. de Jonge, M.: Source tree composition. In: Gacek, C. (ed.) Software Reuse: Methods, Techniques, and Tools. LNCS, vol. 2319, pp. 17-32. Springer, Heidelberg (2002)
9. de Jonge, M., Visser, J.: Grammars as feature diagrams, draft (April 2002)
10. Fowler, M.: Inversion of control containers and the dependency injection pattern. Online (February 2006), http://www.martinfowler.com/articles/injection. html
11. Groote, J.F., van de Pol, J.C.: Equational binary decision diagrams. Technical Report SEN-R0006, Centre for Mathematics and Computer Science (CWI), Amsterdam (2000)
12. Jansen, A.: Feature based composition. Master's thesis, Rijksuniversiteit Groning (2002)
13. Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21, SEI, CMU, Pittsburgh, PA (November 1990)
14. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of aspectj. In: Proceedings of the 15th European Conference on Object-Oriented Programming, pp. 327-353. Springer, Heidelberg (2001)
15. Klint, P., van der Storm, T.: Reflections on feature-oriented software engineering, In: Schwanninger, C. (ed.) OOPSLA 2004. Workshop on Managing Variabilities Consistently in Design and Code held at the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM Press, New York (2004), Available from http://www.cwi.nl/ ~storm
16. Mannion, M.: Using first-order logic for product line model validation. In: Chastek, G.J. (ed.) Software Product Lines. LNCS, vol. 2379, pp. 176-187. Springer, Heidelberg (2002)
17. Prehofer, C.: Feature-oriented programming: A fresh look at objects. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 419-443. Springer, Heidelberg (1997)
18. Eric, S.: Raymond. The CML2 language. In: 9th International Python Conference (accessed October 2006), Available at http://www.catb.org/~esr/cml2/ cml2-paper.html
19. van der Storm, T.: Variability and component composition. In: Bosch, J., Krueger, C (eds.) ICOIN 2004 and ICSR 2004. LNCS, vol. 3107, pp. 86-100. Springer, Heidelberg (2004)
20. van Deursen, A., Klint, P.: Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology 10(1), 1-18 (2002)
21. van Gurp, J., Bosch, J., Svahnberg, M.: On the Notion of Variability in Software Product Lines. In: WICSA 2001. Proceedings of the Working IEEE/IFIP Conf. on Software Architecture (2001)
22. van Ommering, R., Bosch, J.: Widening the scope of software product lines: from variation to composition. In: Chastok, G. (ed.) Software Product Lines. LNCS, vol. 2379, Springer, Heidelberg (2002)