Abstract. Collecting relevance judgments (qrels) is an especially challenging part of building an information retrieval test collection. This paper presents a novel method for crea...
Computer games are tremendously successful and this is why the potential of using this medium for educational purposes is increasingly recognized and researched. However, as new le...
Christina M. Steiner, Michael D. Kickmeier-Rust, D...
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
Aspect mining identifies cross-cutting concerns in a program to help migrating it to an aspect-oriented design. Such concerns may not exist from the beginning, but emerge over ti...
This paper presents a human–guided automated approach to refactoring object oriented programs to the aspect oriented paradigm. The approach is based upon the iterative applicati...
David Binkley, Mariano Ceccato, Mark Harman, Filip...