soggetto
Sviluppo del software (6265)Scientifico/d'ingegneria (1247)
traduzione italiana
Sviluppo del software (91)Scientifico/d'ingegneria (23)
rodin-b-sharp
Aprire la piattaforma dell'attrezzo per lo sviluppo rigoroso redditizio dei servizi di sistemi complessi credibili del software. Questa piattaforma è basata sul metodo convenzionale di evento-b e fornisce il supporto naturale per il perfezionamento e la prova matematica. Potete trovare più Info。
condizione
Alfa
Pubblici progettati
Programmatore Tecnologia dell'informazione Scienza/ricerca
Autorizzazione
Common Public License Eclipse Public License
OS
OS Independent
Linguaggio di programmazione
JAVA
soggetto
Scientifico/d'ingegneria Sviluppo del software
Traduzioni
Inglese
Interfaccia di utente
Eclissi
programmatore
14
dal
2004-05-06 15:07
potete trasferire al seguente URL
http://sourceforge.net/projects/rodin-b-sharp