miso
@miso-uam.bsky.social
Modelling and Software Engineering research group at the Computer Science Departament of the Universidad Aútonoma de Madrid
Pinned
miso
@miso-uam.bsky.social
· Jun 2
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)
es.slideshare.net/slideshow/ai...
(joint work with @gomezabajo.bsky.social, Pablo C. Cañizares, Esther Guerra and Alberto Núñez)
Reposted by miso
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-...
Lee la noticia completa en nuestra web: www.elmundotoday.com/2025/09/los-...
September 8, 2025 at 12:10 PM
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-...
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...
#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...
September 2, 2025 at 7:17 AM
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...
#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...
Reposted by miso
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...
We show how a Domain-Specific Modeling enables collaborative work, 𝐦𝐢𝐧𝐢𝐦𝐢𝐳𝐞𝐬 𝐭𝐡𝐞 𝐞𝐟𝐟𝐨𝐫𝐭 of modeling, 𝐩𝐫𝐨𝐯𝐢𝐝𝐞𝐬 𝐟𝐚𝐬𝐭 𝐟𝐞𝐞𝐝𝐛𝐚𝐜𝐤, keeps artefacts 𝐜𝐨𝐧𝐬𝐢𝐬𝐭𝐞𝐧𝐭, 𝐭𝐫𝐚𝐜𝐞𝐚𝐛𝐥𝐞 and provides 𝐡𝐚𝐬𝐬𝐥𝐞-𝐟𝐫𝐞𝐞 𝐯𝐞𝐫𝐬𝐢𝐨𝐧𝐢𝐧𝐠.
github.com/mccjpt/Satel...
September 1, 2025 at 6:40 AM
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...
We show how a Domain-Specific Modeling enables collaborative work, 𝐦𝐢𝐧𝐢𝐦𝐢𝐳𝐞𝐬 𝐭𝐡𝐞 𝐞𝐟𝐟𝐨𝐫𝐭 of modeling, 𝐩𝐫𝐨𝐯𝐢𝐝𝐞𝐬 𝐟𝐚𝐬𝐭 𝐟𝐞𝐞𝐝𝐛𝐚𝐜𝐤, keeps artefacts 𝐜𝐨𝐧𝐬𝐢𝐬𝐭𝐞𝐧𝐭, 𝐭𝐫𝐚𝐜𝐞𝐚𝐛𝐥𝐞 and provides 𝐡𝐚𝐬𝐬𝐥𝐞-𝐟𝐫𝐞𝐞 𝐯𝐞𝐫𝐬𝐢𝐨𝐧𝐢𝐧𝐠.
github.com/mccjpt/Satel...
Reposted by miso
Did you read the draft?
September 1, 2025 at 7:44 AM
Did you read the draft?
Reposted by miso
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!
This shows the growing importance of software and systems modeling!
August 12, 2025 at 4:08 PM
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!
This shows the growing importance of software and systems modeling!
Reposted by miso
#SoSyM-Issue 2025/04 has been published: link.springer.com/journal/1027...
July 28, 2025 at 6:27 AM
#SoSyM-Issue 2025/04 has been published: link.springer.com/journal/1027...
Reposted by miso
#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...
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...
A model and workflow-driven approach for engineering domain-specific low-code platforms and applications - Software and Systems Modeling
The need to produce software quicker and in greater quantities continues to grow, while the market for professional programmers struggles to meet the rising demand. Low-code development platforms (LCD...
doi.org
July 21, 2025 at 5:40 AM
#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...
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...
Reposted by miso
¡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...
¡Ah, aquellos tiempos en los que las interfaces se construían con cajitas de rayas y bloques de colores!
El arte de dibujar cajas con caracteres revive con los recuerdos de las interfaces gloriosas del DOS. ¿Quién necesita gráficos cuando existen las cajitas?
www.microsiervos.com
July 22, 2025 at 10:59 AM
¡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...
Reposted by miso
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)
🥳🥳🥳
www.sciencedirect.com/science/arti...
(joint work with Esther Guerra & @miso-uam.bsky.social)
🥳🥳🥳
Wodel-Test: A model-based framework for engineering language-specific mutation testing tools
Mutation testing (MuT) is a well-known technique for assessing the quality of software test suites. It relies on the artificial injection of errors in…
www.sciencedirect.com
June 3, 2025 at 4:45 PM
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)
🥳🥳🥳
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)
es.slideshare.net/slideshow/ai...
(joint work with @gomezabajo.bsky.social, Pablo C. Cañizares, Esther Guerra and Alberto Núñez)
June 2, 2025 at 5:28 PM
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)
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...
📹 video: youtu.be/fy171c7Afzk
📃pre-print: miso.es/pubs/fse_202...
🛠️tool: miso.es/tools/merlin...
miso.es
May 8, 2025 at 7:06 AM
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...
📹 video: youtu.be/fy171c7Afzk
📃pre-print: miso.es/pubs/fse_202...
🛠️tool: miso.es/tools/merlin...
Reposted by miso
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.
May 2, 2025 at 8:45 PM
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.
Reposted by miso
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.
![- // 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)
April 23, 2025 at 3:12 PM
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.
Reposted by miso
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/
www.spinellis.gr/blog/20250408/
April 11, 2025 at 6:56 AM
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/
www.spinellis.gr/blog/20250408/
Reposted by miso
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
👩💻 #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
Automated Engineering of Domain-Specific Metamorphic Testing Environments
Automated Engineering of Domain-Specific Metamorphic Testing Environments - Descargar como PDF o ver en línea de forma gratuita
es.slideshare.net
April 3, 2025 at 10:06 AM
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
👩💻 #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
Reposted by miso
DSL of the week: Fish farm automation systems. Generates IEC61131 source code, SQL, device configuration, BoM, installation instructions
March 25, 2025 at 1:04 PM
DSL of the week: Fish farm automation systems. Generates IEC61131 source code, SQL, device configuration, BoM, installation instructions
Reposted by miso
Cosmic Distance Calibration xkcd.com/3066
March 21, 2025 at 7:49 PM
Cosmic Distance Calibration xkcd.com/3066
Reposted by miso
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
Abstract: March 27; Full paper: April 3 (AoE)
conf.researchr.org/track/models...
Looking forward to your submissions! @modelsconf.bsky.social
MODELS 2025 - Research Papers - MODELS 2025
About MODELS is the premier conference series for model-based software and systems engineering. Since 1998 MODELS has covered all aspects of modeling, from languages and methods to tools and applicati...
conf.researchr.org
March 14, 2025 at 1:42 AM
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
Abstract: March 27; Full paper: April 3 (AoE)
conf.researchr.org/track/models...
Looking forward to your submissions! @modelsconf.bsky.social
Reposted by miso
Reposted by miso
Reposted by miso
DSL of the week: Design Space Exploration (DSE) applied to set platforms, workloads, simulations and allocations for design space exploration of embedded systems.
March 18, 2025 at 8:24 AM
DSL of the week: Design Space Exploration (DSE) applied to set platforms, workloads, simulations and allocations for design space exploration of embedded systems.
¿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
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
Máster en Sistemas Interactivos Inteligentes | UAM
Descubre toda la información y los detalles sobre el Máster en Sistemas Interactivos Inteligentes en la UAM
www.uam.es
March 11, 2025 at 11:06 AM
¿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
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)
check out: "Adaptive Modelling Languages: Abstract Syntax and Model Migration"
📜 dl.acm.org/doi/10.1145/... (open access)
Adaptive Modelling Languages: Abstract Syntax and Model Migration | ACM Transactions on Software Engineering and Methodology
Modelling languages are heavily used in many disciplines, including software engineering.
However, current languages are rigid, since they do not get adapted to fit the users’ expertise, the modelling...
dl.acm.org
March 11, 2025 at 10:17 AM
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)
check out: "Adaptive Modelling Languages: Abstract Syntax and Model Migration"
📜 dl.acm.org/doi/10.1145/... (open access)
Reposted by miso
Don't forget to put your calculator on flight mode (1975)
March 4, 2025 at 2:36 PM
Don't forget to put your calculator on flight mode (1975)
Reposted by miso
#OnlineFirst
Developing configurations and solutions for logical puzzles with UML and OCL
Martin Gogolla & Jesús Sánchez Cuadrado
doi.org/10.1007/s102...
Developing configurations and solutions for logical puzzles with UML and OCL
Martin Gogolla & Jesús Sánchez Cuadrado
doi.org/10.1007/s102...
Developing configurations and solutions for logical puzzles with UML and OCL - Software and Systems Modeling
Logical puzzles can be important factors for the development of rational analysis and application capabilities for pupils and students. Therefore, logical puzzles can also take a prominent supporting ...
doi.org
February 26, 2025 at 6:13 AM
#OnlineFirst
Developing configurations and solutions for logical puzzles with UML and OCL
Martin Gogolla & Jesús Sánchez Cuadrado
doi.org/10.1007/s102...
Developing configurations and solutions for logical puzzles with UML and OCL
Martin Gogolla & Jesús Sánchez Cuadrado
doi.org/10.1007/s102...