The most attractive benefits of component-based development can only be realized if the components are of a level of quality much higher than run-of-the-mill application software. This presentation will review a set of techniques for producing and qualifying such components. It will conclude with a discussion proof issues and techniques for proving programs with extensive use of pointers, as O-O components often do. This is a fairly technical presentation that assumes good knowledge of O-O and component techniques and some prior exposure to formal techniques. '