Abstract FR:

Aujourd'hui, les systemes informatiques sont de plus en plus distribues, reactifs et temps reel, rendant leur developpement extremement complexe. La difficulte de developpement de ces systemes rend necessaire l'utilisation de methodes et outils permettant de gerer la complexite et de conduire des specifications non ambigues des comportements desires. Les environnements formels, bases par des outils de developpement ameliorent la qualite de ces systemes. Nous presentons un environnement original de specification de logiciels. Cet environnement est base sur le formalisme z et sur l'integration entre les methodes graphiques orientees objet et les techniques de specification formelle. L'environnement permet d'une part la prise en compte et la verification des proprietes fonctionnelles et non-fonctionnelles du systeme. Nous utilisons dans notre demarche une representation explicite du temps et permet une representation de la dynamique du systeme. D'autre part, cet environnement est base par un outil permettant le developpement et l'analyse de modeles graphiques et formels de la structure et du comportement des systemes etudies