6. Discussions and Lessons Learned
This section presents an overall analysis of the previously observed results on
the application of the modularity and change propagation metrics, described in
Secs. 4 and 5. We present discussions on the e®ects of AO decomposition on DbC
modularization in di®erent maintainability facets of the Health Watcher system.
Furthermore, we discuss the constraints on the validity of our empirical case
study.