Un enfoque declarativo para modelar el comportamiento en sistemas reactivos

Mostrar todas las versiones(4)

Existe consenso en la comunidad académica y de ingenieros de software que es fundamental entender, modelar y describir el comportamiento del software complejo desde etapas tempranas del desarrollo. El paradigma de descripción declarativa, basado en el modelado de las propiedades y objetivos esencial...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Asteasuain, Fernando
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2010
Materias:
Ciencias Informáticas
Software
modelado
documentación
model checking
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/19384
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares