Francisco Durán

5PM and DoC - Formal Models for Game Design

2020 · CLEI electronic journal

A formal language for game design is an endeavor many academics and industry personalities have been tackling since the mid-nineties. One of the most renowned formal models for game design, the MDA Framework, includes steps …

Seamless Reconfiguration of Rule-based IoT Applications

2021

The Internet of Things (IoT) consists of devices and software interacting altogether in order to build powerful and added-value services. One of the main challenges in this context is to support end-users with simple, user-friendly, …