UNDAV Digital

Especificaciones formales tempranas del comportamiento de sistemas de software

Mostrar el registro sencillo del ítem

dc.contributor.author Asteasuain, Fernando
dc.contributor.author Dubinsky, Manuel
dc.contributor.author Díaz, Federico José
dc.contributor.author Lagostena, Juan
dc.date.accessioned 2024-08-08T15:59:30Z
dc.date.available 2024-08-08T15:59:30Z
dc.date.issued 2017
dc.identifier.isbn 978-987-42-5143-5
dc.identifier.other http://sedici.unlp.edu.ar/handle/10915/61997
dc.identifier.uri https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3500
dc.description Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description Fil: Dubinsky, Manuel. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description Díaz, Federico José. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description Lagostena, Juan. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description.abstract 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.
dc.format.mimetype application/pdf
dc.language.iso spa
dc.publisher Red de Universidades con Carreras en Informática
dc.rights info:eu-repo/semantics/openAccess
dc.subject lenguaje declarativo
dc.subject modelado de comportamiento
dc.subject especificación de comportamiento
dc.title Especificaciones formales tempranas del comportamiento de sistemas de software
dc.type info:eu-repo/semantics/conferenceObject
dc.type info:ar-repo/semantics/documento de conferencia
dc.type info:eu-repo/semantics/publishedVersion
dcterms.license http://creativecommons.org/licenses/by-nc-sa/4.0/
local.eventos.nombregeneral Workshop de Investigadores en Ciencias de la Computación
local.eventos.numero XIX
local.eventos.lugar Argentina


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

  • Trabajos presentados a eventos
    Comunicaciones y presentaciones realizadas en eventos científicos (congresos, encuentros, simposios, jornadas, etc.).

Mostrar el registro sencillo del ítem

Buscar en UNDAV Digital


Listar

Mi cuenta

Estadísticas