Utilisateur:Bdenis/autres

Programmes

BIOTES (basic input/output test evaluation system) et plus (reg-ex, glob, neg)

cf. vpl

cf. signatures sémantiques ponctuelles

Questions :

• Combien de tests pour valider un programme de décalage "3 lettres après" dans l'alphabet (Code Cesar) ?
• Combien de tests pour valider un programme de tri ?

Diagnostics, erreurs et rétroactions

Questions :

• Combien d'erreurs pour qlq lignes de code ?
• Combien d'années pour découvrir toutes les erreurs possibles ?

Analyse algorithmique

cf. histoire/trace/mémoire de l'algo à l'exécution

Questions :

• Combien d'algos de tri ?
• Combien de début d'algo de tri possible ?

Didactique de l'Informatique

Épistémologie comparée

Épistémologie comparée

Mathématiques	Informatique	Science Physique et Chimie
Démonstration	Démonstration	Démonstration
Exécution	Exécution	Exécution
Expérience	Expérience	Expérience
Fonction	Fonction	Fonction
Variable	Variable	Variable
Mémoire	Mémoire	Mémoire