Overture Tool
Présentation de Overture Tool par Telecharger.com
Overture Tool se présente comme un environnement de développement intégré remarquable pour le développement et l'analyse des modules VDM.
Il s'agit d'un utilitaire extrêmement puissant pour les développeurs et les étudiants spécialisés dans la programmation et de développement de nouvelles applications. Le programme est livré avec une interface très complexe et modulaire et modulaire à laquelle il faudra un certain temps pour s'habitude. Elle est composée d'une grande fenêtre pour les lignes de saisie et quelques panneaux latéraux pour les journaux d'erreur ou de débogage et les listes de variables.
Plusieurs dialectes VDM sont disponibles dans Overture Tool pour le développement puis une fois qu'un dialecte est choisi, vous êtes libre d'inclure plusieurs bibliothèques. Celles-sont sont utilisées dans le projet et les variables qu'il contient peuvent déterminer les performances d'un modèle.
Publicité
Caractéristiques
Version | 2.7.2 |
Dernière mise à jour | 01/10/2019 |
Licence | Gratuit |
Taille | 128.58 Mo |
Systèmes d'exploitation | Linux 64 bits - Linux, macOS Intel 64 bits - Mac OS X, Windows 32 bits - 7/8/10, Windows 64 bits - 7/8/10 |
Langues | Français, Anglais |
Télécharger Overture Tool
Toutes les plateformes compatibles :
Linux 64 bits - Linux macOS Intel 64 bits - Mac OS X Windows 32 bits - 7/8/10 Windows 64 bits - 7/8/10