Removedor de encuadernación de la fundación del equipo
Borre sus proyectos .NET de los encuadernaciones de la Fundación Team ...
1.7 MB
 | Medio ambiente para verificación de software incorporadoTranslate UML Secuencias con este instrumento |
| Descargar ahora | |
Medio ambiente para verificación de software incorporado Clasificación y resumen
Anuncio publicitario
- Licencia:
- GPL
- Nombre del editor:
- Marcelo M. Custodio
- Sistemas operativos:
- Windows All
- Tamaño del archivo:
- 57 KB
Medio ambiente para verificación de software incorporado Etiquetas
Medio ambiente para verificación de software incorporado Descripción
El entorno para la verificación de software incorporada se construye como un entorno que puede traducir diagramas de secuencia UML a las redes de Petri y verificar las propiedades del sistema con SMV. La herramienta recibe como diagramas de secuencia de entrada de UML y proporciona la red Petri en tres formatos diferentes: · APNN, · PNML, · SMV.
Medio ambiente para verificación de software incorporado Software relacionado
Acelerador de Windows Azure para roles web
Implementar uno o más sitios web a través de múltiples instancias de rol web mediante la implementación web en Windows Azure. ...
2.2 MB
Radvolution Designer - Edición estándar 2005
La forma fácil de diseñar y mantener formas profesionales .NET en no-tiempo ...
4.3 MB