Couvre la génération de code pour un compilateur, traduisant un programme Amy à WebAssembly, y compris la gestion de la mémoire et la compilation de correspondance de motifs.
Explore la sélection des concepts, la méthode Pugh Matrix, les examens préliminaires de conception, l'intégration des systèmes et la vérification dans l'ingénierie des systèmes.
Introduit les fondamentaux de l'ingénierie logicielle, couvrant le traitement de l'instruction, les algorithmes, les langages de programmation, les abstractions, les tests, la sécurité et l'open source.
Couvre les tests, l'étalonnage, les facteurs de performance, les méthodologies de mesure, ScalaMeter, JVM échauffement, et la configuration dans la programmation parallèle.
Explore les tests basés sur des propriétés en utilisant QuickChick, en mettant l'accent sur l'exactitude des logiciels, les spécifications et le contrôle dynamique du flux d'information.
