Publications

@conference{Gomez:DYNAMICA:2005,

title = {Integraci\'{o}n de un sistema de reescritura de t\'{e}rminos en una herramienta de desarrollo software industrial},

author = {Abel G\'{o}mez and Artur Boronat and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},

url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-dynamica-2005.pdf},

year  = {2005},

date = {2005-11-18},

booktitle = {Actas de las IV Jornadas de Trabajo DYNAMICA},

pages = {87-99},

address = {Archena, Murcia, Espa\~{n}a},

abstract = {Los m\'{e}todos formales proporcionan buenas propiedades para abordar problemas de Ingenier\'{i}a del Software: validaci\'{o}n de sistemas, integraci\'{o}n de artefactos software, etc. En este sentido, diversas han sido las aproximaciones formales para la resoluci\'{o}n de problemas en Ingenier\'{i}a de Modelos, por ejemplo, mediante teor\'{i}a de grafos, o reescritura de t\'{e}rminos. En esta \'{u}ltima aproximaci\'{o}n encontramos Maude: un potente sistema basado en l\'{o}gica ecuacional y l\'{o}gica de reescritura. A pesar de todo esto, debido a prejuicios o malas experiencias, las herramientas industriales no suelen apoyarse en estos m\'{e}todos, abordando la resoluci\'{o}n los problemas de forma ad-hoc. En este contexto se ha desarrollado un conjunto de herramientas que integran el sistema formal Maude en un entorno de desarrollo industrial como es Eclipse. Este art\'{i}culo muestra las caracter\'{i}sticas de estas herramientas y las posibilidades que ofrecen al usuario y futuros desarrolladores.},

keywords = {Application Programming Interface (API), Maude, MOMENT},

pubstate = {published},

tppubtype = {conference}

}