A quantitative study of the aspect oriented abstractions use in crosscuting concer...
Strategies for automatic code migration in the context of model-driven engineering
Genericity in the context of theorem proving: a cloud based proof assistant for fl...
Design and implementation of a persistence annotation module for the DSLModeler4Sa...
Evolution and evaluation of testing and code search techniques in contemporary sof...
Development and instantiation of software product lines supported by a repository ...
Providing automated mechanisms for the mutation testing of Java and Aspect J programs