El formalismo Concurrent Object-Oriented Petri Nets (CO-OPN) está diseñado para apoyar la especificación de sistemas distribuidos de forma modular. En este proyecto se proponen herramientas como editores, comprobador de sintaxis, generador de pruebas y generador de prototipos.
historial de versiones
- Versión 1.0.7-beta publicado en 2006-03-06
Varias correcciones y actualizaciones - Versión 1.0.7-beta publicado en 2006-03-06
Detalles del programa
- Categoría: Red e Internet > Otro
- Editor: smv.unige.ch/tiki-index.php?page=IntroCoopn
- Licencia: Gratis
- Precio: N/A
- Versión: 1.0.7
- Plataforma: windows