Chapter 1 "Design by Contract" is a key concept on reliable software. Effel language and method is the main product whose mechanisms for assertions, exception handling ahd inheritance result. The assertions are called preconditions and postconditions. Other chapters might be useful for object oriented programmin.g Good Luck.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $20. ThriftBooks.com. Read more. Spend less.