Browsing Documentos de Investigación by Author "Tasistro, Álvaro"

Sort by: Order: Results:

  • Calegari, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Álvaro (Universidad ORT Uruguay. Facultad de Ingeniería, 2010)
    "We present a framework based on the Calculus of Inductive Constructions (CIC) and its associated tool the Coq proof assistant to allow certification of model transformations in the context of Model-Driven Engineering ...
  • Calegari, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Álvaro (Universidad ORT Uruguay. Facultad de Ingeniería, 2009)
    "This paper presents ongoing work on the application of constructive type theory for safe development in Model-Driven Engineering. In particular, we put into practice a certification framework based on the Calculus of ...