Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. Bogor-PubSub
  5. Download

Bogor-PubSub 0.1

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

acerca de Bogor-PubSub

Bogor-PubSub es un conjunto de extensiones del comprobador de modelos Bogor que permite una verificación precisa y automática de las infraestructuras de publicación y suscripción.

Programas relacionados

  • Neural network designer Gratis

    Este proyecto consiste en una aplicación de diseñador basada en Windows y una biblioteca (que se puede ejecutar en varias plataformas, incluido Android) junto con varias aplicaciones de demostración (incluyendo un cliente de

  • HRMEdit Gratis

    Aplicación para ver y editar archivos HRM generados por Polar Heart Rate Monitors (por ejemplo, S720i, S725X, S625X). Proporciona una GUI para encontrar errores y corregir manualmente muestras.

  • MSLK Gratis

    MSLK proporciona los binarios Win32 precompilados de algún excelente porject con una GPL o una licencia de código abierto similar. Aquí se mantendrá actualizado.

  • phpMySetiStats Gratis

    phpMySetiStats es una herramienta para mostrar SETI@home estadísticas de procesos en ejecución y estadísticas personales de Berkeley. Utiliza MySQL en backened. También se recomienda Crontab.

  • MbLoc Locator Gratis

    Características del software:1. Posicionamiento en las estaciones base del operador móvil, así como GPS (Si esta función está habilitada en su teléfono [Ajustes-> Ubicación y seguridad-> Satélites GPS]).2. Proporcione i

  • SISC Gratis

    SISC es un intérprete basado en Java extensible del esquema de lenguaje algorítmico. SISC utiliza técnicas de interpretación modernas, y supera a todos los intérpretes Java existentes (a menudo por más de un orden de magnit

  • Druide DB : XML database API for java Gratis

    DruideDB es una base de datos incrustada (basada en archivos de asignación Object/XML) para aplicaciones Java. Se generan tanto el código fuente (DAO) como la capa de persistencia (asignación). Esta base de datos almacena tod

  • LGTV embedded OS (douglas) Gratis

    Esta es una copia de las fuentes oficiales que me fueron proporcionadas a la solicitud de cumplimiento de la GPL por LG Electronics para el software en mi 47LG70 LCD HDTV. Muchos tienen problemas para obtenerlos como LG. Incl

  • nppSmartEdit Gratis

    Nodepad++ plugin es capaz de colocar automáticamente corchetes para que fuera fácil de leer los textos iniciales

  • log4j, fast and flexible java logging Gratis

    log4j es una herramienta de depuración, escrita en Java, que registra instrucciones en un archivo, un java.io.Writer o un demonio syslog.