Das Professional Bootcamp ist die kompakte Gesamtausbildung für den produktiven Einsatz von Bugbane in konsensualen Triage‑Szenarien. In fünf Tagen werden Grundlagen, sichere Inbetriebnahme, Akquise,…
Das Kompaktseminar vermittelt einen komprimierten End-to-End-Überblick über BigBlueButton mit Fokus auf schnelle Einsatzfähigkeit. Es kombiniert Moderationsgrundlagen, didaktische Essentials,…
Complete Plus erweitert das Bootcamp um vertiefte Praxislabs und Qualitätssicherung. Neben der Zusammenfassung aller Themen werden zusätzliche Zeitfenster für technische Durchstiche, erweiterte…
Das Complete Bootcamp fasst alle Inhalte der Seminare 1–9 in einer durchgängigen Lernstrecke zusammen. Es verbindet Moderation und Didaktik mit Administration, Integration, Sicherheit, Monitoring,…
Das Kompaktseminar bietet in 3 Tagen einen strukturierten Überblick über Ada und SPARK mit Schwerpunkt auf sofort nutzbarer Praxis: Ada-Typen und Packages, Toolchain/Build-Workflow, sowie ein…
Die Intensivausbildung ist eine vertiefte Intensivstrecke, die das komplette Ada/SPARK-Portfolio abdeckt und die Inhalte auf professionelles Niveau bringt. Im Vergleich zum Bootcamp enthält sie…
Das Bootcamp ist eine komprimierte Intensiveinführung in Ada und SPARK für Teams, die in kurzer Zeit produktiv werden müssen. Es verbindet Ada-Grundlagen, fortgeschrittene Sprachfeatures,…
Das Advanced-Seminar vertieft SPARK für größere Systeme. Es behandelt Loop Invariants, Ghost Code, modulare Beweise, Beweisstrategie-Design und Skalierung über Komponenten hinweg. Ziel ist es,…
Dieses Seminar führt in SPARK als verifizierbares Ada-Subset ein. Schwerpunkte sind Verträge (Pre/Post, Invariants), Flow Analysis, Proof-Workflow und praktische Nutzung von GNATprove für…
Dieses Seminar fokussiert Ada im Embedded-Umfeld: Cross-Compiling, Laufzeitsysteme, Hardwarezugriff, Interrupts, Memory Mapping und robuste Treiberstrukturen. Der Schwerpunkt liegt auf kontrollierter…
