Remote Component-omgeving
RCE biedt geïntegreerde toegang tot algemene softwarecomponenten zoals een workflow-motor, een privilege-beheer of een interface voor externe compute- en opslagbronnen (raster, clus ...
86.9 MB
 | RodinEen ontwikkelingsplatform om u te helpen met uw werk. |
| Download nu | |
Rodin Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Freeware
- Naam uitgever:
- Event-B.org
- Besturingssystemen:
- Windows All
- Bestandsgrootte:
- 50.6 MB
Rodin Tags
Rodin Beschrijving
Rodin is een handig platform dat is ontworpen om u te helpen met de kosteneffectieve rigoureuze ontwikkeling van betrouwbare complexe softwaresystemen. Dit platform is gebaseerd op de Event-B formele methode en biedt natuurlijke ondersteuning voor verfijning en wiskundig bewijs.
Rodin Gerelateerde software
Postgres formulieren
Een clienttoepassing met een grafische gebruikersinterface voor de PostgreSQL Data Base Server ...
2.2 MB
Dbsync voor Firebird en MS SQL
Synchroniseer en converteer databases van Firebird / Interbase naar MS SQL. ...
15.2 MB