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

Autores
Rocca, Paulo L.
Año de publicación
1993
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión aceptada
Colaborador/a o director/a de tesis
De Giusti, Armando Eduardo
Descripción
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.
Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática.
Licenciado en Sistemas
Universidad Nacional de La Plata
Facultad de Ciencias Exactas
Materia
Ciencias Informáticas
Sistemas
Requirements/Specifications
Real time
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/2120
Acceder
id SEDICI_5391c8e2c57df2db1090f6d40e54b5d1
oai_identifier_str oai:sedici.unlp.edu.ar:10915/2120
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Ambiente para especificación de requerimientos de sistemas de tiempo realRocca, Paulo L.Ciencias InformáticasSistemasRequirements/SpecificationsReal timeUna 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.Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática.Licenciado en SistemasUniversidad Nacional de La PlataFacultad de Ciencias ExactasDe Giusti, Armando Eduardo1993info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionTesis de gradohttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/2120spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/Creative Commons Attribution 4.0 International (CC BY 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-11-05T12:28:26Zoai:sedici.unlp.edu.ar:10915/2120Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-11-05 12:28:29.501SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Ambiente para especificación de requerimientos de sistemas de tiempo real
title Ambiente para especificación de requerimientos de sistemas de tiempo real
spellingShingle Ambiente para especificación de requerimientos de sistemas de tiempo real
Rocca, Paulo L.
Ciencias Informáticas
Sistemas
Requirements/Specifications
Real time
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
dc.creator.none.fl_str_mv Rocca, Paulo L.
author Rocca, Paulo L.
author_facet Rocca, Paulo L.
author_role author
dc.contributor.none.fl_str_mv De Giusti, Armando Eduardo
dc.subject.none.fl_str_mv Ciencias Informáticas
Sistemas
Requirements/Specifications
Real time
topic Ciencias Informáticas
Sistemas
Requirements/Specifications
Real time
dc.description.none.fl_txt_mv 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.
Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática.
Licenciado en Sistemas
Universidad Nacional de La Plata
Facultad de Ciencias Exactas
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.
publishDate 1993
dc.date.none.fl_str_mv 1993
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/acceptedVersion
Tesis de grado
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/2120
url http://sedici.unlp.edu.ar/handle/10915/2120
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1847978292985987072
score 13.087074

Publicaciones similares