blue_grey_dots
Compacter
increasedecrease
Changer fond
Supprimer menu
Ukratio, pour une société vraiment plus juste, durable et fraternelle
Aide menu
Surligner après

message du forum

En vous connectant, au moyen de la petite clé ci-dessous, vous bénéficierez d'un certain nombre de fonctionnalités pour mieux suivre les échanges : signalement des derniers messages, des messages non-lus ou à revoir, fonctionnement correct de la notification par mail etc.
Elle permet également de vous "enregistrer" (créer un compte), grâce à quoi vous pourrez publier des messages ou initier des discussions (pour ce faire cocher la case "pas enregistré").
Index du forum
textes
et autres documents de présentation du projet (contenus)
13 sujets (170 messages et 31 méta-messages) < 2020
Voir les sujets
    • foire aux questionsmetaDiscussionhistory
      39 messages ( et 9 méta-messages) < 2016
      Voir la discussion
      • Message répondu : par def le 23-02-2016 à 17H49Voir le message
      • 27 - recourt à l'informatique par dionisos le 29-02-2016 à 18H39
        Là encore, c'est pareil qu'avec le risque de fraude de la part d'un jury : il y aura suffisamment de contrôleurs.
        Certes ce contrôle-là pourra nécessiter quelques compétences en informatique, mais suffisamment de gens les ont pour que la garantie soit suffisante. Le programme étant relativement simple, chacun pourra le tester de son côté.
        Je pense que cette réponse est insuffisante, et je ne pense pas que le programme sera simple.
        J’avais proposé un protocole qui pourrait réduire les risques ici : m347
        Il y a aussi la possibilité de prouver la correspondance entre la spécification et le code, et de vérifier les preuves avec un assistant de preuve comme isabelle
        Répondre
        metaDiscussion
      • Réponse n°1 :programme pas simple à comprendre ? par def le 29-02-2016 à 21H50Voir le message

    Site optimisé pour Firefox >5

    Plan du site