CATRE

Consulta de recursos

CATRE · Catálogo de recursos

Listas de Distribución

MAUDE - Usuarios del lenguaje MAUDE en España
Código:
  • a01b06c03d17
  • a01b06c03d23
Idioma: es Formato: Text

Descripción

MAUDE es un lenguaje para especificaciones formales mediante el uso de términos algebraicos. Se trata de un lenguaje interpretado que permite la verificación de propiedades y transformaciones sobre modelos y que permite ejecutar la especificación como si fuera un prototipo. La semántica del modelo o del metamodelo se puede especificar mediante ecuaciones. Sus aplicaciones son muy amplias. Esta lista surge con el ánimo de compartir información entre los distintos usuarios y para resolver los problemas que puedan surgir con el uso de este lenguaje.

Palabras clave

Correo electrónico Información-Difusión Maude (Lenguaje de programación) Álgebra

Importancia del recurso según audiencia

Público general 40 %

Información del recurso

Fecha de creación
29/07/2003
Editor
CSIC/RedIRIS. España
Creador
Listman - listman@rediris.es
Formato
Text
Tipo
Html
Versión
20040414-1.0.8
Estado
3
Revisado por
saracugr
Fecha de validación
29/07/2003
Idioma preferido
es

Recurso original

Visitar recurso externo ↗
Ver JSON original
{
    "catreCode": [
        "a01b06c03d17",
        "a01b06c03d23"
    ],
    "catreKeyword": [
        "Correo electrónico",
        "Información-Difusión",
        "Maude (Lenguaje de programación)",
        "Álgebra"
    ],
    "catreURL": "https://www.rediris.es/list/info/maude.html",
    "catreVersion": "20040414-1.0.8",
    "description": "es::MAUDE es un lenguaje para especificaciones formales mediante el uso de términos algebraicos. Se trata de un lenguaje interpretado que permite la verificación de propiedades y transformaciones sobre modelos y que permite ejecutar la especificación como si fuera un prototipo. La semántica del modelo o del metamodelo se puede especificar mediante ecuaciones. Sus aplicaciones son muy amplias. Esta lista surge con el ánimo de compartir información entre los distintos usuarios y para resolver los problemas que puedan surgir con el uso de este lenguaje.",
    "catreAudience": "public::400",
    "catreCreationDate": "20030729",
    "catreCreator": "Listman - listman@rediris.es",
    "catreFormat": "Text",
    "catreName": "MAUDE - Usuarios del lenguaje MAUDE en España",
    "catrePublisher": "CSIC/RedIRIS. España",
    "catreResourceType": "Listas de Distribución",
    "catreReviewer": "saracugr",
    "catreState": "3",
    "catreType": "Html",
    "catreValidationDate": "20030729",
    "preferredLanguage": "es"
}