TY  - THES
AU  - Martín Sánchez, Óscar
A3  - Verdejo López, José Alberto
A3  - Martí Oliet, Narciso
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/5712
AB  - In short, this thesis shows that compositional specification and verification are doable in rewriting logic and in Maude if they are enriched with appropriate extensions. Modularity and compositionality are key features in computer science and...
AB  - En pocas palabras, este tesis muestra que la especificación y la verificación composicionales son posibles en lógica de reescritura y en Maude, si se las enriquece con extensiones apropiadas. la modularidad y la composicionalidad son aspectos clave de...
LA  - eng
PB  - Universidad Complutense de Madrid
KW  - rewriting logic
KW  - composition
KW  - modularity
KW  - Maude
KW  - transition structure
KW  - specification
KW  - verification
KW  - lógica de reescritura
KW  - composición
KW  - modularidad
KW  - estructura de transiciones
KW  - especificación
KW  - verificación
TI  - Composition in Rewriting Logic
T2  - Composición en lógica de reescritura
M3  - doctoral thesis
ER  -