En suivant le lien ci-dessous, vous trouverez une thèse qui porte sur le test des programmes C.
Une méthode de diagnostic automatique des échecs de preuve est proposée.
https://tel.archives-ouvertes.fr/tel-01680052
La formation permanente de la DR18 du CNRS organise en partenariat avec le réseau des informaticiens Min2Rien, une formation sur le langage Python.
Ce langage de programmation permet de développer des scripts simples de quelques lignes ou des applications complètes gérant des données complexes.
Cette session de 3 jours qui aura lieu …
Python: une nouvelle session “Python: des fondamentaux à l’utilisation du langage” débutera le 26 septembre 2016.
https://www.fun-mooc.fr/courses/inria/41001S03/session03/about
Réseau: une nouvelle session “Principe des réseaux de données” débutera le 8 septembre 2016.
https://www.fun-mooc.fr/courses/MinesTelecom/04003S05/session05/about
Ce MOOC, avec certification payante (60€), forme, entre autres, à l’analyser des besoins en réseau, à la mise en place …
Le réseau X/Stra et le service formation permanente de la délégation DR10 du CNRS organisent une formation à destination des personnes ayant une activité de développement d’interfaces utilisateurs convergées (WEBUI/Rich Internet Application/Heavy Client) à l’aide du framework Javascript Sencha et de Webservices Ruby.
Cette formation aura lieu …
Le site FUN propose deux MOOCs dans l’air du temps :
-> l’un sur les bases de données et big data
https://www.france-universite-numerique-mooc.fr/courses/unice/33001/Trimestre_4_2014/about
-> l’autre sur la fabrique numérique
https://www.france-universite-numerique-mooc.fr/courses/MinesTelecom/04002S02/Trimestre_4_2014/about