The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2004)
Linz, Austria
Sept. 20, 2004 to Sept. 24, 2004
ISSN: 1068-3062
ISBN: 0-7695-2131-2
pp: 238-247
Axel Rauschmayer , Universit?t M?nchen
Alexander Knapp , Universit?t M?nchen
Martin Wirsing , Universit?t M?nchen
ABSTRACT
Ubiquitous computing increases the pressure on the software industry to produce ever more and error-free code. Two recipes from automated programming are available to meet this challenge: On the one hand, generative programming raises the level of abstraction in software development by describing problems in high-level domain-specific languages and making them executable. On the other hand, in situations where one needs to produce a family of similar programs, product line engineering supports code reuse by composing programs from a set of common assets (or features). AHEAD (Algebraic Hierarchical Equations for Application Design) is a framework for generative programming and product line engineering that achieves additional productivity gains by scaling feature composition up. Our contribution is GRAFT, a calculus that gives a formal foundation to AHEAD and provides several mechanisms for making sure that feature combinations are legal and that features in themselves are consistent.
INDEX TERMS
null
CITATION
Axel Rauschmayer, Alexander Knapp, Martin Wirsing, "Consistency Checking in an Infrastructure for Large-Scale Generative Programming", 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), vol. 00, no. , pp. 238-247, 2004, doi:10.1109/ASE.2004.10005
89 ms
(Ver 3.3 (11022016))