[ { "titulo": "MARPa: a software Modelling Assistance and Requirement Pattern-based method for Low-Code\/No-Code Software Development", "autor": "Jose David Mosquera Tob\u00f3n", "directores": "Pastor L\u00f3pez, Oscar", "fecha": "18-SEP-26", "elemento": null }, { "titulo": "A Semantically Governed and Modular Digital Twin\u00bfMAS Architecture for Explainable and Traceable Industrial Execution", "autor": "Mar\u00eda Gabriela Ju\u00e1rez Ju\u00e1rez", "directores": "Giret Boggino, Adriana Susana ; Botti V.", "fecha": "03-SEP-26", "elemento": null }, { "titulo": "ANALYSIS OF SUSTAINABLE-BASED COMMUNICATION FOR TOURISM ENHANCEMENT IN BUKHARA (UZBEKISTAN) BASED ON ITS CULTURAL TOURISM", "autor": "Odil Radjabov", "directores": "Alberola Oltra, Juan Miguel ", "fecha": "13-JUL-26", "elemento": null }, { "titulo": "Specification and verification of modern security models in Maude", "autor": "V\u00edctor Garc\u00eda Valero", "directores": "Escobar Rom\u00e1n, Santiago ", "fecha": "06-JUL-26", "elemento": null }, { "titulo": "Teaching Model Testing from a Model-Driven Engineering perspective", "autor": "Felix Cammaerts", "directores": "Monique Snoeck ; Mar\u00edn, Beatriz", "fecha": "06-JUL-26", "elemento": null }, { "titulo": "Advanced Narrowing-Based Symbolic Verification Techniques in Maude", "autor": "Ra\u00fal L\u00f3pez Rueda", "directores": "Escobar Rom\u00e1n, Santiago ; Sapi\u00f1a-Sanchis, Julia", "fecha": "21-MAY-26", "elemento": null } ]