Méthodes de vérification formelle des composants critiques des systèmes
IN-COM 8 décembre 2025 Applications, Examen du code, Conformité, Modernisation des données, Systèmes hérités, Discussions techniquesLa vérification formelle est devenue une compétence essentielle pour les organisations chargées de l'exploitation de systèmes critiques pour la sécurité et indispensables à la mission. Initiatives de modernisation...
En savoir plus
Utilisation de l'IA pour calculer le score de risque de chaque module de code hérité
IN-COM 5 décembre 2025 Applications, Intelligence artificielle (AI), Conformité, Analyse d'impact, Discussions techniquesLes programmes de modernisation des entreprises nécessitent de plus en plus une méthode fiable et reproductible pour évaluer les risques techniques au sein de vastes parcs informatiques existants. À mesure que les systèmes…
En savoir plus
Conversion des modèles de propagation d'exceptions hérités en monades ou en types de résultats
IN-COM 2 décembre 2025 Modernisation des applications, Examen du code, Modernisation des données, Technologies de l'information, Systèmes hérités, Discussions techniquesLes systèmes d'entreprise monolithiques et hybrides s'appuient souvent sur la propagation des exceptions comme principal mécanisme de signalisation des défaillances. Dans ces systèmes...
En savoir plus
Détection et correction des attaques par confusion de dépendances dans les gestionnaires de paquets privés
IN-COM 2 décembre 2025 Modernisation des applications, Banks, Modernisation des données, Industries, Technologies de l'information, Discussions techniquesLa confusion des dépendances est rapidement devenue l'une des menaces les plus importantes pesant sur la chaîne d'approvisionnement logicielle dans les écosystèmes de développement modernes. Contrairement à...
En savoir plus
Exploiter l'analyse de couverture des chemins pour cibler la logique métier non testée
IN-COM 1 décembre 2025 Applications, Modernisation des données, Systèmes hérités, Discussions techniquesLes applications d'entreprise de grande envergure contiennent souvent des décennies de logique accumulée, répartie entre des structures arborescentes, des extensions COPYBOOK et des chemins conditionnels qui évoluent...
En savoir plus
Réduction des cascades de désoptimisation JIT grâce à une refactorisation prenant en compte les dépendances
IN-COM 29 novembre 2025 Gestion des applications, Examen du code, Centres de données, Analyse d'impactLes applications JVM d'entreprise modernes rencontrent fréquemment des problèmes de performances imprévisibles dus à des cascades de désoptimisation JIT. Ces cascades apparaissent lorsque des hypothèses spéculatives...
En savoir plus