Rodin.

Piattaforma per lo sviluppo di servizi di sistemi software affidabili complessi
Scarica ora

Rodin. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freeware
  • Prezzo:
  • FREE
  • Nome editore:
  • RODIN Team
  • Sito web dell'editore:
  • Sistemi operativi:
  • Mac OS X
  • Dimensione del file:
  • 50.4 MB

Rodin. Tag


Rodin. Descrizione

Piattaforma per lo sviluppo di servizi complessi di sistemi software affidabili Rodin è una piattaforma gratuita e open source per lo sviluppo rigoroso economico dei complessi sistemi di software affidabili. Rodin si basa sul metodo formale Event-B e fornisce supporto naturale per la raffinatezza e la prova matematica. Requisiti: · Java 1.5 o successivi Cosa c'è di nuovo in questa versione: · Bug 1813657: il menu refactoring non è correlato al refactoring · Bug 1818464: Bunial PO non si scarica · Bug 1897572: errore nel generatore di obbligo di prova · Bug 1919546: P1, PP, M0-M3 non disponibile come post tattica · Bug 1948095: importazione di progetti esistenti · Bug 2414463: Builder ha chiamato i file non Rodin · Bug 2433212: scarsa performance sotto KDE · Bug 2648946: Provver predicatori (newpp, p0) Impossibile scaricare semplice PO · Bug 2656831: il salvataggio delle prove non sempre funziona · Bug 2694492: il widget Prob non viene visualizzato sul secondo lancio del problema · Bug 2744052: NullPointerException in Builder sulla raffinatezza ciclica · Bug 2782126: la tua piattaforma non supporta il widget del browser SWT. · Bug 2827806: file zombie in buffer · Bug 2836774: Editor di testo Impossibile salvare (eccezione) · Bug 2844797: la vista scheletro a prova non si adatta al contenitore · Bug 2895507: MH e altre regole sono mal definite · Bug 2945276: Vista della tastiera Rodin visualizzata permine · Bug 2952087: Rodin 1.2 riutilizza erronea Rodin 1.1 Prova · Bug 2952090: quando rinomina un contesto, ...


Rodin. Software correlato

Chi siamo