This paper presents our aspect-oriented system specialized for debugging named Bugdel. Bugdel is a plug-in module for Eclipse, which is an integrated development environment. Unli...
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
In a software product line different products often require different levels of quality attributes. In several domains quality attribute variability gets even more importance that...
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...