Proceedings of the 1997 symposium on Software reusability
Rosetta: a generator of data language compilers
Proceedings of the 1997 symposium on Software reusability
A logical framework for design composition
Proceedings of the 22nd international conference on Software engineering
Efficient Specification-Based Component Retrieval
Automated Software Engineering
A Survey and a Categorization Scheme of Automatic Programming Systems
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Model checking the composition of hypermedia design components
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Software frameworks and embedded control systems
Software frameworks and embedded control systems
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
Hi-index | 0.00 |
Generators synthesize software systems by composing components from reuse libraries. In general, not all syntactically correct compositions are semantically correct. In this paper, we present domain-independent algorithms for the GenVoca model of software generators to validate component compositions. Our work relies on attribute grammars and offers powerful debugging capabilities with explanation-based error reporting. We illustrate our approach by showing how compositions are debugged by a GenVoca generator for container data structures.