Busque entre los 166596 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-10-24T16:53:55Z | |
dc.date.available | 2012-10-24T16:53:55Z | |
dc.date.issued | 2012-08-02 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/22895 | |
dc.identifier.uri | https://doi.org/10.35537/10915/22895 | |
dc.description.abstract | 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 | es |
dc.language | es | es |
dc.subject | lenguajes de especificación de requerimientos | es |
dc.subject | Requirements/Specifications | es |
dc.subject | lenguajes gráficos | es |
dc.subject | Languages | es |
dc.subject | estudio comparado | es |
dc.title | Estudio comparado de lenguajes gráficos de especificación de sistemas | es |
dc.type | Tesis | es |
sedici.creator.person | Martinez, Sandra Noemí | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Facultad de Informática | es |
sedici.subtype | Tesis de maestria | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.contributor.director | Olivero, Alfredo | es |
sedici.contributor.codirector | Rossi, Gustavo Héctor | es |
thesis.degree.name | Magister en Ingeniería de Software | es |
thesis.degree.grantor | Universidad Nacional de La Plata | es |
sedici.date.exposure | 2012-08-02 | |
sedici.acta | 103 | es |