| Rodin Platform voor de ontwikkeling van betrouwbare complexe softwaresystemen Services |
Download nu |
Rodin Rangschikking & Samenvatting
- Naam uitgever:
- RODIN Team
- Besturingssystemen:
- Mac OS X
Rodin Tags
Rodin Beschrijving
Platform voor de ontwikkeling van betrouwbare complexe softwaresystemen Rodin is een gratis en open source-platform voor de kosteneffectieve rigoureuze ontwikkeling van betrouwbare complexe softwaresystemen. Rodin is gebaseerd op de Event-B formele methode en biedt natuurlijke ondersteuning voor verfijning en wiskundig bewijs. Vereisten: · Java 1.5 of later Wat is er nieuw in deze release: · BUG 1813657: Refactoring-menu is niet gerelateerd aan het refactoren · BUG 1818464: Trivial PO ontlaat niet · BUG 1897572: FOUT IN BEWIJS VAN VERPLICHTINGEN · BUG 1919546: P1, PP, M0-M3 Niet beschikbaar als PACT TACTIC · BUG 1948095: bestaande projecten importeren · Bug 2414463: Builder riep niet-RODIN-bestanden op · BUG 2433212: Slechte uitvoering onder KDE · BUG 2648946: PREDICAAT PROBERS (NEWPP, P0) Niet in staat om eenvoudige po te ontladen · Bug 2656831: Bewijsbewijzen werken niet altijd · Bug 2694492: Prob-widget Weergave niet op de tweede probleemlancering · BUG 2744052: NULLPOINTEREXPLAATS IN BUILDER OP CYCLISCHE REFINSTIE · BUG 2782126: Uw platform ondersteunt geen SWT-browser-widget. · BUG 2827806: ZOMBIE-bestanden in buffer · BUG 2836774: Teksteditor Kan niet opslaan (Uitzondering) · BUG 2844797: het bewijsseekweergave past zich niet aan de container aan · BUG 2895507: MH en andere regels zijn slecht gedefinieerd · BUG 2945276: RODIN-toetsenbordweergave Typely · Bug 2952087: Rodin 1.2 hergebruikt onjuiste Rodin 1.1 Proof · BUG 2952090: bij het hernoemen van een context, ...
Rodin Gerelateerde software