Tags

GPL
Apr 19, 2025
Software Engineering
Apr 19, 2025
Research
Mar 9, 2025
AI
Jan 6, 2025
DevOps
Jan 6, 2025
Requirements
May 2, 2025
Teaching
Apr 17, 2024
Requirements ; Formalization ; k3 case study ; Models ; Disambiguation
May 2, 2025
"Learning analytics ; Git ; Traces ; Interactive system ; Learning Analytics ; Traces d'apprentissage ; Git ; Système interactif"
May 2, 2025
"States and Modes Requirements Modeling and Verification Domain Specific Language Model checking ; States and Modes ; Requirements Modeling and Verification ; Domain Specific Language ; Model checking"
May 2, 2025