Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. WATERS

WATERS

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes
Télécharger

Waters - l’outil d’analyse Waikato pour les événements dans les systèmes réactifs. Ce logiciel permettra aux utilisateurs de créer des modèles de machines à état fini dans une interface utilisateur graphique, de simuler leur exécution et d’appliquer des algorithmes de vérification des modèles à eux.

historique de la version

  • Version N/A posté sur 2011-08-12
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-08-12

Détails du programme

Programmes connexes

  • XML Template Processor Gratuit

    Les normes ISO basées sur XML pour les documents (OOXML, ODF, XHTML...) ont facilité la tâche de génération de rapport. La bibliothèque JAVA XTP ( XML Template Processor ) remplit les modèles de rapport (créés par les concept

  • Rule MANager for Snort Gratuit

    Règle MANagaer pour Snort Un addon PHP pour sniffer pour gérer les règles sur plusieurs capteurs deun Snort MySQL db central.Principales caractéristiques: Ruleset fusion par groupe de Snort CVS.Mise à jour automatique

  • GraphStream Gratuit

    Une bibliothèque Java et un ensemble d’outils pour manipuler rapidement et facilement les graphiques (ensemble de nœuds et de bords) et les graphiques dynamiques. Le trait principal de cette bibliothèque est sa capacité à gér

  • Cut Order Plan Gratuit

    Cut-Order Plan est un outil utilisé dans l’industrie du vêtement pour faire plan de coupe. Caractéristiques:-*À l’heure actuelle, il gère un seul tissu à la fois.*Fonctionne pour des possibilités minimales de marqueur.*Option

  • Japano Webapplication Toolkit Gratuit

    Japano est une boîte à outils et un moteur webapplication basés sur java-servlet. Il offre la logique facile de site Web et la création de forme HTML et offre l’intégration des mises à jour javascript dynamiques (AJAX). Un éc

  • Reboot Control Widget Essai gratuit

    Widget redémarrageACCÈS ROOT NÉCESSAIRE***Ce widget vous permettra de redémarrer n’importe quel appareil, y compris fonctionnalités:RedémarrerDémarrage chaudRedémarrer vers la récupérationRedémarrer vers Bo

  • OpenWiz Gratuit

    OpenWiz est un projet qui aide au développement de logiciels open source pour la machine portable GamePark Holdings Wiz. Nous maintiendrons l’accès du public aux sources de noyau ainsi que la fourniture d’autres firmwares, ou

  • JCortex (Neural Networks Framework) Gratuit

    JCortex est une solution complète qui permet aux développeurs de logiciels de créer, d’éduquer et d’utiliser des réseaux neuronaux artificiels dans des projets Java. Se divise en deux éléments : JCortex Framework, un framewor

  • QPythonShell Gratuit

    Un Python Shell a été construit à partir de Qt, QScintilla et l’API Python C directement, qui comporte la mise en surbrillance de la syntaxe et l’achèvement simple du code via une interface graphique Qt. Il est à espérer qu’u

  • xacc.ide Gratuit

    xacc.ide est un IDE opensource destiné principalement au développement .NET. Il a un éditeur de code écrit en code 100% C#, qui est plus rapide que la plupart des offres commerciales.