Estudio comparado de lenguajes gráficos de especificación de sistemas

El objetivo de esta tesis es estudiar, analizar, comparar y vincular distintos formalismos o herramientas de modelado utilizados tanto en la industria como en el ámbito científico para expresar requerimientos y/o propiedades de los modelos de sistemas informáticos. De esta comparación surgen las for...

Descripción completa

Detalles Bibliográficos
Autor principal: Martinez, Sandra Noemí
Otros Autores: Olivero, Alfredo
Formato: Tesis Tesis de maestria
Lenguaje:Español
Publicado: 2012
Materias:
Ciencias Informáticas
lenguajes de especificación de requerimientos
Requirements/Specifications
lenguajes gráficos
Languages
estudio comparado
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22895
https://doi.org/10.35537/10915/22895
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22895
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
lenguajes de especificación de requerimientos
Requirements/Specifications
lenguajes gráficos
Languages
estudio comparado
spellingShingle Ciencias Informáticas
lenguajes de especificación de requerimientos
Requirements/Specifications
lenguajes gráficos
Languages
estudio comparado
Martinez, Sandra Noemí
Estudio comparado de lenguajes gráficos de especificación de sistemas
topic_facet Ciencias Informáticas
lenguajes de especificación de requerimientos
Requirements/Specifications
lenguajes gráficos
Languages
estudio comparado
description El objetivo de esta tesis es estudiar, analizar, comparar y vincular distintos formalismos o herramientas de modelado utilizados tanto en la industria como en el ámbito científico para expresar requerimientos y/o propiedades de los modelos de sistemas informáticos. De esta comparación surgen las fortalezas y las debilidades de cada uno de ellos. En los casos que sean factibles se define la traducción total o parcial de un formalismo a otro. Esto posibilitará la concepción de traductores automáticos sacando ventaja del uso generalizado de los lenguajes empleados por la industria con la posibilidad que cuentan los lenguajes formales de validar las propiedades automáticamente
author2 Olivero, Alfredo
author_facet Olivero, Alfredo
Martinez, Sandra Noemí
format Tesis
Tesis de maestria
author Martinez, Sandra Noemí
author_sort Martinez, Sandra Noemí
title Estudio comparado de lenguajes gráficos de especificación de sistemas
title_short Estudio comparado de lenguajes gráficos de especificación de sistemas
title_full Estudio comparado de lenguajes gráficos de especificación de sistemas
title_fullStr Estudio comparado de lenguajes gráficos de especificación de sistemas
title_full_unstemmed Estudio comparado de lenguajes gráficos de especificación de sistemas
title_sort estudio comparado de lenguajes gráficos de especificación de sistemas
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/22895
https://doi.org/10.35537/10915/22895
work_keys_str_mv AT martinezsandranoemi estudiocomparadodelenguajesgraficosdeespecificaciondesistemas
bdutipo_str Repositorios
_version_ 1764820467887112192

Ejemplares similares