Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. Maude MSOS Tool

Maude MSOS Tool

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

Maude MSOS Tool es un entorno formal para la especificación de las especificaciones de la Semántica Operativa Estructural Modular. Es particularmente útil para la especificación formal de lenguajes de programación y sistemas simultáneos.

historial de versiones

  • Versión N/A publicado en 2011-08-12
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-08-12

Detalles del programa

Programas relacionados

  • Intuitive Neural Network Gratis

    Intuitive Neural Network es un software concieved para fines CAE (Computer Aided Education) en Inteligencia Artificial.

  • Digital Camera EXIF Backup Gratis

    Aplicación Java de copia de seguridad EXIF simple que lee la etiqueta de fecha tomada de una imagen y clona el archivo en una ubicación de destino utilizando una estructura de directorios de patrón de fecha predefinida.

  • TUPA - The Ultimate PowerDNS Admin Gratis

    TUPA es un front-end de administración PowerDNS basado en web programado en PHP / Javascript(AJAX) / MySQL.Admite la creación de grupos, usuarios y plantillas.

  • Surfraw - Shell Revolutionary Front Gratis

    Surfraw - Shell Los usuarios de la ira frontal revolucionaria contra la Web. Surfraw proporciona una interfaz de línea de comandos unix rápida a una variedad de motores de búsqueda WWW populares y otros artefactos de potencia

  • Cybios Digital Community Gratis

    Cybios es una comunidad de juego-cibernética en línea basada en avatares que interactúa en ciudades virtuales. Como Avatar puedes vivir, trabajar y jugar en The Digital-community como el RealWorld. En Cybios todo podría suced

  • OWLmt Gratis

    OWLmt es una herramienta de mapeo ondlógico basada en las especificaciones de Web Ontology Language(OWL). Proporciona una interfaz gráfica de usuario para definir las asignaciones entre dos esquemas ontología. Proporciona un

  • Maven Wiki Plugin Gratis

    El maven Wiki Plugin recupera documentación de diferentes sistemas Wikis y crea archivos XDoc para su posterior procesamiento por otros plugins de Maven como el plugin PDF o el plugin XDoc.

  • Input Abstraction Layer Gratis

    Input Abstraction Layer (IAL) es un proyecto que hace teclas especiales (por ejemplo, teclas multimedia, teclas de función que se encuentran en los portátiles) "just work". IAL proporciona un demonio que puede mejor

  • iChooChoo Gratis

    iChooChoo es un simulador de tren en red basado en Java, con sonido y animaciones. Crear diseños de pista personalizados, e incluso tener trenes visitan otros ordenadores! Diseño de programación modular. Se ejecuta e inter

  • Commons for Java 5 Gratis

    Una solución para problemas comunes en java utilizando las nuevas características del lenguaje, como anotaciones genéricas autoboxing varargs...