Annotating software components with contracts, which are then enforced by the programming language, and the methodology of
Design by Contract, can help increase software reliability. Contracts are of special importance for component based design.
We study how contracts can be integrated with existing Ada features, in particular Ada support for inheritance. Recently published
results about inheritance and contracts prove to be of special importance for integrating contracts into Ada.