This paper presents a systematic case study that quantitatively and qualitatively
assesses the positive and negative impacts of AO techniques for implementing the
classical design by contract features (pre- and postconditions, and invariants) on a
number of design changes applied on a real-life web-based information system, called
914 H. Reb^elo et al. Health Watcher (HW)