- -

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 full item record

Ruiz Pérez, FDA. (2016). Modelado y verificación de programas Event-B usando Maude. http://hdl.handle.net/10251/64028.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/64028

Files in this item

Item Metadata

Title: Modelado y verificación de programas Event-B usando Maude
Author:
Director(s): Escobar Román, Santiago
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Read date / Event date:
2016-04-26
Issued date:
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 ...[+]
Subjects: Modelado , Event-B , Maude
Copyrigths: Reconocimiento - Compartir igual (by-sa)
degree: 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ó
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record