Search
Now showing items 1-2 of 2
Reasoning tradeoffs in languages with enhanced modularity features
(Modularity 2016: Proceedings of the 15th International Conference on Modularity 13-24 2016, 2016-03)
The continuous need for more ambitious, more complex, and more dependable software systems demands mechanisms to modularize such systems and reason about their correctness. The reasoning process is affected by the programming ...
Fortalezas y debilidades de Facebook y Tw i t t e r como entornos educativos en el contexto del curso Estructuras discretas para informática en la Universidad Nacional de Costa Rica
(Universidad Nacional (Costa Rica), 2016)
Durante el primer semestre del año 2013 se implementó un conjunto de experiencias de enseñanza y aprendizaje en el curso Estructuras discretas para informática utilizando como principales medios de interacción social las ...