Goal: promote the industrial approach to reliable construction of computer software by advancing development of an industry of high quality reusable software components, based on the Eiffel object-oriented method, language, libraries, and environment.