 | Ambiente per la verifica del software incorporatoTraduci sequenze UML con questo strumento |
| Scarica ora | |
Ambiente per la verifica del software incorporato Classifica e riepilogo
Annuncio pubblicitario
- Licenza:
- GPL
- Nome editore:
- Marcelo M. Custodio
- Sistemi operativi:
- Windows All
- Dimensione del file:
- 57 KB
Ambiente per la verifica del software incorporato Tag
Ambiente per la verifica del software incorporato Descrizione
Ambiente per la verifica del software incorporato č costruito come un ambiente in grado di tradurre diagrammi di sequenza UML a Petri Nets e verificare le proprietą del sistema con SMV. Lo strumento riceve come diagrammi di sequenza di input di UML e fornisce la rete Petri in tre diversi formati: · APNN, · PNML, · SMV.
Ambiente per la verifica del software incorporato Software correlato
TEAM FOUNDATION BINGING REMOVER
Cancella i tuoi progetti .NET dei legami della fondazione del team ...
1.7 MB
Acceleratore di Windows Azure per i ruoli Web
Distribuisci uno o pił siti Web su pił istanze di ruolo Web utilizzando Web Deploy in Windows Azure. ...
2.2 MB