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

id	I19-R120-10915-19384
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 Software modelado documentación model checking
spellingShingle	Ciencias Informáticas Software modelado documentación model checking Asteasuain, Fernando Un enfoque declarativo para modelar el comportamiento en sistemas reactivos
topic_facet	Ciencias Informáticas Software modelado documentación model checking
description	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 esenciales de los objetos y agentes, posee características especialmente prometedoras para este tipo de desafíos. Sin embargo, las alternativas existentes en este paradigma son lógicas temporales que poseen limitaciones prácticas y teóricas.
format	Objeto de conferencia Objeto de conferencia
author	Asteasuain, Fernando
author_facet	Asteasuain, Fernando
author_sort	Asteasuain, Fernando
title	Un enfoque declarativo para modelar el comportamiento en sistemas reactivos
title_short	Un enfoque declarativo para modelar el comportamiento en sistemas reactivos
title_full	Un enfoque declarativo para modelar el comportamiento en sistemas reactivos
title_fullStr	Un enfoque declarativo para modelar el comportamiento en sistemas reactivos
title_full_unstemmed	Un enfoque declarativo para modelar el comportamiento en sistemas reactivos
title_sort	un enfoque declarativo para modelar el comportamiento en sistemas reactivos
publishDate	2010
url	http://sedici.unlp.edu.ar/handle/10915/19384
work_keys_str_mv	AT asteasuainfernando unenfoquedeclarativoparamodelarelcomportamientoensistemasreactivos
bdutipo_str	Repositorios
_version_	1764820464336633859

Un enfoque declarativo para modelar el comportamiento en sistemas reactivos

Ejemplares similares