Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires by Subject "Formal Specification"
Now showing items 1-1 of 1
-
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 ...