GoGPT Best VPN GoSearch

icono de página de OnWorks

Descarga de autoCode4 para Linux

Descarga gratuita de la aplicación de Linux autoCode4 para ejecutar en línea en Ubuntu en línea, Fedora en línea o Debian en línea

Esta es la aplicación de Linux llamada autoCode4 cuya última versión se puede descargar como autoCode4_v1.0.0.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.

Descargue y ejecute en línea esta aplicación llamada autoCode4 con OnWorks de forma gratuita.

Siga estas instrucciones para ejecutar esta aplicación:

- 1. Descargue esta aplicación en su PC.

- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.

- 3. Cargue esta aplicación en dicho administrador de archivos.

- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.

- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.

- 6. Descarga la aplicación, instálala y ejecútala.

SCREENSHOTS

Ad


autoCode4


DESCRIPCIÓN

autoCode4 es un motor que sintetiza controladores a partir de especificaciones formales descritas en un subconjunto de lógica temporal lineal (LTL).

Es importante destacar que sintetiza controladores de flujo de datos síncronos (en forma Lustre o Ptolomeo II) y mantiene la trazabilidad de los requisitos al código. Dicha característica es obligatoria en el desarrollo de sistemas críticos para la seguridad y se considera esencial para la validación de especificaciones o la integración de la implementación manual, como el código heredado.

La especificación LTL captura el comportamiento deseado de un controlador donde el entorno toma el primer movimiento (es decir, sentido / entrada y luego reacción / salida), por lo que el controlador sintetizado puede verse como una máquina Mealy.

Un tutorial paso a paso está disponible dentro del paquete de software.

Caracteristicas

  • Controlar la síntesis a partir de la especificación formal
  • Genere un informe de trazabilidad de los requisitos al módulo


Audiencia

Aeroespacial, Tecnología de la información, Ciencia / Investigación, Fabricación, Desarrolladores


Interfaz de usuario

Consola / Terminal, línea de comandos


Lenguaje de programación

Java



Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/autocode4/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.


Servidores y estaciones de trabajo gratuitos

Descargar aplicaciones de Windows y Linux

Comandos de Linux

Ad




×
Anuncio
❤ ️Compre, reserve o adquiera aquí: sin costo, ayuda a mantener los servicios gratuitos.