Je me demande s'il y a des expériences qui montrent l'existence ou la non-existence d'une corrélation entre l'utilisation d'un langage dynamique (comme Python, Ruby ou même des langages qui s'exécutent sur la plate-forme Java comme Groovy, Clojure) sur un langage statique (comme C / C ++), et la...
Le problème de l'arrêt ne peut être résolu dans le cas général. Il est possible de trouver des règles définies qui restreignent les entrées autorisées et le problème d'arrêt peut-il être résolu pour ce cas particulier? Par exemple, il semble probable qu'un langage qui n'autorise pas les boucles,...
Comment vérifiez-vous si deux algorithmes (disons, Tri par fusion et Tri naïf) renvoient le même résultat pour n'importe quelle entrée, lorsque l'ensemble de toutes les entrées est infini? Mise à jour: Merci Ben d' avoir décrit comment cela est impossible à faire algorithmiquement dans le cas...
Existe-t-il des preuves suggérant que le temps consacré à la rédaction ou à la réflexion sur les exigences aura un effet sur le temps de développement? Une étude réalisée par Standish (1995) suggère que des besoins incomplets (13,1%) ont partiellement contribué à l'échec des projets. Existe-t-il...
J'ai remarqué dans ma courte vie universitaire que de nombreux articles publiés dans notre domaine n'ont parfois pas beaucoup de rigueur en matière de statistiques. Ce n'est pas seulement une hypothèse; J'ai entendu des professeurs dire la même chose. Par exemple, dans les disciplines CS, je vois...