Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Maude MSOS Tool

Maude MSOS Tool

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

Maude MSOS Tool est un environnement formel pour la spécification des spécifications sémantiques opérationnelles structurelles modulaires. Il est particulièrement utile pour la spécification formelle des langages de programmation et des systèmes simultanés.

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

  • Intuitive Neural Network Gratuit

    Intuitive Neural Network est un logiciel concieved pour CAE (Computer Aided Education) à des fins d’intelligence artificielle.

  • Digital Camera EXIF Backup Gratuit

    Application Java de sauvegarde EXIF simple qui lit la date prise balise à partir d’une image et clone le fichier à un emplacement cible à l’aide d’une structure d’annuaire de modèle de date prédéfinie.

  • TUPA - The Ultimate PowerDNS Admin Gratuit

    TUPA est un frontend d’administration PowerDNS basé sur le Web programpé dans PHP / Javascript (AJAX) / MySQL.Prend en charge la création de groupes, d’utilisateurs et de modèles.

  • Surfraw - Shell Revolutionary Front Gratuit

    Surfraw - Shell Users' Revolutionary Front Rage Against the Web. Surfraw fournit une interface de ligne de commande unix rapide à une variété de moteurs de recherche www populaires et d’autres artefacts de puissance. Abandonn

  • Cybios Digital Community Gratuit

    Cybios est un jeu en ligne-Cybercommunauté basé sur avatars qui interagit dans les villes virtuelles. En tant qu’Avatar, vous pouvez vivre, travailler et jouer dans la communauté numérique comme le RealWorld. A Cybios, tout p

  • OWLmt Gratuit

    OWLmt est un outil de cartographie de l’ontologie basé sur les spécifications du Langage d’ontologie Web (OWL). Il fournit une interface utilisateur graphique pour définir les cartographies entre deux schémas d’ontologie. Il

  • Maven Wiki Plugin Gratuit

    Le Plugin Maven Wiki récupère la documentation de différents systèmes Wikis et crée des fichiers XDoc pour un traitement ultérieur par d’autres plugins Maven tels que le plugin PDF ou le plugin XDoc.

  • Input Abstraction Layer Gratuit

    Input Abstraction Layer (IAL) est un projet qui fabrique des touches spéciales (par exemple clés multimédias, clés de fonction trouvées sur les ordinateurs portables) "just work". IAL fournit un démon qui peut être

  • iChooChoo Gratuit

    iChooChoo est un simulateur de train en réseau basé sur Java, avec son et animations. Créez des dispositions de voies personnalisées et faites même visiter d’autres ordinateurs aux trains ! Conception modulaire de programma

  • Commons for Java 5 Gratuit

    Une solution pour les problèmes communs en Java en utilisant les nouvelles fonctionnalités linguistiques telles que les annotations génériques autoboxing varargs ...