Browsing Documentos de Investigación by Author "Luna, Carlos"

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 ...
  • Luna, Carlos; González, Ariel (Universidad ORT Uruguay. Facultad de Ingeniería, 2007)
    “El estudio de la variabilidad en el desarrollo del software viene creciendo de manera significativa en los últimos años. Las áreas de investigación abarcan desde la personalización del software a las líneas de productos. ...
  • 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 ...
  • González, Ariel; Luna, Carlos (Universidad ORT Uruguay. Facultad de Ingeniería, 2009)
    "The study of variability in software development has become increasingly important in recent years. The research areas in which this is involved range from software specialization to product lines. A common mechanism to ...