Listas de Distribución
MAUDE - Usuarios del lenguaje MAUDE en España
Código:
- a01b06c03d17
- a01b06c03d23
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
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"
}
