Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. WATERS

WATERS

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

Waters - la herramienta de análisis Waikato para eventos en sistemas reactivos. Este software permitirá a los usuarios crear modelos de máquina de estado finito en una interfaz gráfica de usuario, simular su ejecución y aplicarles algoritmos de comprobación de modelos.

historial de versiones

  • Versión N/A publicado en 2011-08-12
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-08-12

Detalles del programa

Programas relacionados

  • XML Template Processor Gratis

    Los estándares ISO basados en XML para documentos (OOXML, ODF, XHTML...) han facilitado la tarea de generación de informes. La biblioteca JAVA XTP ( PROCESADOR de plantillas XML ) rellena las plantillas de informe (creadas po

  • Rule MANager for Snort Gratis

    Regla MANagaer para Snort Un complemento PHP para snort para administrar los conjuntos de reglas en múltiples sensores deun db central de Snort MySQL.Características principales: Fusión de conjuntos de reglas por grupo

  • GraphStream Gratis

    Una biblioteca Java y un conjunto de herramientas para manipular rápida y fácilmente gráficos (conjunto de nodos y bordes) y gráficos dinámicos. El rasgo principal de esta biblioteca es su capacidad para administrar (crear, e

  • Cut Order Plan Gratis

    Cut-Order Plan es una herramienta utilizada en la industria de la confección para hacer el plan de corte. Características:-*En este momento maneja una sola tela a la vez.*Funciona para las posibilidades mínimas de marcador.*O

  • Japano Webapplication Toolkit Gratis

    Japano es un kit de herramientas y motor de aplicaciones web basado en java-servlet. Ofrece lógica de sitio web fácil y creación de formularios HTML y ofrece integración de actualizaciones dinámicas de javascript (AJAX). Una

  • Reboot Control Widget Prueba gratuita

    Reiniciar widgetSE NECESITA ACCESO ROOT***Este Widget le permitirá reiniciar cualquier dispositivo, incluyendo Funciones:ReiniciarBota calienteReiniciar a la recuperaciónReiniciar a BootloaderApagadoDis

  • OpenWiz Gratis

    OpenWiz es un proyecto que ayuda al desarrollo de software de código abierto para la máquina portátil GamePark Holdings Wiz. Mantendremos el acceso público a las fuentes del núcleo, así como proporcionaremos firmwares alterna

  • JCortex (Neural Networks Framework) Gratis

    JCortex es una solución completa que permite a los desarrolladores de software crear, educar y utilizar redes neuronales artificiales en proyectos Java. Se divide en dos elementos: JCortex Framework, un marco Java ANN; y JCor

  • QPythonShell Gratis

    Se ha construido un Shell de Python a partir de Qt, QScintilla y la API de Python C directamente, que cuenta con resaltado de sintaxis y finalización de código simple a través de una GUI Qt. Se espera que un Qt Widget se pued

  • xacc.ide Gratis

    xacc.ide es un IDE de código abierto destinado principalmente al desarrollo de .NET. Tiene un editor de código escrito en código 100% de C, que es más rápido que la mayoría de las ofertas comerciales.