| Property |
Value |
| dbo:abstract
|
- Le raisonnement continu (ou continuous reasoning, CR) est une méthodologie de raisonnement automatisé qui exploite la compositionnalité pour analyser les systèmes à grande échelle de manière différentielle. Le raisonnement continu se concentre sur l'analyse des derniers changements introduits dans le système et sur la réutilisation des résultats d'analyse précédents autant que possible. Le but du raisonnement continu est de contenir la complexité de calcul élevée des problèmes à grande échelle en résolvant des instances plus petites des problèmes à résoudre, c'est-à-dire en résolvant des instances qui considèrent principalement ce qui a changé dans le système depuis le dernier analyse effectuée. Le raisonnement continu a été proposé pour la première fois par O'Hearn en 2018 et a particulièrement réussi à soutenir le développement itératif de logiciels dans les grandes entreprises informatiques grâce à l'utilisation d'outils de raisonnement automatisé tels que Facebook's Infer et Amazon s2n . Ces outils effectuent une analyse statique incrémentale sur des bases de code volumineuses, en se concentrant uniquement sur les différences entre une modification et une autre, pour identifier les erreurs éventuelles ou les problèmes de sécurité avant la mise en production du code. Récemment, l'utilisation du raisonnement continu a également été proposée pour la gestion d'applications sur des infrastructures de Fog computing . (fr)
- Le raisonnement continu (ou continuous reasoning, CR) est une méthodologie de raisonnement automatisé qui exploite la compositionnalité pour analyser les systèmes à grande échelle de manière différentielle. Le raisonnement continu se concentre sur l'analyse des derniers changements introduits dans le système et sur la réutilisation des résultats d'analyse précédents autant que possible. Le but du raisonnement continu est de contenir la complexité de calcul élevée des problèmes à grande échelle en résolvant des instances plus petites des problèmes à résoudre, c'est-à-dire en résolvant des instances qui considèrent principalement ce qui a changé dans le système depuis le dernier analyse effectuée. Le raisonnement continu a été proposé pour la première fois par O'Hearn en 2018 et a particulièrement réussi à soutenir le développement itératif de logiciels dans les grandes entreprises informatiques grâce à l'utilisation d'outils de raisonnement automatisé tels que Facebook's Infer et Amazon s2n . Ces outils effectuent une analyse statique incrémentale sur des bases de code volumineuses, en se concentrant uniquement sur les différences entre une modification et une autre, pour identifier les erreurs éventuelles ou les problèmes de sécurité avant la mise en production du code. Récemment, l'utilisation du raisonnement continu a également été proposée pour la gestion d'applications sur des infrastructures de Fog computing . (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4033 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- Le raisonnement continu (ou continuous reasoning, CR) est une méthodologie de raisonnement automatisé qui exploite la compositionnalité pour analyser les systèmes à grande échelle de manière différentielle. Le raisonnement continu se concentre sur l'analyse des derniers changements introduits dans le système et sur la réutilisation des résultats d'analyse précédents autant que possible. Le but du raisonnement continu est de contenir la complexité de calcul élevée des problèmes à grande échelle en résolvant des instances plus petites des problèmes à résoudre, c'est-à-dire en résolvant des instances qui considèrent principalement ce qui a changé dans le système depuis le dernier analyse effectuée. (fr)
- Le raisonnement continu (ou continuous reasoning, CR) est une méthodologie de raisonnement automatisé qui exploite la compositionnalité pour analyser les systèmes à grande échelle de manière différentielle. Le raisonnement continu se concentre sur l'analyse des derniers changements introduits dans le système et sur la réutilisation des résultats d'analyse précédents autant que possible. Le but du raisonnement continu est de contenir la complexité de calcul élevée des problèmes à grande échelle en résolvant des instances plus petites des problèmes à résoudre, c'est-à-dire en résolvant des instances qui considèrent principalement ce qui a changé dans le système depuis le dernier analyse effectuée. (fr)
|
| rdfs:label
|
- Raisonnement continu (fr)
- Raisonnement continu (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |