⚠⚠⚠ Attention ⚠⚠⚠: Le dépôt institutionnel Papyrus sera indisponible du 31 janvier 21h00 HNE au 1er février 08h00 HNE en raison de travaux électriques sur le campus.
⚠⚠⚠Please note ⚠⚠⚠: The Papyrus Institutional Repository will be unavailable from January 31, 9:00 PM EST to February 1, 8:00 AM EST due to electrical work on campus.
Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle by Advisor "Boyer, Michel"
Now showing items 1-2 of 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)