Deduction-based software verification tools have reached a maturity allowing them to be used in industrial context where a very high level of assurance is required. This raises the question of the level of confidence we can grant to the tools themselves. We present a certified implementation of a verification condition generator. An originality is its genericity with respect to the logical cont...

Objectifs : Il s’agit dans le cadre de cette étude déterminer la place réservée par législateur qatarien aux situations fictives. Les études antérieures ont traité un seul aspect question, celui société fictive qui, d’ailleurs, a été considéré dénué d’intérêt avec unipersonnelle et c’est ce que ailleurs, essayé nuancer. Dans nouveau monde numérique, risque fictivité est bien réel. Cette recherc...

RÉSUMÉ – Durant ces dernières années, les quantités de données collectées, dans divers domaines d’application de l’informatique, deviennent de plus en plus importantes. Ces quantités suscitent le besoin d’analyse et d’interprétation afin d’en extraire des connaissances utiles. Dans ce travail, nous nous intéressons à la technique d’extraction des règles d’association à partir de larges contexte...

Originalité et innovation sont deux des principaux aspects à considérer pour définir la créativité par rapport à l'éducation. Si le spécifique domaine dans lequel la créativité doit être développé est la haute éducation, ceux deux aspects deviennent des caractéristiques particulières. Par ce travail on cherchera d'éclairer la raison pour laquelle est important évaluer la créativité, de faire qu...

La présente proposition a pour objectif de présenter une réflexion théorique sur le concept capacité d’absorption des projets et rôle l’engagement gestionnaires employés dans la mise en place routines travail. problématique générale se situe un contexte oeuvre simultanés qui peut créer pression supplémentaire les ce trait aux ressources disponibles. L’élaboration d’un cadre théorique, mettant r...

La notion de fidélité peut sembler dépassée dans l’analyse l’adaptation, mais il convient pourtant la reconsidérer le cas des narrations graphiques, sans en faire un critère discriminant entre bonnes et mauvaises adaptations bien outil d’analyse. Partant d’un corpus d’adaptations récentes prise vue réelle, principalement blockbusters, nous voulons mettre avant ce qui relève l’adaptation visuell...

comment étudier les textes romanesques français si nombreux depuis la formation définitive de la langue française au xviie siècle? c'est la question à laquelle les critiques ont essayé de répondre. pourtant, de la critique traditionnelle à celle moderne, le chercheur est confronté à une diversité vertigineuse qui ne cesse de croître. suite à la nouvelle critique rassemblant les jeunes critiques...