Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. ACM code generator

ACM code generator 1.0

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

ACMgen es un generador de código automático de Mecanismos de Comunicaciones Asíncronos basado en la generación de modelos de redes Petri que se pueden verificar formalmente con algunas propiedades y luego transformarse en una implementación real (por ejemplo.C++ o Verilog).

historial de versiones

  • Versión 1.0 publicado en 2008-03-10
    Varias correcciones y actualizaciones
  • Versión 1.0 publicado en 2008-03-10

Detalles del programa

Programas relacionados

  • Jump from SOAP to REST with WSDL2REST Gratis

    Una cadena de herramientas que permite una migración rápida de la implementación de servicios web SOAP existentes a la implementación de servicios web RESTful mediante el uso de la definición de WSDL de ejedo junto con los se

  • DOSBox Launch Pad Gratis

    Configurar DOSBox puede ser un poco desalentador, así que decidí escribir un proyecto de VB.Net que proporcionaba una GUI para controlar las numerosas entradas en los archivos .conf de DOSBox.

  • DMG Automounter for Linux Gratis

    DMG Automounter es un script nautilus que permite a cualquier distribución de Linux montar un archivo de .dmg de Mac OS X (pero no instalarlo, ya que eso requeriría las API de Mac OS X que son de código cerrado). README tiene

  • APEX Imaging Spectrometer Tools Gratis

    APEX Tools es una colección de utilidades utilizadas junto con el procesamiento de datos hiperespectrales aerotransportados desarrollados para el EXperiment Airborne Prism (APEX) compatible con LA-Prodex.

  • MGP Gratis

    El plugin Maven GWT se utiliza para compilar archivos de origen JavaScript desde el origen Java. El plugin ejecuta GWTCompiler, permite configurar las opciones del compilador, detecta automáticamente la ubicación de los archi

  • PHP Toolbox Gratis

    PHP Toolbox está diseñado para hacer que el proceso de creación desitios web más fáciles. Utiliza el desarrollo iterativo o paso a pasoParadigma. La funcionalidad principal se controla mediante clases de tabla/formulario

  • Java Modeling Language (JML) Gratis

    Java Modeling Language (JML) es un lenguaje de especificación de interfaz de comportamiento que se puede utilizar para especificar el comportamiento de los módulos Java (como en el diseño por contrato -- DBC). Tiene muchas he

  • Sample YouTube Player Gratis

    Aplicación de ejemplo para el proyecto de github SimpleYouTubePlayerhttps://github.com/TheFinestArtist/SimpleYouTubePlayerYouTubePlayerActivity HandlesProblema de orientación (con el modo de rotación automática)R

  • Gelide Gratis

    Gelide es un frontend configurable que te permite gestionar cualquier tipo de sistema emulado (arcade, consola, PC, etc.) que te permite catalogar y lanzar cualquier juego desde cualquier emulador existente bajo GNU/Linux.

  • HMI User Control Gratis

    (ES) El objetivo del proyecto De control de usuario es hacer que pocos controles de usuario para interconectar el sistema PLC a la compilación de la aplicación HMI bajo Win32. Toda cooperación será muy apreciada. (IT) L'obiet