Une plateforme développée pour l'évaluation des enseignements universitaires
2026–présent
A Prototype Developed, Secured and Formally Validated for Institutional AdoptionTES currently serves four roles students, teachers, department deans, and platform administrators. each with a dedicated dashboard. Students submit anonymous course evaluations through a guided form; teachers view aggregated results and comments for their own courses; deans and administrators access comparative…
A Prototype Developed, Secured and Formally Validated for Institutional Adoption
TES currently serves four roles students, teachers, department deans, and platform administrators. each with a dedicated dashboard. Students submit anonymous course evaluations through a guided form; teachers view aggregated results and comments for their own courses; deans and administrators access comparative statistics across departments and semesters, and export results as PDF reports, CSV data, or formatted Excel workbooks. Administrators additionally manage users, courses, evaluation criteria, semesters, and student ID cards, and can review a full audit trail of platform activity.
Three lines of evidence support the readiness claim developed through this report: • Functional breadth: the full workflow (Chapter 3 of the main doc) plus 18 additional operational scenarios (Chapters 4-6 of the main doc) were exercised live, role by role: creating a semester, adding and importing courses, students and teachers, configuring evaluation questions, enforcing one-evaluation-per-student, isolating each teacher's data from every other, printing student ID cards singly and in batch, and generating every report type on real submitted data. Every screenshot in this document was captured from those live runs. • Independent quality assurance : three audit cycles identified and resolved concrete issues, most notably strengthening the technical guarantee of evaluation anonymity from a reversible mechanism to an irreversible one, and catching a live regression in the login rate-limiter during the preparation of this very report. • Formal verification (Chapter 8 of the main doc): a peer-reviewable mathematical model (Colored Petri Nets) proves six correctness properties of the platform's core workflows.
★
★
★
★
