Usuarios del lenguaje MAUDE en España
Información sobre
Creada/actualizada: Miércoles 16 Enero 2002 12:14:55
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.
Política de la lista:
Archivos de MAUDE
Servidor de ficheros de MAUDE
Utilización de MAUDE. Darse de alta, baja, opciones etc.
