Listando por materia "Informàtica"
Mostrando ítems 1-3 de 3
-
Browsing a component library using Non-functional Information
(1999)This paper highlights the role of non-functional information when reusing from a component library. We describe a method for selecting appropriate implementations of Ada packages taking non-functional ... -
Ciències de la computació: guies per a una docència universitària amb perspectiva de gènere
(2018)Obstacles de tipus socioeconòmic, absència de models femenins i presència de representacions socials estereotipades fan difícil incrementar la presència de les dones en l’ensenyament de la tecnologia i ... -
Monotonic AC-Compatible Semantic Path Orderings
(2003)Abstract. Polynomial interpretations and RPO-like orderings allow one to prove termination of Associative and Commutative (AC-)rewriting by only checkingthe rules of the given rewrite system. However, ...