Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/07049.jsonl.gz/1166

Le cours introduit les plateformes de programmation parallèle et les paradigmes de modèles de programmation et d'exécution.
Comprendre les principes et appplications
de la programmation déclarative,des modèles fondamentaux de l'exécution des logiciels, utiliser des méthodes fondamentales
de la composition des logiciels, la méta-programmation par la construction interprètes
des techniques de programmation avancées.
Nous enseignons les aspects fondamentaux de l'analyse et l'interprétation des langages informatiques, y compris les techniques pour construire des compilateurs. Le nouveau titre est "Traitement des langages informatiques".
Nous introduisons la vérification formelle, une approche pour développer des systèmes hautement fiables. La vérification formelle trouve des preuves que les systèmes informatiques fonctionnent dans tous les scénarios pertinents. Nous allons apprendre à utiliser les outils de vérification formel, etc