Mostrar el registro sencillo del ítem
dc.contributor.advisor | Escobar Román, Santiago | es_ES |
dc.contributor.author | Ruiz Pérez, Francisca de Asís | es_ES |
dc.date.accessioned | 2016-05-13T12:03:28Z | |
dc.date.available | 2016-05-13T12:03:28Z | |
dc.date.created | 2016-04-26 | |
dc.date.issued | 2016-05-13 | es_ES |
dc.identifier.uri | http://hdl.handle.net/10251/64028 | |
dc.description.abstract | [ES] La mayoría de herramientas de modelado en Ingeniería del Software carecen de mecanismos de verificación de propiedades basados en métodos formales, aunque existen muchas alternativas que incluyen métodos formales ligeros (que no requieren aprender formalismos matemáticos complejos para el modelado). La propuesta líder en Europa es el lenguaje Event-B, soportado por la plataforma Rodin. Event-B es una extensión del lenguaje B, desarrollado en la década de los 90. Diversas compañías europeas como SAP, RATP (Ferrocarril Francia), Systérel o innoQ utilizan Event-B desde hace años para diseñar sus sistemas. El lenguaje Event-B utiliza métodos formales internamente pero queda mucho trabajo por realizar para integrar dichos métodos de una forma simple que potencie la eficiencia. Actualmente muchas herramientas para Event-B traducen programas Event-B a programas Java o Prolog pero nadie ha definido la semántica de Event-B de forma rigurosa. El objetivo de esta tesis de máster es estudiar y comprender la semántica de los modelos descritos en Event-B y vislumbrar un mecanismo de traducción de programas de Event-B al lenguaje Maude. | es_ES |
dc.language | Español | es_ES |
dc.publisher | Universitat Politècnica de València | es_ES |
dc.rights | Reconocimiento - Compartir igual (by-sa) | es_ES |
dc.subject | Modelado | es_ES |
dc.subject | Event-B | es_ES |
dc.subject | Maude | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.subject.other | Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació | es_ES |
dc.title | Modelado y verificación de programas Event-B usando Maude | es_ES |
dc.type | Tesis de máster | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació | es_ES |
dc.description.bibliographicCitation | Ruiz Pérez, FDA. (2016). Modelado y verificación de programas Event-B usando Maude. http://hdl.handle.net/10251/64028 | es_ES |
dc.description.accrualMethod | TFGM | es_ES |
dc.relation.pasarela | TFGM\45960 | es_ES |