@miso-uam.bsky.social
Modelling and Software Engineering research group at the Computer Science Departament of the Universidad Aútonoma de Madrid
Les ha costado arrancar después del parón vacacional, pero son solo las once de la mañana y ya están los servidores echando humo con preguntas de los alumnos y del profesorado.
Lee la noticia completa en nuestra web: www.elmundotoday.com/2025/09/los-...
A Model-based Solution for Automated (Re-)Engineering of Task-oriented Chatbots
#JSS (w/ Sara Pérez and Esther Guerra)
📃 Paper (open access): doi.org/10.1016/j.js...
⚙️ Tool: dimo1.ii.uam.es/CONGA/
🗂️ Chatbot dataset: github.com/Conga-dsl/Va...
🧪 Migration experiment: github.com/Conga-dsl/Bo...
Our paper for Model Management challenge at ACM Models is accepted!
We show how a Domain-Specific Modeling enables collaborative work, 𝐦𝐢𝐧𝐢𝐦𝐢𝐳𝐞𝐬 𝐭𝐡𝐞 𝐞𝐟𝐟𝐨𝐫𝐭 of modeling, 𝐩𝐫𝐨𝐯𝐢𝐝𝐞𝐬 𝐟𝐚𝐬𝐭 𝐟𝐞𝐞𝐝𝐛𝐚𝐜𝐤, keeps artefacts 𝐜𝐨𝐧𝐬𝐢𝐬𝐭𝐞𝐧𝐭, 𝐭𝐫𝐚𝐜𝐞𝐚𝐛𝐥𝐞 and provides 𝐡𝐚𝐬𝐬𝐥𝐞-𝐟𝐫𝐞𝐞 𝐯𝐞𝐫𝐬𝐢𝐨𝐧𝐢𝐧𝐠.
github.com/mccjpt/Satel...
Did you read the draft?
01.09.2025 07:44 — 👍 203 🔁 20 💬 0 📌 1
Time to celebrate with all authors, editors, reviewers, and readers of #SoSyM articles 🎉: Our impact factors have hit an all-time record! The 2-year impact factor went up to 3.2 and the 5-year impact factor to 2.7.
This shows the growing importance of software and systems modeling!
#SoSyM-Issue 2025/04 has been published: link.springer.com/journal/1027...
28.07.2025 06:27 — 👍 5 🔁 3 💬 0 📌 1
#OnlineFirst
A model and workflow-driven approach for engineering domain-specific low-code platforms and applications
Francisco Martínez-Lasaca, Pablo Díez, Esther Guerra & Juan de Lara
doi.org/10.1007/s102...
¡Ah, aquellos tiempos en los que las interfaces se construían con cajitas de rayas y bloques de colores! | #ordenadores #software #ASCII #DOS | por @alvy.bsky.social www.microsiervos.com/archivo/orde...
22.07.2025 10:59 — 👍 38 🔁 11 💬 1 📌 4
Wodel-Test: A model-based framework for engineering language-specific mutation testing tools
www.sciencedirect.com/science/arti...
(joint work with Esther Guerra & @miso-uam.bsky.social)
🥳🥳🥳
The slides of my plenary talk at the TMS track of ANNSIM'2025 last week at UCM are here:
es.slideshare.net/slideshow/ai...
(joint work with @gomezabajo.bsky.social, Pablo C. Cañizares, Esther Guerra and Alberto Núñez)
Merlin-A: A tool to engineer adaptive modelling languages #FSE #tool-demo
📹 video: youtu.be/fy171c7Afzk
📃pre-print: miso.es/pubs/fse_202...
🛠️tool: miso.es/tools/merlin...
Shocking! When I said text should wrap at 72 columns, a student asked what a “column” is. With punched cards and fixed-width font line / dot matrix printers fading into history, the idea of a text column doesn't seem to be obvious anymore.
02.05.2025 20:45 — 👍 11 🔁 4 💬 2 📌 0![- // Check four hex digits (must be 0-9 or A-F)
- char h3 = input[i+3], h4 = input[i+4], h5 = input[i+5], h6 = input[i+6];
- if (((h3 >= '0' && h3 <= '9') || (h3 >= 'A' && h3 <= 'F')) &&
- ((h4 >= '0' && h4 <= '9') || (h4 >= 'A' && h4 <= 'F')) &&
- ((h5 >= '0' && h5 <= '9') || (h5 >= 'A' && h5 <= 'F')) &&
- ((h6 >= '0' && h6 <= '9') || (h6 >= 'A' && h6 <= 'F'))) {
+ if (isxdigit(input[i + 3])
+ && isxdigit(input[i + 4])
+ && isxdigit(input[i + 5])
+ && isxdigit(input[i + 6])) {
+ static char hexstr[5];
+ memcpy(hexstr, input + i + 3, 4);
// Parse the 4-digit hex code point
- unsigned int codepoint = 0;
- const char *hex_digits = "0123456789ABCDEF";
- for (int j = 3; j < 7; ++j) {
- codepoint <<= 4;
- char c = input[i+j];
- if (c >= '0' && c <= '9') {
- codepoint |= (unsigned int)(c - '0');
- } else {
- codepoint |= (unsigned int)((c - 'A') + 10);
- }
- }
+ unsigned int codepoint = (unsigned int)strtoul(hexstr, NULL, 16);](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:34na47mry5rtwq3l7xm6w3hc/bafkreih53sz64bpxbofshr6wums4ebm5v3kefr25bt7ki6jl2osick5lxu@jpeg)
- // Check four hex digits (must be 0-9 or A-F) - char h3 = input[i+3], h4 = input[i+4], h5 = input[i+5], h6 = input[i+6]; - if (((h3 >= '0' && h3 <= '9') || (h3 >= 'A' && h3 <= 'F')) && - ((h4 >= '0' && h4 <= '9') || (h4 >= 'A' && h4 <= 'F')) && - ((h5 >= '0' && h5 <= '9') || (h5 >= 'A' && h5 <= 'F')) && - ((h6 >= '0' && h6 <= '9') || (h6 >= 'A' && h6 <= 'F'))) { + if (isxdigit(input[i + 3]) + && isxdigit(input[i + 4]) + && isxdigit(input[i + 5]) + && isxdigit(input[i + 6])) { + static char hexstr[5]; + memcpy(hexstr, input + i + 3, 4); // Parse the 4-digit hex code point - unsigned int codepoint = 0; - const char *hex_digits = "0123456789ABCDEF"; - for (int j = 3; j < 7; ++j) { - codepoint <<= 4; - char c = input[i+j]; - if (c >= '0' && c <= '9') { - codepoint |= (unsigned int)(c - '0'); - } else { - codepoint |= (unsigned int)((c - 'A') + 10); - } - } + unsigned int codepoint = (unsigned int)strtoul(hexstr, NULL, 16);
Correct, but verbose and unreadable ChatGPT (4o) code (in red) vs the human-edited equivalent (in green). (The hex_digits string isn't even used.) Without human code ownership our software risks degenerating into unmaintainable junk.
23.04.2025 15:12 — 👍 14 🔁 5 💬 1 📌 0
Bogus GenAI diagram
Can you spot the six errors in this completely bogus GenAI-derived diagram? Read more in my blog entry on the perils of GenAI student submissions.
www.spinellis.gr/blog/20250408/
Automated Engineering of Domain-Specific MT Environments #ICSTconf #ICST2025 Naples 🇮🇹
👩💻 #metamorphictesting
w/ C. Cañizares, Núñez, Guerra & @miso-uam.bsky.social
📊Slides: es.slideshare.net/slideshow/au...
📖Article #IST: www.sciencedirect.com/science/arti...
🛠️Tool: g0tten.github.io/home.html
DSL of the week: Fish farm automation systems. Generates IEC61131 source code, SQL, device configuration, BoM, installation instructions
25.03.2025 13:03 — 👍 2 🔁 2 💬 0 📌 0
Cosmic Distance Calibration xkcd.com/3066
21.03.2025 19:49 — 👍 11998 🔁 1013 💬 99 📌 43
MODELS 2025's foundation and practice track deadline is approaching soon:
Abstract: March 27; Full paper: April 3 (AoE)
conf.researchr.org/track/models...
Looking forward to your submissions! @modelsconf.bsky.social
Corrections
20.03.2025 20:56 — 👍 75 🔁 10 💬 1 📌 4
Where you sit 🤓😎😴
18.03.2025 23:15 — 👍 134 🔁 32 💬 4 📌 10
DSL of the week: Design Space Exploration (DSE) applied to set platforms, workloads, simulations and allocations for design space exploration of embedded systems.
18.03.2025 08:24 — 👍 4 🔁 1 💬 0 📌 0
¿Buscas máster en informática?
En el máster de Sistemas Interactivos Inteligentes de la @uam.es aprenderás sobre interacción persona-ordenador, aprendizaje automático, videojuegos, realidad virtual, y más!
ℹ️ www.uam.es/uam/master-u...
ℹ️ www.uam.es/EPS/musii
1er plazo de solicitudes: 1 de Abril
Did you know modelling languages could be adaptive, too?
check out: "Adaptive Modelling Languages: Abstract Syntax and Model Migration"
📜 dl.acm.org/doi/10.1145/... (open access)
Don't forget to put your calculator on flight mode (1975)
04.03.2025 14:36 — 👍 34 🔁 11 💬 1 📌 2
#OnlineFirst
Developing configurations and solutions for logical puzzles with UML and OCL
Martin Gogolla & Jesús Sánchez Cuadrado
doi.org/10.1007/s102...
The #UML #dashboard is here 👏👏👏
Monitor #opensource UML tools and see their trends, e.g.:
- Can you guess how many (active) UML tools are out there? 🤔
- And which one is the pillar of many ? 🤔
- And whether UML tools are becoming smart? 🤔
Some answers ⬇️⬇️⬇️
modeling-languages.com/dashboard-um...
Our online playground now also supports live sharing! 🚀 eclipse.dev/epsilon/play...
24.02.2025 14:02 — 👍 2 🔁 3 💬 0 📌 0
