Especificación formal de lenguajes específicos del dominio utilizando Alloy
Un lenguaje específico del dominio (DSL, por sus siglas en inglés) provee primitivas ajustadas a un dominio específico para facilitar el modelado de sus instancias. Frecuentemente, los DSLs se definen utilizando lenguajes imprecisos, tales como MOF y UML, como meta-lenguajes. En consecuencia, los DS...
Guardado en:
| Autores principales: | Garis, Ana Gabriela, Sanchez, Alejandro |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/45732 |
| Aporte de: |
Ejemplares similares
-
Verificación en Alloy de modelos y metamodelos específicos del dominio
por: Garis, Ana Gabriela, et al.
Publicado: (2016) -
Integrando UML y DSL en el enfoque MDA
por: Giulianelli, Daniel Alberto, et al.
Publicado: (2010) -
Aplicando UML y DSL en el enfoque MDA
por: Giulianelli, Daniel Alberto, et al.
Publicado: (2010) -
Un DSL para trazabilidad alimentaria
por: Caluva, Emanuel Ceferino
Publicado: (2018) -
Verification and validation of domain specific languages using Alloy
por: Garis, Ana Gabriela, et al.
Publicado: (2015)