TY  - THES
AU  - Alcaide García, Beatriz
A3  - Riesco Rodríguez, Adrián
PY  - 2025
UR  - https://hdl.handle.net/20.500.14352/123866
AB  - MongoDB is a distributed NoSQL database management system that employs a document-oriented data model, enabling the storage of semi-structured data in a flexible format. Maude is a high-performance declarative language based on rewrit ing logic,...
AB  - MongoDB es un sistema distribuido de administración de bases de datos NoSQL que utiliza un modelo de datos orientado a documentos, permitiendo el almacenamiento de datos en un formato flexible semi-estructurado. Maude es un lenguaje declarativo de...
LA  - eng
KW  - MongoDB
KW  - NoSQL
KW  - Specification
KW  - Maude
KW  - Distributed Systems
KW  - Formal Methods
KW  - Rewriting Logic
KW  - Especificación
KW  - Sistemas distribuidos
KW  - Métodos formales
KW  - Lógica de Reescritura
TI  - MongoDB specification in Maude
M3  - bachelor thesis
ER  -