Parcourir Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle par directeur·trice de recherche "Boyer, Michel"
Voici les éléments 1-2 de 2
-
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
(2013-01-04)Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation ... -
Categorical quantum computation
(2009-06-04)