RJCIA 2022National audienceDans le cadre d'un projet de recherche concernant l'évaluation de la maintenabilité logicielle en collaboration avec l'équipe de développement, nous nous sommes intéressés à l'utilisation fréquente de métriques comme prédicteurs. De nombreuses métriques existent, souvent avec des implémentations opaques et discutables. Nous affirmons que les métriques mélangent l'évaluation de la présentation, de la structure et du modèle. Afin de se concentrer sur les vrais défauts de maintenabilité détectables, nous avons calculé des métriques uniquement basées sur la structure du programme. Notre approche a consisté à analyser le code source de programmes Java comme un graphe, et calculer les métriques dans un langage de requêt...
In this paper we present a tool environment for semi-automatic verification of basic programming exe...
The group of the faculty EE-Math-CS of the University of Twente is developing a graphical modeling l...
Les design patterns (ou patrons de conception) sont reconnus comme une des bonnes techniques du géni...
As a part of a research project concerning software maintainability assessment in collaboration with...
Nous proposons une analyse statique de programmes à objets par interprétation abstraite. L'analyse d...
Développer des analyseurs statiques nécessite une manipulation intensive de structures d'arbres et d...
Java est un langage à objets concurrent. Ces deux facettes, déjà complexes prises isolément, devienn...
Nous nous intéressons dans ce document à la vérification de propriétés comportementales d applicatio...
Ce travail s'inscrit dans le cadre des recherches menées autour de l'analyse et la visualisation des...
Nous nous intéressons dans cette thèse à la preuve formelle de correction des analyses statiques. No...
Cette thèse présente un algorithme d'analyse statique pour des programmes parallèles. Il généralise ...
L'auteur n'a pas fourni de résumé en anglaisJava est à ce jour l'un des langages, si ce n'est le lan...
La problématique abordée dans ce travail est celle de la gestion mémoire automatique pour des progra...
Contribution à un ouvrage.Dès son apparition, la technologie Java a suscité un intérêt extrêmement f...
This technical report is a support document for the article Efficient and Scalable Platform for Java...
In this paper we present a tool environment for semi-automatic verification of basic programming exe...
The group of the faculty EE-Math-CS of the University of Twente is developing a graphical modeling l...
Les design patterns (ou patrons de conception) sont reconnus comme une des bonnes techniques du géni...
As a part of a research project concerning software maintainability assessment in collaboration with...
Nous proposons une analyse statique de programmes à objets par interprétation abstraite. L'analyse d...
Développer des analyseurs statiques nécessite une manipulation intensive de structures d'arbres et d...
Java est un langage à objets concurrent. Ces deux facettes, déjà complexes prises isolément, devienn...
Nous nous intéressons dans ce document à la vérification de propriétés comportementales d applicatio...
Ce travail s'inscrit dans le cadre des recherches menées autour de l'analyse et la visualisation des...
Nous nous intéressons dans cette thèse à la preuve formelle de correction des analyses statiques. No...
Cette thèse présente un algorithme d'analyse statique pour des programmes parallèles. Il généralise ...
L'auteur n'a pas fourni de résumé en anglaisJava est à ce jour l'un des langages, si ce n'est le lan...
La problématique abordée dans ce travail est celle de la gestion mémoire automatique pour des progra...
Contribution à un ouvrage.Dès son apparition, la technologie Java a suscité un intérêt extrêmement f...
This technical report is a support document for the article Efficient and Scalable Platform for Java...
In this paper we present a tool environment for semi-automatic verification of basic programming exe...
The group of the faculty EE-Math-CS of the University of Twente is developing a graphical modeling l...
Les design patterns (ou patrons de conception) sont reconnus comme une des bonnes techniques du géni...