Évaluer en continu la qualité d'un logiciel doit être une activité importante permettant de diagnostiquer et d'éviter des problèmes. Une caractéristique commune dans une bonne conception est la distribution correcte de responsabilités entre les composants. La cohésion et le couplage sont des caractéristiques d'un logiciel servant d'indicateurs de cette distribution. Ces propriétés peuvent être mesurées et ainsi avoir une idée de la qualité du logiciel. Pour mesurer la cohésion et le couplage, différentes métriques ont été proposées. Plusieurs outils ont été développés également pour donner au programmeur la possibilité de mesurer le code. Généralement, ces outils présentent les résultats des métriques avec des chiffres qui ne sont, pas suff...
National audienceLa délégation d’exécution de code est un mécanisme prometteur pour les systèmes nom...
Le calcul sur grille permet à un individu, une société, de disposer d’un ensemble d’unités de calcul...
Dans cette thèse, nous présentons une formalisation, réalisée dans l'assistant de preuve Coq, de la ...
De nos jours, les logiciels sont de plus en plus complexes. La complexité des logiciels augmente ave...
Ce papier s'intéresse au problème de la visualisation des données partagées dans les applications à ...
National audienceCe papier s'intéresse au problème de la visualisation des données partagées dans le...
Ce travail s'inscrit dans le cadre des recherches menées autour de l'analyse et la visualisation des...
Suite et fin d'un feuilleton sur les données parlementaires et la visualisation des réseaux de cosig...
Ce rapport s'intéresse au problème de la visualisation des données partagées dans les applications à...
Le développement du logiciel actuel doit faire face de plus en plus à la complexité de programmes gi...
La compréhension de la structure d’un logiciel est une première étape importante dans la résolution ...
En 1983, un « nouveau » type de logiciels que nous avons appelé « idéateur » est apparu sur le march...
Utilisée très largement par le système bancaire actuel, la carte à puce peut être considérée comme u...
Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaine...
De nos jours, la carte à puce est la pierre angulaire de nos usages quotidiens. En effet, elle est i...
National audienceLa délégation d’exécution de code est un mécanisme prometteur pour les systèmes nom...
Le calcul sur grille permet à un individu, une société, de disposer d’un ensemble d’unités de calcul...
Dans cette thèse, nous présentons une formalisation, réalisée dans l'assistant de preuve Coq, de la ...
De nos jours, les logiciels sont de plus en plus complexes. La complexité des logiciels augmente ave...
Ce papier s'intéresse au problème de la visualisation des données partagées dans les applications à ...
National audienceCe papier s'intéresse au problème de la visualisation des données partagées dans le...
Ce travail s'inscrit dans le cadre des recherches menées autour de l'analyse et la visualisation des...
Suite et fin d'un feuilleton sur les données parlementaires et la visualisation des réseaux de cosig...
Ce rapport s'intéresse au problème de la visualisation des données partagées dans les applications à...
Le développement du logiciel actuel doit faire face de plus en plus à la complexité de programmes gi...
La compréhension de la structure d’un logiciel est une première étape importante dans la résolution ...
En 1983, un « nouveau » type de logiciels que nous avons appelé « idéateur » est apparu sur le march...
Utilisée très largement par le système bancaire actuel, la carte à puce peut être considérée comme u...
Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaine...
De nos jours, la carte à puce est la pierre angulaire de nos usages quotidiens. En effet, elle est i...
National audienceLa délégation d’exécution de code est un mécanisme prometteur pour les systèmes nom...
Le calcul sur grille permet à un individu, une société, de disposer d’un ensemble d’unités de calcul...
Dans cette thèse, nous présentons une formalisation, réalisée dans l'assistant de preuve Coq, de la ...