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

Ejemplares similares

Ejemplares similares