Ambiente para especificación de requerimientos de sistemas de tiempo real

Una caracterización de los sistemas de tiempo real es presentada en el capítulo 1 poniendo de manifiesto la complejidad de estos sistemasy de su proceso de desarrollo. Se plantea entonces la necesidad de la especificación formal para controlar dicha complejidad. El capítulo 2 define el alcance de e...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Rocca, Paulo L.
Otros Autores:	De Giusti, Armando Eduardo
Formato:	Tesis Tesis de grado
Lenguaje:	Español
Publicado:	1993
Materias:	Ciencias Informáticas Sistemas Requirements/Specifications Real time
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/2120
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-2120
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 Sistemas Requirements/Specifications Real time
spellingShingle	Ciencias Informáticas Sistemas Requirements/Specifications Real time Rocca, Paulo L. Ambiente para especificación de requerimientos de sistemas de tiempo real
topic_facet	Ciencias Informáticas Sistemas Requirements/Specifications Real time
description	Una caracterización de los sistemas de tiempo real es presentada en el capítulo 1 poniendo de manifiesto la complejidad de estos sistemasy de su proceso de desarrollo. Se plantea entonces la necesidad de la especificación formal para controlar dicha complejidad. El capítulo 2 define el alcance de este proyecto: la especificación de requerimientos del sistema, y su propósito: el desarrollo de un ambiente de especificación de requerimientos de sistemas de tiempo real. En los capítulos que siguen se describen herramientas y metodologías de especificación de requerimientos, en base a las cuales se caracterizará y construirá el ambiente. El capítulo 3 describe las herramientas usadas para especificar: las componentes de la especificación de requerimientos; el capítulo 4, distintas metodologías de especificación de requerimientos. En el capítulo 5 se caracteriza un ambiente de especificación de requerimientos de sistemas de tiempo real, y en el capítulo 6 se describe un primer prototipo del ambiente implementado en Smalltalk/V. Finalmente, en el capítulo 7 se enuncian las etapas que completan la especificación de un sistema de tiempo real.
author2	De Giusti, Armando Eduardo
author_facet	De Giusti, Armando Eduardo Rocca, Paulo L.
format	Tesis Tesis de grado
author	Rocca, Paulo L.
author_sort	Rocca, Paulo L.
title	Ambiente para especificación de requerimientos de sistemas de tiempo real
title_short	Ambiente para especificación de requerimientos de sistemas de tiempo real
title_full	Ambiente para especificación de requerimientos de sistemas de tiempo real
title_fullStr	Ambiente para especificación de requerimientos de sistemas de tiempo real
title_full_unstemmed	Ambiente para especificación de requerimientos de sistemas de tiempo real
title_sort	ambiente para especificación de requerimientos de sistemas de tiempo real
publishDate	1993
url	http://sedici.unlp.edu.ar/handle/10915/2120
work_keys_str_mv	AT roccapaulol ambienteparaespecificacionderequerimientosdesistemasdetiemporeal
bdutipo_str	Repositorios
_version_	1764820465547739137

Ambiente para especificación de requerimientos de sistemas de tiempo real

Ejemplares similares