Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. Desing by Contract Utilities

Desing by Contract Utilities 0.4

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

El proyecto proporcionará un conjunto muy pequeño de clases de servicios públicos utilizables para comprobar las invariantes de clase pre y postcondiciones

historial de versiones

  • Versión dbc-utilities0.4 publicado en 2006-05-09
    Varias correcciones y actualizaciones
  • Versión dbc-utilities0.4 publicado en 2006-05-09

Detalles del programa

Programas relacionados

  • ZABBIX Gratis

    ZABBIX es una solución de supervisión distribuida de código abierto de clase empresarial diseñada para supervisar y realizar un seguimiento del rendimiento y la disponibilidad de servidores de red, dispositivos y otros recurs

  • Fine Gratis

    Fine es un derivitive del compilador SmallEiffel. Sin embargo, en un esfuerzo por mejorar (?) en el idioma Eiffel tiene algunas características adicionales y modificadas. Se hará todo lo posible para mantenerlo compatible h

  • FullPage for eBay (UK) Prueba gratuita

    Esta aplicación le permite utilizar ebay.co.uk como lo haría desde su computadora de escritorio.FullPage abre ebay en un navegador diseñado para ayudar a navegar y aumentar el disfrute del uso del sitio web de ebay.Enl

  • GridSAM Gratis

    GridSAM proporciona un servicio web basado en estándares abiertos de envío de trabajos para enviar trabajos de cálculo a muchos sistemas de administración de recursos distribuidos de uso común.

  • ESMERALDA Gratis

    ESMERALDA es un entorno de desarrollo parareconocedores que operan con datos secuenciales (voz, escritura a mano,biológicas). Soporta densidad continua OcultaModelos Markov, modelos de cadena Markov (N-gramm) y modelos

  • EditBox Gratis

    EditBox es el plugin Eclipse para el resaltado de fondo del código fuente. Mientras que la mayoría de los plugins resaltan la sintaxis del código fuente, EditBox resalta el bloque seleccionado del código cambiando su color de

  • DataMiningGrid Gratis

    Herramientas y servicios compatibles con WSRF para minería de datos en entornos de computación en red, basados en: Globus Toolkit 4, Condor y triana sistema de flujo de trabajo. Más información en: http://www.datamininggrid.o

  • Finch package dependency engine Gratis

    Finch es un motor de gestión de gráficos de dependencia de paquetes con interfaces en muchos lenguajes de programación (C, Obj-C, Perl, etc).. El objetivo de este proyecto es proporcionar un reemplazo robusto para el motor d

  • jpegEnc Gratis

    El objetivo de jpegEnc es proporcionar un codificador JPEG fundamental. Principales características: * Impresión de pie diminuto * Dos veces más rápido que el proceso libjpeg * está en banda por banda. Salida a un búfer espec

  • NLChunker Gratis

    Marcador de fragmentos de lenguaje natural para identificar grupos de sustantivos y grupos de verbos en un discurso determinado