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

Martinez, Sandra N.

Portada del ejemplar
Título:
Estudio comparado de lenguajes gráficos de especificación de sistemas
Autor:
Martinez, Sandra N.
Otros autores / Colaboradores:
 Olivero, Alfredo; [ Director/a]  Rossi, Gustavo Héctor; [ Codirector/a] 
Temas:
LENGUAJES DE PROGRAMACIÓN; 
URL:
,
Palabras clave:
Lenguajes de especificación de requerimientos, 
Nota de tesis:
Tesis (Maestría en Ingeniería de Software) - Universidad Nacional de La Plata. Facultad de Informática, 2011.
Extensión:
139 p. : il. col. + CD-ROM
Resumen:
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

Puede solicitar más fácilmente el ejemplar con: TES 11/22

Ver índice

La edición contiene los siguientes documentos electrónicos para descargar:

Sólo se cuenta con disponibilidad para sala de lectura.


Disponibilidad Actual Para Préstamo: 0 Disponibilidad Actual Para Sala de Lectura: 1 Cantidad Actual de Reservas: 0 Cantidad Actual de Préstamos: 0

Valoración


Comentarios (0)