Tags

Teaching
Apr 17, 2024
Research
Apr 17, 2024
"Learning analytics ; Git ; Traces ; Interactive system ; Learning Analytics ; Traces d'apprentissage ; Git ; Système interactif"
Nov 24, 2023
"States and Modes Requirements Modeling and Verification Domain Specific Language Model checking ; States and Modes ; Requirements Modeling and Verification ; Domain Specific Language ; Model checking"
Nov 24, 2023
"Formal"
Jun 15, 2021
"requirement"
Jun 15, 2021
"seamless"
Jun 15, 2021
"software"
Jun 15, 2021
"specification"
Jun 15, 2021
Lean
Oct 12, 2022