Las entidades y las relaciones se especifican como tipos definidos por el usuario. Usaremos la herramienta de prueba PVS. La verificación implica probar las condiciones de corrección de tipo generadas automáticamente por el comprobador de tipos.
historial de versiones
- Versión N/A publicado en 2010-03-12
Varias correcciones y actualizaciones - Versión N/A publicado en 2010-03-12
Detalles del programa
- Categoría: Red e Internet > Otro
- Editor: ermt.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows