. . . . . "Raisonnement continu"@fr . "Le raisonnement continu (ou continuous reasoning, CR) est une m\u00E9thodologie de raisonnement automatis\u00E9 qui exploite la compositionnalit\u00E9 pour analyser les syst\u00E8mes \u00E0 grande \u00E9chelle de mani\u00E8re diff\u00E9rentielle. Le raisonnement continu se concentre sur l'analyse des derniers changements introduits dans le syst\u00E8me et sur la r\u00E9utilisation des r\u00E9sultats d'analyse pr\u00E9c\u00E9dents autant que possible. Le but du raisonnement continu est de contenir la complexit\u00E9 de calcul \u00E9lev\u00E9e des probl\u00E8mes \u00E0 grande \u00E9chelle en r\u00E9solvant des instances plus petites des probl\u00E8mes \u00E0 r\u00E9soudre, c'est-\u00E0-dire en r\u00E9solvant des instances qui consid\u00E8rent principalement ce qui a chang\u00E9 dans le syst\u00E8me depuis le dernier analyse effectu\u00E9e. Le raisonnement continu a \u00E9t\u00E9 propos\u00E9 pour la premi\u00E8re fois par O'Hearn en 2018 et a particuli\u00E8rement r\u00E9ussi \u00E0 soutenir le d\u00E9veloppement it\u00E9ratif de logiciels dans les grandes entreprises informatiques gr\u00E2ce \u00E0 l'utilisation d'outils de raisonnement automatis\u00E9 tels que Facebook's Infer et Amazon s2n . Ces outils effectuent une analyse statique incr\u00E9mentale sur des bases de code volumineuses, en se concentrant uniquement sur les diff\u00E9rences entre une modification et une autre, pour identifier les erreurs \u00E9ventuelles ou les probl\u00E8mes de s\u00E9curit\u00E9 avant la mise en production du code. R\u00E9cemment, l'utilisation du raisonnement continu a \u00E9galement \u00E9t\u00E9 propos\u00E9e pour la gestion d'applications sur des infrastructures de Fog computing ."@fr . . . . . . . . . . . "13609972"^^ . "183578801"^^ . . "Le raisonnement continu (ou continuous reasoning, CR) est une m\u00E9thodologie de raisonnement automatis\u00E9 qui exploite la compositionnalit\u00E9 pour analyser les syst\u00E8mes \u00E0 grande \u00E9chelle de mani\u00E8re diff\u00E9rentielle. Le raisonnement continu se concentre sur l'analyse des derniers changements introduits dans le syst\u00E8me et sur la r\u00E9utilisation des r\u00E9sultats d'analyse pr\u00E9c\u00E9dents autant que possible. Le but du raisonnement continu est de contenir la complexit\u00E9 de calcul \u00E9lev\u00E9e des probl\u00E8mes \u00E0 grande \u00E9chelle en r\u00E9solvant des instances plus petites des probl\u00E8mes \u00E0 r\u00E9soudre, c'est-\u00E0-dire en r\u00E9solvant des instances qui consid\u00E8rent principalement ce qui a chang\u00E9 dans le syst\u00E8me depuis le dernier analyse effectu\u00E9e."@fr . "4033"^^ . . . .