Manuel García Clavel

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (1)
• Tesis (1)
• Tesis dirigidas (3)

• Artículos de revistas

  • Sobre las " obligationes" de Robert Fland Antiqua et nova responsio

    Manuel García Clavel, Ángel D'Ors

    Revista de filosofía, ISSN-e 1988-284X, ISSN 0034-8244, Nº 11, 1994, págs. 51-88

    • Texto completo
    

• Colaboraciones en obras colectivas

  • ¡Estaba 'pensando'!

    Manuel García Clavel

    Filósofo, maestro y amigo: testimonios sobre Leonardo Polo / Graciela Soriano (dir.), María Idoya Zorroza Huarte (dir.), Genara Castillo (dir.), Juan Fernando Sellés (dir.), Antonio Abruña Puyol (aut.), 2018, ISBN 978-84-313-3262-4, págs. 203-204

    

• Tesis

  • Reflection in general logics and in rewriting logic with applications to the maude languaje

    Manuel García Clavel

    Tesis doctoral dirigida por José Meseguer Guaita (dir. tes.). Universidad de Navarra (1998).

    • Resumen
    

• Tesis dirigidas

  • Mapping OCL as a query and constraint language

    Carolina Inés Dania Flores

    Tesis doctoral dirigida por Marina Soledad Egea González (dir. tes.), Manuel García Clavel (dir. tes.). Universidad Complutense de Madrid (2017).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

  • Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información

    Miguel Ángel García de Dios

    Tesis doctoral dirigida por Manuel García Clavel (dir. tes.). Universidad Complutense de Madrid (2015).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

  • Una semántica formal ejecutable para ocl y sus aplicaciones al análisis y a la validación de modelos

    Marina Soledad Egea González

    Tesis doctoral dirigida por Manuel García Clavel (dir. tes.). Universidad Complutense de Madrid (2008).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.