Parcourir Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires par sujet "Vérification de modèles"
Voici les éléments 1-1 de 1
-
Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
(2020-12-16)La réutilisation est une pratique courante lors du développement de logiciel. Bien souvent, cette réutilisation se fait à travers l’utilisation des librairies. Cette dernière met ses fonctionnalités à disposition des développeurs en utilisant les ...