Herramientas de model finding para asistir en la construcción de especificaciones formales

Este trabajo plantea el desafío técnico de asistir en la construcción de especificaciones en el contexto de la enseñanza de la programación, en materias introductorias, a través de la provisión automática de información de análisis, basada en constraint solving relacional. Se presentan a través de e...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Permigiani, Sonia, Novaira, Maria Marta, Scilingo, Gastón, Arroyo, Marcelo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2020
Materias:
Ciencias Informáticas
Construcción de especificaciones
Model finding
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/113273
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-113273
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
Construcción de especificaciones
Model finding
spellingShingle Ciencias Informáticas
Construcción de especificaciones
Model finding
Permigiani, Sonia
Novaira, Maria Marta
Scilingo, Gastón
Arroyo, Marcelo
Herramientas de model finding para asistir en la construcción de especificaciones formales
topic_facet Ciencias Informáticas
Construcción de especificaciones
Model finding
description Este trabajo plantea el desafío técnico de asistir en la construcción de especificaciones en el contexto de la enseñanza de la programación, en materias introductorias, a través de la provisión automática de información de análisis, basada en constraint solving relacional. Se presentan a través de ejemplos concretos, por un lado, la traducción de especificaciones que involucran expresiones cuantificadas al lenguaje Alloy, y por otro la definición de consultas de análisis que, mediante las herramientas Alloy y DynAlloy, brindan feedback automático a los estudiantes. Se discuten además algunas dificultades técnicas que se presentan al construir modelos de especificaciones con dominios numéricos, para su utilización en herramientas de model finding.
format Objeto de conferencia
Objeto de conferencia
author Permigiani, Sonia
Novaira, Maria Marta
Scilingo, Gastón
Arroyo, Marcelo
author_facet Permigiani, Sonia
Novaira, Maria Marta
Scilingo, Gastón
Arroyo, Marcelo
author_sort Permigiani, Sonia
title Herramientas de model finding para asistir en la construcción de especificaciones formales
title_short Herramientas de model finding para asistir en la construcción de especificaciones formales
title_full Herramientas de model finding para asistir en la construcción de especificaciones formales
title_fullStr Herramientas de model finding para asistir en la construcción de especificaciones formales
title_full_unstemmed Herramientas de model finding para asistir en la construcción de especificaciones formales
title_sort herramientas de model finding para asistir en la construcción de especificaciones formales
publishDate 2020
url http://sedici.unlp.edu.ar/handle/10915/113273
work_keys_str_mv AT permigianisonia herramientasdemodelfindingparaasistirenlaconstrucciondeespecificacionesformales
AT novairamariamarta herramientasdemodelfindingparaasistirenlaconstrucciondeespecificacionesformales
AT scilingogaston herramientasdemodelfindingparaasistirenlaconstrucciondeespecificacionesformales
AT arroyomarcelo herramientasdemodelfindingparaasistirenlaconstrucciondeespecificacionesformales
bdutipo_str Repositorios
_version_ 1764820445298688002

Ejemplares similares