Browsing Documentos de Investigación by Subject "SOFTWARE-DESARROLLO"

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 ...
  • Rocca, José Ignacio; Solari, Martín (Universidad ORT Uruguay. Facultad de Ingeniería, 2018)
    "Las principales tendencias tecnológicas de software (Internet of Things, computación ubicua, sistemas contextuales, etc.) promueven la adopción masiva de aplicaciones por parte de usuarios en contextos heterogéneos. El ...
  • Matalonga, Santiago; Villar, Alberto; Nacimento, Cecilia (Universidad ORT Uruguay. Facultad de Ingeniería, 2013)
    "Deuda técnica es una metáfora utilizada para representar los problemas que ocurren cuando una de las dimensiones de la gestión de proyectos es priorizada por sobre otra, típicamente presiones de calendario por sobre ...
  • 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 ...
  • Villar, Alberto; Matalonga, Santiago (Universidad ORT Uruguay. Facultad de Ingeniería, 2014)
    "This document presents the complete list of references that have been short listed during the systematic review process carried out during the months of April-September 2012. The objective of the systematic review was to ...
  • Matalonga, Santiago; Solari, Martín (Universidad ORT Uruguay. Facultad de Ingeniería, 2013)
    "La ingeniería de software es la disciplina del conocimiento que se ocupa del problema de producir software. El software es cada día más pervasivo en nuestra vida. Sin embargo, la ingeniería de software es una disciplina ...
  • Galico, Diego; Natanzon, Kevin; Vega, Carlos; Matalonga, Santiago; Solari, Martín (Universidad ORT Uruguay. Facultad de Ingeniería, 2015)
    "La sensibilidad al contexto es una propiedad emergente del software que indica su capacidad de adaptación al usuario, la tarea y su contexto. La sensibilidad al contexto es una tendencia de creciente importancia, sin ...