This paper is structured as follows: Section 2 describes our experimental settings
and justi¯es the decisions made to ensure the study validity. Section 3 describes the
Health Watcher system used as the base for this study and also describes the changes
applied. The results gathered from applying the modularity metrics are discussed in
Sec. 4. Section 5 discusses how the changes propagate within each paradigm.
aThe work described in this article is the revised and extend version of a paper presented at SEKE
2011 [41].
Quantifying the E®ects of Aspectual Decompositions on Design by Contract Modularization 915
Section 6 analyzes the obtained results and points some constraints on the validity
of our study. Section 7 discusses related work. Finally, Sec. 8 concludes this paper by
summarizing this paper's ¯ndings.