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.
Couvre des exemples liés à la programmation de course pour les ingénieurs, en se concentrant sur les valeurs des variables, le débogage et les registres à décalage.
Couvre les concepts de programmation pour les ingénieurs, y compris les quiz interactifs et les applications pratiques pour améliorer l'apprentissage et l'engagement.
Aborde les défis et les stratégies de la formation en ingénierie en Suisse, en mettant l'accent sur la qualité, les besoins des étudiants et l'évolution des exigences du marché du travail.