The FOCAL environment is a framework dedicated to the complete
development of certified components, from the specification stage to
the implementation one. FOCAL incorporates features such as
inheritance, abstraction, late binding and redefinition. The paper
gives an overview of the conception of the language and presents the
language itself and the associated tools.