Catálogo de publicaciones - tesis
Título de Acceso Abierto
Estudio comparado de lenguajes gráficos de especificación de sistemas
Sandra Noemí Martinez Alfredo Olivero Gustavo Héctor Rossi
acceptedVersion.
Resumen/Descripción – provisto por el repositorio digital
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áticamentePalabras clave – provistas por el repositorio digital
Ciencias Informáticas; lenguajes de especificación de requerimientos; Requirements/Specifications; lenguajes gráficos; Languages; estudio comparado
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | 2012 | SEDICI: Repositorio Institucional de la UNLP (SNRD) |
|
Información
Tipo de recurso:
tesis
Idiomas de la publicación
- español castellano
País de edición
Argentina
Fecha de publicación
2012-08-02
Información sobre licencias CC
