A Model Checkable UML Soccer Player

Besnard, Valentin; Teodorov, Ciprian; Jouault, Frédéric; Brun, Matthias; Dhaussy, Philippe

doi:10.1109/models-c.2019.00035

Cited by 2 publications

(2 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Besnard et al [5], presented a UML model implementation by verifying and executing a robot soccer player of the MDETools'19 challenge problem with Embedded/Experimental Model Interpreter (EMI). EMI is a model interpreter that can be used to execute, simulate, and formally verify UML models on the host or embedded targets.…”

Section: C4-4mentioning

confidence: 99%

See 1 more Smart Citation

UML to model pollution patterns of the Smart Cities for Metropolitan Zone of Guadalajara

Martínez Vargas,

Estrada Guzmán,

Arellano

2021

recibe

View full text Add to dashboard Cite

La contaminación en poblaciones densas como la Zona Metropolitana de Guadalajara crece exponencialmente, afectando la salud de los ciudadanos y reduciendo su Calidad de Vida. Uno de los principales retos de investigación que se persiguen con el estudio de las Smart Cities es la contaminación ambiental para mejorar el bienestar de los ciudadanos y proteger los espacios naturales. Por lo tanto, es urgente el desarrollo de Tecnologías de la Información para reducir este problema mediante el análisis científico de datos, para clasificar las zonas con mayor contaminación. Actualmente, estos datos son capturados por estaciones de monitoreo constante, generando un gran volumen de información que representa un desafío para el proceso de clasificación. Este trabajo propone un modelo UML (Lenguaje Unificado de Modelado) para la ejecución automática de un algoritmo de clasificación utilizando Máquinas de Vectores de Soporte con la implementación de librerías en python para procesamiento paralelo. Como resultado de esta investigación, se desarrolló un modelo UML para identificar patrones de contaminación en Ciudades Inteligentes, por ejemplo, la Zona Metropolitana de Guadalajara.

show abstract

Section: C4-4mentioning

confidence: 99%

“…Besnard et al [8], developed a Model-Driven Reverse Engineering (MDRE) framework named Source to Model Framework (Src2MoF). This framework was developed to generate UML structural (class) and behavioral (activity) diagrams from the Java source code.…”

Section: C4-4mentioning

confidence: 99%