Autor:
Moreno-Delgado, Antonio

Foto de perfil

E-mails conocidos

thedownhiller@gmail.com
amoreno@lcc.uma.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Moreno-Delgado

Nombre de pila

Antonio

Nombre

Nombres alternativos

Afiliaciones conocidas

Chainalysis, Spain
Universidad de Málaga, Atenea Research Group, Málaga, Spain

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Filtros

2015 - 201912020 - 20211
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 2 de 2
  • Miniatura
    Artículo
    First steps towards a specification of Blockchain systems using Maude
    Durán, Francisco; Moreno-Delgado, Antonio. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    This work presents a formal specification of the blockchain algorithm. We specify the consensus algorithm in rewriting logic and Maude. The fact that the specification is executable allows us to simulate and analyze it, with the goal of identifying potential weaknesses and testing new algorithms built on top of the existing infrastructure.
  • Miniatura
    Artículo
    Analysis of the Scientific Production of the Spanish Software Engineering Community
    Burgueño, Lola; Moreno-Delgado, Antonio; Vallecillo, Antonio. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.
    Our group has been working on a report for the SpanishúSociety of Software Engineering and Software Development Technologies (SISTEDES) to provide a general overview of the Spanish scientificúproduction and its contributions worldwide in the field of Software Engineering. Although a Database solution could have been used, we decidedúto employ Model-Driven Development (MDD) techniques in order toúevaluate their applicability, suitability and fitness for these kinds of purposes, and to learn from the experience in this domain, which combinesúdata integration, large scale models, and complex queries.