Rodin

Une plate-forme de développement pour vous aider avec votre travail.
Télécharger maintenant

Rodin Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • Freeware
  • Nom de l'éditeur:
  • Event-B.org
  • Systèmes d'exploitation:
  • Windows All
  • Taille du fichier:
  • 50.6 MB

Rodin Mots clés


Rodin La description

Rodin est une plate-forme pratique conçue pour vous aider au développement rigoureux rentable de services de logiciels complexes fiables. Cette plate-forme est basée sur la méthode officielle Event-B et fournit un soutien naturel au raffinement et à la preuve mathématique.


Rodin Logiciels associés

Environnement composant à distance

RCE fournit des applications intégrées Accès aux composants logiciels à usage général Comme un moteur de flux de travail, une gestion des privilèges ou une interface avec des ressources de calcul et de stockage externes (grille, clus ...

64 86.9 MB

Télécharger

Dbspy

Un outil de visualisation de base de données ainsi que l'outil de conception de base de données pour Oracle et MySQL. ...

229 296 KB

Télécharger

À propos de nous