Especificaciones formales tempranas del comportamiento de sistemas de software

El objetivo general del presente proyecto es facilitar la especificación formal del comportamiento de artefactos de software. La especificación formal del comportamiento esperado de artefactos de software ha sido identificada como uno de los mayores obstáculos para el desarrollo de software basado e...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Asteasuain, Fernando, Dubinsky, Manuel, Díaz, Federico José, Lagostena, Juan
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2017
Materias:
Ciencias Informáticas
lenguaje declarativo
modelado de comportamiento
especificación de comportamiento
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/61997
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-61997
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
lenguaje declarativo
modelado de comportamiento
especificación de comportamiento
spellingShingle Ciencias Informáticas
lenguaje declarativo
modelado de comportamiento
especificación de comportamiento
Asteasuain, Fernando
Dubinsky, Manuel
Díaz, Federico José
Lagostena, Juan
Especificaciones formales tempranas del comportamiento de sistemas de software
topic_facet Ciencias Informáticas
lenguaje declarativo
modelado de comportamiento
especificación de comportamiento
description El objetivo general del presente proyecto es facilitar la especificación formal del comportamiento de artefactos de software. La especificación formal del comportamiento esperado de artefactos de software ha sido identificada como uno de los mayores obstáculos para el desarrollo de software basado en modelos, y para la transferencia de técnicas de validación y verificación formal como model checking. La comunidad en Ingeniería de Software cree que una posible solución debe poder combinar varios condimentos: deben permitir la descripción parcial del comportamiento, la facilidad para especificar sistemas abiertos, se deben usar sintaxis simples y conocidas, deben basarse en notaciones con suficiente poder expresivo y deben soportar heterogeneidad (combinando declaratividad para estar cerca de la especificación de los requerimientos y notaciones operacionales basadas en autómatas oformalismos similares). El objetivo específico de esta investigación es el desarrollo de un nuevo lenguaje declarativo con el suficiente poder expresivo para especificar el comportamiento de sistemas abiertos, y la capacidad para operacionalizar las especificaciones. En el mismo se combinará la posibilidad de describir comportamiento parcial, permitiendo el modelado incremental, junto con la posibilidad de especificar el comportamiento de artefactos describiendo su interacción con un ambiente o contexto externo, habilitando las especificaciones de sistemas abiertos.
format Objeto de conferencia
Objeto de conferencia
author Asteasuain, Fernando
Dubinsky, Manuel
Díaz, Federico José
Lagostena, Juan
author_facet Asteasuain, Fernando
Dubinsky, Manuel
Díaz, Federico José
Lagostena, Juan
author_sort Asteasuain, Fernando
title Especificaciones formales tempranas del comportamiento de sistemas de software
title_short Especificaciones formales tempranas del comportamiento de sistemas de software
title_full Especificaciones formales tempranas del comportamiento de sistemas de software
title_fullStr Especificaciones formales tempranas del comportamiento de sistemas de software
title_full_unstemmed Especificaciones formales tempranas del comportamiento de sistemas de software
title_sort especificaciones formales tempranas del comportamiento de sistemas de software
publishDate 2017
url http://sedici.unlp.edu.ar/handle/10915/61997
work_keys_str_mv AT asteasuainfernando especificacionesformalestempranasdelcomportamientodesistemasdesoftware
AT dubinskymanuel especificacionesformalestempranasdelcomportamientodesistemasdesoftware
AT diazfedericojose especificacionesformalestempranasdelcomportamientodesistemasdesoftware
AT lagostenajuan especificacionesformalestempranasdelcomportamientodesistemasdesoftware
bdutipo_str Repositorios
_version_ 1764820479225364481

Ejemplares similares