Brama, outil de modélisation graphique de modèle formel B
Liens sponsorisés
Annuaire >
Commerce et économie >
Informatique >
Ingénierie informatique
| Brama, outil de modélisation graphique de modèle formel B |
Brama est une application de modélisation graphique appliqué aux méthodes formelles B. Elle permet de représenter au travers d'une animation la simulatio d'un modèle développé à l'aide de méthodes formelles. Distribué par la société ClearSy System Engineering, Brama propose à l'internaute de télécharger l'outil et de le découvrir au travers de nombreuses démos. |
Définition
Bioinformatique : Application de l'informatique au traitement des données biologiques.
Le terme bioinformatique regroupe les applications informatiques (languages et logiciels) qui exploitent les données générées par les différentes expériences biologiques qui exis...
Catégories
|