E-Chaser

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos

E-Chaser es un sistema de verificación en tiempo de ejecución para aplicaciones Java-RMI distribuidas RMI. En su front-end, E-Chaser proporciona especificaciones transparentes de distribución y hace uso de Compose* como su herramienta de back-end para generar módulos de verificación en tiempo de ejecución.

historial de versiones

  • Versión files publicado en 2010-03-28
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2010-03-28

Detalles del programa