- -

Modelado y verificación de programas Event-B usando Maude

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Modelado y verificación de programas Event-B usando Maude

Show simple item record

Files in this item

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.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 45960 es_ES


This item appears in the following Collection(s)

Show simple item record