Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. ACM code generator

ACM code generator 1.0

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

ACMgen est un générateur de code automatique de mécanismes de communication asynchrones basés sur la génération de modèles de filets Petri qui peuvent être formellement vérifiés par rapport à certaines propriétés, puis transformés en une véritable implémentation (par exemple.C++ ou Verilog).

historique de la version

  • Version 1.0 posté sur 2008-03-10
    Plusieurs correctifs et mises à jour
  • Version 1.0 posté sur 2008-03-10

Détails du programme

Programmes connexes

  • Jump from SOAP to REST with WSDL2REST Gratuit

    Une chaîne d’outils permettant une migration rapide de la mise en œuvre des services Web SOAP existants à la mise en œuvre des services Web RESTful en utilisant l’axe de la redéfinition WSDL avec les services impl. Classes. (

  • DOSBox Launch Pad Gratuit

    Configurer DOSBox peut être un peu intimidant, alors j’ai décidé d’écrire un projet VB.Net qui a fourni une interface graphique pour contrôler les nombreuses entrées dans les fichiers DOSBox .conf.

  • DMG Automounter for Linux Gratuit

    DMG Automounter est un script nautilus qui permet à toute distribution de Linux de monter un fichier Mac OS X .dmg (mais pas de l’installer, car cela nécessiterait les API Mac OS X qui sont source fermée). README a des instru

  • APEX Imaging Spectrometer Tools Gratuit

    APEX Tools est une collection d’utilitaires utilisés conjointement avec le traitement des données hyperspectrales aéroportées développées pour l’EXperiment Airborne Prism (APEX) soutenu par ESA-Prodex.

  • MGP Gratuit

    Le plugin Maven GWT est utilisé pour compiler des fichiers source JavaScript à partir de la source Java. Le plugin exécute GWTCompiler, permet de configurer des options de compilateur, détecte automatiquement l’emplacement de

  • PHP Toolbox Gratuit

    PHP Toolbox est conçu pour rendre le processus de création de base de données alimentésites Web plus facile. Il utilise le développement itératif ou étape par étapeParadigme. La fonctionnalité principale est gérée par de

  • Java Modeling Language (JML) Gratuit

    Le langage de modélisation Java (JML) est un langage de spécification d’interface comportementale qui peut être utilisé pour spécifier le comportement des modules Java (comme dans la conception par contrat - DBC). Il dispose

  • Sample YouTube Player Gratuit

    Exemple d’application pour le projet Github SimpleYouTubePlayerhttps://github.com/TheFinestArtist/SimpleYouTubePlayerPoignées YouTubePlayerActivityProblème d’orientation (avec mode rotation automatique)Auto-Rotat

  • Gelide Gratuit

    Gelide est un frontend configurable qui vous permet de gérer n’importe quel type de système imité (arcade, console, PC, etc) vous permettant de cataloguer et de lancer n’importe quel jeu à partir de n’importe quel émulateur e

  • HMI User Control Gratuit

    (FR) L’objectif du projet de contrôle des utilisateurs est de faire peu de contrôles utilisateur pour interfacer le système PLC à hmi application construire Under Win32. Chaque coopération sera très appréciée. (IT) L’obiettiv