Cours disponibles
Catégorie: Divers
Ce cours a pour objectif de faire prendre conscience aux différentes difficultés qui peuvent être rencontrées dans le cadre de travaux collaboratifs : difficultés sociales, juridiques, organisationnelles, ...Il sera présenté aux étudiants un ensemble d'outils qui leur permettront de mieux a…
Catégorie: Divers
Bases mathématiques de la modélisation des systèmes/procussus communicants.
Concepts et formalismes de modélisation de processus.
Le langage Lotos et la plateforme CADP
Catégorie: Divers
Introduction à XML, aux outils pour manipuler/exploiter XML et aux langages issus d'XML
Catégorie: Divers
Ce cours présente les algorithmes classiques pour la résolution de systèmes d'équations linéaires et non-linéaires.Nous étudierons en particulier l'influence de l'utilisation de l'arithmétique flottante (IEEE 754) sur la validité des calculs en nous appuyant sur des exemples concrets.Les m…
Catégorie: Divers
Ce module introduit les notions essentielles de métamodélisation.