Reliable Object-Oriented Software