Advertisement · 728 × 90

Posts by miso

Post image

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-...

7 months ago 215 45 1 3
Post image

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...

7 months ago 2 2 0 0
Post image

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...

7 months ago 5 1 1 0
Post image

Did you read the draft?

7 months ago 200 19 0 1
Post image Post image Post image

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!

8 months ago 4 3 0 0
Post image

#SoSyM-Issue 2025/04 has been published: link.springer.com/journal/1027...

8 months ago 5 3 0 1
Preview
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...

#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...

9 months ago 2 2 0 0
Preview
¡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?

¡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...

8 months ago 38 11 1 4
Preview
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…

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)

🥳🥳🥳

10 months ago 1 1 0 0
Advertisement

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)

10 months ago 1 1 0 0

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...

11 months ago 1 1 0 0
Post image Post image Post image

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.

11 months ago 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);

- // 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.

11 months ago 14 5 1 0
Bogus GenAI diagram

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/

1 year ago 5 2 2 0
Preview
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

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

1 year ago 1 1 0 0
Post image

DSL of the week: Fish farm automation systems. Generates IEC61131 source code, SQL, device configuration, BoM, installation instructions

1 year ago 2 2 0 0
Post image

Cosmic Distance Calibration xkcd.com/3066

1 year ago 11910 1004 99 43
Advertisement
Preview
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...

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

1 year ago 7 5 0 0
Post image

Corrections

1 year ago 73 10 1 4
Post image

Where you sit 🤓😎😴

1 year ago 134 32 4 10
Post image

DSL of the week: Design Space Exploration (DSE) applied to set platforms, workloads, simulations and allocations for design space exploration of embedded systems.

1 year ago 4 1 0 0
Preview
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

¿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

1 year ago 1 1 0 0
Preview
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...

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)

1 year ago 1 1 0 0
Post image

Don't forget to put your calculator on flight mode (1975)

1 year ago 34 11 1 2
Preview
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 ...

#OnlineFirst
Developing configurations and solutions for logical puzzles with UML and OCL
Martin Gogolla & Jesús Sánchez Cuadrado
doi.org/10.1007/s102...

1 year ago 3 3 0 0
Advertisement
Preview
Dashboard to monitor open source UML tools The UML dashboard shows a manually curated list of open source UML tools in GitHub. Some global stats and a deeper analysis of trends are discussed.

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...

1 year ago 3 2 0 0
Post image

Our online playground now also supports live sharing! 🚀 eclipse.dev/epsilon/play...

1 year ago 2 3 0 0