Passer au contenu
Overture Tool

Overture Tool

Un outil open source de programmation et développement
Éditeur : Overture Development Tool
Note

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.

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

Captures d'écran