Rodin

Eine Entwicklungsplattform, um Ihnen bei Ihrer Arbeit zu helfen.
Jetzt downloaden

Rodin Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Freeware
  • Name des Herausgebers:
  • Event-B.org
  • Betriebssysteme:
  • Windows All
  • Dateigröße:
  • 50.6 MB

Rodin Stichworte


Rodin Beschreibung

Rodin ist eine praktische Plattform, die Ihnen mit der kostengünstigen strengen Entwicklung von zuverlässigen komplexen Softwaresystemen unterstützt wird. Diese Plattform basiert auf der offiziellen Methode von Event-B und bietet natürliche Unterstützung für die Raffinesse und den mathematischen Beweis.


Rodin Zugehörige Software

Remote-Komponentenumgebung.

RCE bietet integrierte Anwendungen Zugriff auf allgemeine Softwarekomponenten wie eine Workflow-Engine, ein Berechtigungsmanagement oder eine Schnittstelle zu externen Berechnungs- und Speicherressourcen (Grid, Clus ...

64 86.9 MB

Herunterladen

Dbspy.

Ein Datenbankvisualisierungswerkzeug sowie Datenbankdesignwerkzeug für Oracle und MySQL. ...

229 296 KB

Herunterladen

Über uns