Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport Technique) Année : 2020

Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup

Résumé

ParcourSup est le système informatique national français utilisé pour l’orientation des nouveaux bacheliers dans les établissements d’enseignement supérieur. Ce système utilise des algorithmes spécifiques pour établir des classements des candidats pour chaque établissement auxquels ils pos-tulent. Ces classements sont produits en fonction des vœux des candidats, du classement de leurs dossiers par les établissements, ceci en tenant compte de contraintes générales sur des taux de bour-siers et des taux de non-résidents. Les propriétés attendues des algorithmes en question sont documentées par un document en français. Ces algorithmes sont implantés en langage Java, et leur code source est disponible sous une licence libre et ouverte
Fichier principal
Vignette du fichier
main.pdf (274.81 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02447409 , version 1 (21-01-2020)

Identifiants

  • HAL Id : hal-02447409 , version 1

Citer

Benedikt Becker, Jean-Christophe Filliâtre, Claude Marché. Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup. [Rapport Technique] Université Paris-Saclay. 2020. ⟨hal-02447409⟩
365 Consultations
748 Téléchargements

Partager

More