UNDAV Digital

Listar por autor "Calonge, Federico"

Listar por autor "Calonge, Federico"

Ordenar por:Orden:Resultados:

  • Aplicaciones inteligentes sobre internet de las cosas y grandes volúmenes de datos: un enfoque riguroso 
    Asteasuain, Fernando; D'Angiolo, Federico; Dubinsky, Manuel; Pazos, Fernando; Kwist, Iván; Loiseau, Matías; Contreras, David; Calonge, Federico (Red de Universidades con Carreras en Informática, 2020)
    Día tras días se generan millones y millones de nuevos datos y la cantidad de información a procesar es un desafío creciente. Entre los más destacados podemos mencionar el crecimiento exponencial de la “Internet de las ...
  • Aspect Oriented Behavioral Synthesis 
    Asteasuain, Fernando; Calonge, Federico; Gamboa, Pablo (Red de Universidades con Carreras en Informática, 2019)
    Modern modularization techniques such as Aspect Orientation require powerful and expressive enough specification languages in order to conceive the development of a system as the combination of the different views it is ...
  • Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses 
    Asteasuain, Fernando; Calonge, Federico; Dubinsky, Manuel (Red de Universidades con Carreras en Informática, 2018)
    The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, ...

Buscar en UNDAV Digital

Listar

Mi cuenta