Les exigences d'un logiciel, souvent rédigées en langage naturel, sont à la base des phases de conception et de test fonctionnel. Le langage naturel est par nature ambigu, et les exigences peuvent donc être différemment interprétées lors de la construction et de la validation du logiciel. C'est pourquoi nous proposons une méthode de raffinement progressif des exigences vers des modèles dont la sémantique est connue. À partir d'exigences en langage naturel contrôlé, nous proposons tout d'abord de générer un modèle fonctionnel simulable basé sur les cas d'utilisation UML ; la simulation permet l'amélioration des exigences et peut aussi servir de base à un mécanisme de génération de tests. À partir des exigences ainsi améliorées, nous proposons également la génération d'une ébauche de modèle statique.