Mostrando 1 - 10 resultados de 10 para la búsqueda [ Calegari, Daniel ] Filtros
  1. 1
    Reporte técnico Institution-based semantics for MOF and QVT-relations :Extended version Calegari, Daniel - Szasz, Nora
    2013
    Universidad de la República
  2. 2
    Reporte técnico Verification of model transformations : A survey of the state-of-the-art (Extended version) Calegari, Daniel - Szasz, Nora
    2012
    Universidad de la República
  3. 3
    Reporte técnico Experiment with a type-theoretic approach to the verification of model transformations Calegari, Daniel - Luna, Carlos - Szasz, Nora - Tasistro, Álvaro
    2009
    Universidad ORT Uruguay
  4. 4
    Reporte técnico A type-theoretic framework for certified model transformations Calegari, Daniel - Luna, Carlos - Szasz, Nora - Tasistro, Álvaro
    2010
    Universidad ORT Uruguay
  5. 5
    Preprint A Process Mining-based approach for Attacker Profiling Rodríguez, Marcelo - Betarte, Gustavo - Calegari, Daniel
    2021
    Universidad de la República
    Otros Autores:
  6. 6
    Reporte técnico Estado del arte de testing de transformaciones de modelos López, Leonardo - Pintos, Leonardo - Calegari, Daniel - Luna, Carlos
    2011
    Universidad de la República
    Otros Autores:
  7. 7
    Reporte técnico Estado del arte de verificación de transformación de modelos López, Horacio - Varesi, Fernando - Viñolo, Marcelo - Calegari, Daniel - Luna, Carlos
    2010
    Universidad de la República
    Otros Autores:
  8. 8
    Preprint Exploring the application of process mining techniques to improve web application security Bruno, Marcelo - Ibañez, Pablo - Techera, Tamara - Calegari, Daniel - Betarte, Gustavo
    2021
    Universidad de la República
    Otros Autores:
  9. 9
    Reporte técnico Estado del arte de lenguajes y herramientas de transformación de modelos López, Horacio - Veresi, Fernando - Viñolo, Marcelo - Calegari, Daniel - Luna, Carlos
    2009
    Universidad de la República
    Otros Autores:
  10. 10