Programmation VPL avancée

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (31)

Page 3 sur 4

Fonctions et variables d'E/S de base

Introduit des concepts de programmation de base en C, couvrant les fonctions d'E/S, les variables, les types de données et la bibliothèque stdio.

L'histoire de Grace Hopper

Se penche sur le langage binaire et les contributions de Grace Hopper à la programmation.

Introduction à la programmation LabVIEW

Couvre les bases de la programmation LabVIEW, en se concentrant sur les instruments virtuels et leurs applications dans les projets d'ingénierie.

Meta-metaprogramming: Outils avancés pour l'ingénierie logicielle

Explore la «meta-metaprogrammation» pour simplifier les outils de programmation avancés et relever les défis de l'ingénierie logicielle.

Évènement et programmation séquentielle

Couvre les différences entre la programmation d'événements et la programmation séquentielle.

Exercice - Capsules et sélection de groupe

Couvre les exercices sur la création de capsules, la sélection de groupe et les critères d'évaluation.

Tutoriel du système de vérification inoxydable

Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.

Les défis de l'ère de l'IoT

Couvre les défis de sécurité IoT, les attaques cyberphysiques et les surfaces d'attaque mondiales.

LabVIEW: Introduction et concepts de base

Couvre les bases de LabVIEW, y compris les structures de contrôle et les types de données.

Propositions en tant que types: Logique et correspondance de programmation

Explore la relation entre les preuves logiques et les preuves de programmation à travers la correspondance de Curry-Howard.