1 Polymorphism in Object-Oriented Contract Verification

  • I. Nunes L isbo
  • Published 2003


The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, nevertheless, because of lack of expressiveness of existing assertion languages, contracts can bring undesirable effects such as the increasing in class coupling when we deal with… (More)


  • Presentations referencing similar topics