Advanced programming by contract

Summary form only given, as follows. In this tutorial the author will provide a number of Principles for using PBC to rigorously document class interfaces in a way that is accessible to technically oriented software developers. With each Principle he presents an example, a justification, and advice about when it might be appropriate to violate the Principle (and how to document such violations). The complexity of the Principles vary. Some are simple enough that we can use them to improve the documentation of almost any class. Others are sufficiently complex and time-consuming to use that they may only be appropriate in designing class libraries. The author will use examples from ELKS, the Eiffel Library Kernel Standard to illustrate the power of the Principles.