Type-checking software product lines -A formal approach

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 258-267

  Kästner, Christian ^a   Apel, Sven ^b  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b UNIVERSITY OF PASSAU   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); DIFFERENTIATION (CALCULUS); JAVA PROGRAMMING LANGUAGE; NETWORK ARCHITECTURE; SOFTWARE ENGINEERING;

DO-MAINS; FEATHERWEIGHT JAVAS; FEATURE ANNOTATIONS; FORMAL APPROACHES; SOFTWARE PRODUCT LINES; TYPE SYSTEMS;

COMPUTER SOFTWARE;

EID: 56249143172     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.36     Document Type: Conference Paper

References (30)

1. S. Apel, T. Leich, and G. Saake, "Aspectual, feature modules," IEEE Trans. Softw. Eng., vol. 34, no. 2, pp. 162-180, 2008.
2. S. Apel and D. Hutchins, "An overview of the gDeep calculus," Department of Informatics and Mathematics, University of Passau, Germany, Tech. Rep. MIP-0712, 2007.
3. S. Apel, C. Kästner, and C. Lengauer, "An overview of Feature Featherweight Java," Department of Informatics and Mathematics, University of Passau, Germany, Tech. Rep. MIP-0802, Apr. 2008.
4. S. Apel, C. Lengauer, B. Möller, and C. Kästner, "An algebra for features and feature composition," in Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology (AMAST), ser. Lecture Notes in Computer Science, vol. 5140. Springer-Verlag, Jul. 2008, pp. 36-50.
5. L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice. Boston, MA, USA: Addison-Wesley, 1998.
6. D. Batory, "Feature models, grammars, and prepositional formulas." in Proc. Inf'l Software Product Line Conference, Sep. 2005, pp. 7-20.
7. D. Batory and B. J. Geraci, "Composition validation and subjectivity in GenVoca generators," IEEE Trans. Softw. Eng., vol. 23, no. 2, pp. 67-82, 1997.
8. D. Batory, J. N. Sarvela, and A. Rauschmayer, "Scaling step-wise refinement," IEEE Trans. Softw. Eng., vol. 30, no. 6, pp. 355-371, 2004.
9. K. Czarnecki and M. Antkiewicz, "Mapping features to models: A template approach based on superimposed variants," in Proc. Int'l Conf. Generative Programming and Component Engineering, 2005, pp. 422-437.
10. K. Czarnecki and U. Eisenecker, Generative programming: methods, tools, and applications. ACM Press, 2000.
11. K. Czarnecki and K. Pietroszek, "Verifying feature-based model templates against well-formedness OCL constraints," in Proc. Int'l Conf. Generative Programming and Component Engineering. New York, NY, USA: ACM Press, 2006, pp. 211-220.
12. S. Drossopoulou, T. Valkevych, and S. Eisenbach, "Java type soundness revisited," Department of Computing, Imperial College London, Tech. Rep. 09, 2000.
13. M. Flatt, S. Krishnamurthi, and M. Felleisen, "Classes and mixins," in Proc. Conf. Principles of Programming Languages. New York, NY, USA: ACM, 1998, pp. 171-183.
14. J. Gosling, B. Joy, G. Steele, and G. Bracha, Java™Language Specification, 3rd ed., ser. The Java™Series. Addison-Wesley Professional, 2005.
15. M. L. Griss, "Implementing product-line features by composing aspects," in Proc. Int'l Software Product Line Conference. Norwell, MA, USA: Kluwer Academic Publishers, 2000, pp. 271-288.
16. S. Huang, D. Zook, and Y. Smaragdakis, "Statically safe program generation with SafeGen," in Proc. Int'l Conf. Generative Programming and Component Engineering. Springer, 2005, pp. 309-326.
17. A. Igarashi, B. Pierce, and. P. Wadler, "Featherweight Java: A minimal core calculus for Java and GJ," ACM Trans. Program. Lang. Syst., vol. 23, no. 3, pp. 396-450, 2001.
18. A. Igarashi and B. C. Pierce, "On inner classes," Inf. Comput, vol. 177, no. 1, pp. 56-89, 2002.
19. S. Jarzabek, P. Bassett, H. Zhang, and W. Zhang, "XVCL: XML-based variant, configuration language," in Proc. Int'l Conf. on Software Engineering. Los Alamitos, CA, USA: IEEE Computer Society, 2003, pp. 810-811.
20. K. Kang et al., "Feature-Oriented Domain Analysis (FODA) Feasibility Study," Software Engineering Institute, Tech. Rep. CMU/SEI-90-TR-21, Nov. 1990.
21. C. Kästner, S. Apel, and M. Kuhlemann, "Granularity in software product lines," in Proc. Int'l Conf. on Software Engineering. New York, NY, USA: ACM, May 2008, pp. 311-320.
22. C. Kästner, S. Apel, S. Trujillo, M. Kuhlemann, and D. Batory, "Language-independent safe decomposition of legacy applications into features," School of Computer Science, University of Magdeburg, Germany, Tech. Rep. 2, Mar. 2008.
23. C. Krueger, "Easing the transition to software mass customization," in Proc. Int'l Workshop on Software Product-Family Eng. London, UK: Springer-Verlag, 2002, pp. 282-293.
24. J. Liu, D. Batory, and C. Lengauer, "Feature oriented refactoring of legacy applications," in Proc. Int'l Conf. on Software Engineering, 2006, pp. 112-121.
25. T. Nipkow and D. von Oheimb, "Java light is type-safe - definitely," in Proc. Conf. Principles of Programming Languages. New York, NY, USA: ACM, 1998, pp. 161-170.
26. N. Nystrom, S. Chong, and A. Myers, "Scalable extensibility via nested inheritance," in Proc. Conf. Object-Oriented Programming, Systems, Languages and Applications. New York, NY, USA: ACM Press, 2004, pp. 99-115.
27. B. C. Pierce, Types and Programming Languages. Cambridge, MA, USA: MIT Press, 2002.
28. K. Pohl, G. Böckle, and F. J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques. Secaucus, NJ, USA: Springer, 2005.
29. C. Szyperski, Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 2002.
30. S. Thaker, D. Batory, D. Kitchin, and W. Cook, "Safe composition of product lines," in Proc. Int'l Conf. Generative Programming and Component Engineering. New York, NY, USA: ACM, 2007, pp. 95-104.