FORMULA

FORMULA propose aux développeurs Visual Studio un framework de modélisation formelle des systèmes logiciels avec exigences fonctionnelles et non fonctionnelles. L'application permet de concevoir des systèmes rectifié et d'évaluer l'impact des choix de conception avant la mise en œuvre. FORMULA utilise un langage propre (FORMULA) pour définir les spécifications logicielles. L'utilisateur peut donc spécifier la classe des architectures logicielles pour le système en cours d'élaboration. Ainsi, FORMULA génère un modèle synthétique aidant à prendre la bonne décision ou de résoudre un problème de conception.