Rodin -Plattform für die Entwicklung von zuverlässigen komplexen Softwaresystemen
Jetzt downloaden

Rodin Ranking & Zusammenfassung

Rodin Stichworte

Entwicklung sich entwickeln Entwicklungsplattform Systemdienst System-Service-Entwicklung Systemdienst entwickeln

Rodin Beschreibung

Plattform für die Entwicklung von zuverlässigen komplexen Softwaresystemensystemen Rodin ist eine freie und offene Quellplattform für die kosteneffektive strenge Entwicklung von zuverlässigen komplexen Softwaresystemensystemen. Rodin basiert auf der förmlichen Methode der Ereignis-B und bietet natürliche Unterstützung für die Raffinesse und den mathematischen Beweis. Anforderungen: · Java 1.5 oder höher Was ist neu in dieser Version: · Bug 1813657: Das Refactoring-Menü ist nicht mit der Refactoring verbunden · Bug 1818464: Triviales PO entlastet nicht · BUG 1897572: Fehler im Beweisverpflichtungsgenerator · Bug 1919546: P1, PP, M0-M3 Nicht als Post-Taktik verfügbar · BUG 1948095: Importieren bestehender Projekte · BUG 2414463: Builder rief Nicht-Rodin-Dateien an · BUG 2433212: schlechte Leistung unter KDE · Wanze 2648946: Prädikatbegriffe (neupp, p0), die nicht in der Lage ist, einfaches Po · BUG 2656831: Speichern von Proofs funktioniert nicht immer · BUGN 2694492: Prob-Widget nicht an der zweiten Prob-Start · Wanze 2744052: NullPospunktexception im Builder auf zyklischer Raffinesse · Fehler 2782126: Ihre Plattform unterstützt das SWT-Browser-Widget nicht. · BUG 2827806: Zombie-Dateien in Puffer · BUG 2836774: Texteditor kann nicht speichern (Ausnahme) · BUG 2844797: Die Proof-Skelettansicht passt sich nicht an den Behälter an · BUG 2895507: MH und andere Regeln sind schlecht definiert · Wanze 2945276: Rodin-Tastaturansicht ist vorzeitig angezeigt · Wanze 2952087: Rodin 1.2 wiederholt fehlerhafte Rodin 1.1 Proof · BUG 2952090: Wenn Sie einen Kontext umbenennen, ...

Rodin Zugehörige Software