Verificación en Alloy de modelos y metamodelos específicos del dominio

La verificación de modelos de sistemas de software es una actividad clave para mejorar la calidad del producto final. Numerosos lenguajes específicos del dominio han sido creados para favorecer la definición de modelos ajustados a un dominio o área particular. Sin embargo, la verificación de estos m...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Garis, Ana Gabriela, Sanchez, Alejandro
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2016
Materias:
Ciencias Informáticas
Languages
Alloy
DSL
verificación
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/54106
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-54106
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Languages
Alloy
DSL
verificación
spellingShingle Ciencias Informáticas
Languages
Alloy
DSL
verificación
Garis, Ana Gabriela
Sanchez, Alejandro
Verificación en Alloy de modelos y metamodelos específicos del dominio
topic_facet Ciencias Informáticas
Languages
Alloy
DSL
verificación
description La verificación de modelos de sistemas de software es una actividad clave para mejorar la calidad del producto final. Numerosos lenguajes específicos del dominio han sido creados para favorecer la definición de modelos ajustados a un dominio o área particular. Sin embargo, la verificación de estos modelos, frecuentemente es dejada de lado como actividad complementaria al modelado. Esta línea de investigación, desarrollo e innovación se orienta a generalizar un mecanismo basado en Alloy, para la especificación y verificación de modelos y metamodelos específicos del dominio. Alloy es un lenguaje formal, soportado por una amigable herramienta de verificación y validación. Las características de Alloy pueden ser aprovechadas para establecer un enfoque que permita garantizar la calidad de los modelos de sistemas de software específicos.
format Objeto de conferencia
Objeto de conferencia
author Garis, Ana Gabriela
Sanchez, Alejandro
author_facet Garis, Ana Gabriela
Sanchez, Alejandro
author_sort Garis, Ana Gabriela
title Verificación en Alloy de modelos y metamodelos específicos del dominio
title_short Verificación en Alloy de modelos y metamodelos específicos del dominio
title_full Verificación en Alloy de modelos y metamodelos específicos del dominio
title_fullStr Verificación en Alloy de modelos y metamodelos específicos del dominio
title_full_unstemmed Verificación en Alloy de modelos y metamodelos específicos del dominio
title_sort verificación en alloy de modelos y metamodelos específicos del dominio
publishDate 2016
url http://sedici.unlp.edu.ar/handle/10915/54106
work_keys_str_mv AT garisanagabriela verificacionenalloydemodelosymetamodelosespecificosdeldominio
AT sanchezalejandro verificacionenalloydemodelosymetamodelosespecificosdeldominio
bdutipo_str Repositorios
_version_ 1764820475961147392

Ejemplares similares