The main objective of HIDE is the creation of an integrated environment for the practitioner designer, allowing him to use UML as front-end for the specification of both the system and the user requirements. The user can validate his design in an easy-to use form, since the background mathematics will be hidden from him. Automatic transformations will derive the individual mathematical models for formal and quantitative validation from the basic UML model, and the results gained without the interaction of the user will be back-annotated for presentation into the same UML model, as well. This way HIDE eliminates the need for both a specific expertise in abstract mathematics, and the tedious manual re-modelling of the system.