Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. Overture: Formal modelling in VDM

Overture: Formal modelling in VDM

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

El proyecto Overture está desarrollando un conjunto de complementos Eclipse de código abierto para apoyar la integración de varias herramientas de modelado VDM (Vienna Development Method). El objetivo es proporcionar soporte para todas las herramientas de VDM existentes y dialectos de lenguaje.

historial de versiones

  • Versión Overture_IDE publicado en 2011-02-27
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-02-27

Detalles del programa

Programas relacionados

  • Mkulu QA Proxy Gratis

    Mkulu QA Proxy se utiliza para ver los detalles de los paquetes HTTP. Es una herramienta útil para el desarrollo web y las pruebas. Se está trabajando para aumentar la funcionalidad de la herramienta. El proxy es capaz de ana

  • Illumination Gratis

    Iluminación: una biblioteca GUI de C++ rica en características e independiente de plattform. Características clave: temática, soporte de descripción de superficie XML, ingenioso motor de diseño, sensibilidad de fuente, backen

  • HMM Based Chinese Segmentor Gratis

    Este es un proyecto que implementa la interfaz de lucene Analyzer para ampliar su función de hacer frente al problema de la segmentación china basada en el modelo estadístico (Hiden Marcov Model)

  • NHibernateIt Gratis

    NHibernateEs es un auxiliar de administración de sesiones de NHibernate y proporciona acciones CRUD básicas a través de la clase Repository. Inspirado en el Proyecto NHibernator, en oracleatdotnet.com

  • AstroWeka Gratis

    AstroWeka es un conjunto de extensiones para Weka, un popular programa de minería de datos, que le permite trabajar directamente con datos astronómicos en el Observatorio Virtual.

  • CalFaces Gratis

    CalFaces (anteriormente jsforganiser) es una colección de componentes JavaServer Faces para su uso en aplicaciones PIM basadas en web, proporcionando un calendario de estilo Outlook con vistas de día, semana laboral, semana y

  • Complement Gratis

    Bibliotecas de C++ multiplataforma. 1. xmt: Interfaz de programación portátil para construir aplicaciones o bibliotecas MultiThreaded (MT); 2. sockios: interfaz a sockets (secuencias de E/S de C++); 3. StEM: máquina de estado

  • H3xC4T Gratis

    H3xC4T lee archivos binarios y muestra contenido hexadecimal ordenado en columnas... en el futuro, voy a añadir algunas características como como la conversión binaria simple o el desmontaje...

  • Charset detector Gratis

    Biblioteca para la detección automática de conjuntos de caracteres de un texto o archivo determinado. El búfer de entrada se analizará para adivinar la codificación utilizada. El resultado (nombre del conjunto de caracteres o

  • Java Signal/Slot with Annotations Gratis

    Esta biblioteca es una API de señal/slot para Java 5.0 que utiliza anotaciones para marcar las señales/slots. Una subclase que contiene enumeraciones de señal/ranura, así como métodos para emitir la señal a sus ranuras, se ge