Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Overture: Formal modelling in VDM
  5. Download

Overture: Formal modelling in VDM

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 2.6/5 - ‎5 ‎Votes

Sur Overture: Formal modelling in VDM

Le projet Ouverture développe un ensemble de plug-ins Eclipse open source pour soutenir l’intégration de divers outils de modélisation VDM (Méthode de développement de Vienne). L’objectif est de soutenir tous les outils VDM existants et les dialectes linguistiques.

Programmes connexes

  • Mkulu QA Proxy Gratuit

    Mkulu QA Proxy est utilisé pour afficher les détails des paquets HTTP. C’est un outil utile pour le développement web et les tests. Des travaux sont en cours pour augmenter les fonctionnalités de l’outil. Le proxy est en mesu

  • Illumination Gratuit

    Illumination - une bibliothèque C++ GUI riche en fonctionnalités et indépendante des plattformes. Principales caractéristiques : themability, support de description de surface XML, moteur de mise en page astucieux, police-sen

  • HMM Based Chinese Segmentor Gratuit

    Il s’agit d’un projet qui met en œuvre l’interface de lucene Analyzer pour étendre sa fonction de faire face au problème de segmentation chinoise basé sur le modèle statistique (Modèle Hiden Marcov)

  • NHibernateIt Gratuit

    NHibernateC’est un aide à la gestion de session NHibernate et fournit des actions CRUD de base au creux de la classe Dépôt. Inspiré par le projet NHibernator, le oracleatdotnet.com

  • AstroWeka Gratuit

    AstroWeka est un ensemble d’étendues à Weka, un programme populaire d’exploration de données, qui lui permet de travailler directement avec des données astronomiques dans l’Observatoire virtuel.

  • CalFaces Gratuit

    CalFaces (précédemment jsforganiser) est une collection de composants JavaServer Faces pour une utilisation dans les applications PIM basées sur le Web, fournissant un calendrier de style Outlook avec des vues jour, semaine d

  • Complement Gratuit

    Bibliothèques C++ multiplateformes. 1. xmt : Interface de programmation portable pour créer des applications ou des bibliothèques MultiThreaded (MT); 2. sockios : interface aux prises (flux C++ IO); 3. StEM: fini état machine

  • H3xC4T Gratuit

    H3xC4T lit les fichiers binaires et montre le contenu hexadecimal commandé dans les colonnes... à l’avenir, je vais ajouter quelques fonctionnalités telles que la conversion binaire plaine ou démontage ...

  • Charset detector Gratuit

    Bibliothèque pour la détection automatique charset d’un texte ou d’un fichier donné. Le tampon d’entrée sera analysé pour deviner l’encodage utilisé. Le résultat (nom charset ou id de page de code) peut être utilisé comme par

  • Java Signal/Slot with Annotations Gratuit

    Cette bibliothèque est une API signal/fente pour Java 5.0 qui utilise des annotations pour marquer les signaux/fentes. Une sous-classe contenant desums de signal/fente, ainsi que des méthodes pour émettre le signal à ses fent