Une convention de nommage dans la programmation informatique est un ensemble de règles de codage destinées à choisir les identifiants logiciels (noms des éléments du programme) dans le code source et la documentation. Les raisons pour lesquelles on utilise une convention de nommage (par opposition à l'autorisation accordée aux programmeurs de choisir n'importe quelle séquence de caractères) sont les suivantes : rendre le code source plus facile à lire et à comprendre avec moins d'efforts ; améliorer l'apparence du code source (par exemple, en interdisant les noms trop longs ou les abréviations) ; Le choix de conventions de nommage peut prêter à controverse, les partisans de chaque convention tenant la leur pour la meilleure. De telles conventions sont souvent imposées à l'échelle d'un projet ou d'un organisme, notamment dans le cadre du développement d'un logiciel de taille conséquente. Elles peuvent recouvrir un domaine plus large, et porter par exemple sur la documentation, les commentaires, des fonctionnalités du langage qui peuvent être imposées ou prohibées (ça peut être le cas de l'instruction goto), etc. On parle alors plutôt de convention, ou norme, de codage. Par exemple, l'industrie emploie la norme MISRA C, qui est même intégrée dans des analyseurs de code ainsi que certains compilateurs. À une échelle encore plus large, des conventions peuvent porter sur tout le cycle de vie du logiciel. L'utilisation d'une convention de nommage peut procurer une sécurité beaucoup plus grande dans l'utilisation des programmes informatiques, du fait que le code source doit respecter des règles précises. Il sera ainsi plus facile d'atteindre des niveaux EAL plus élevés, par exemple dans le logiciel, lorsqu'il s'agit de vérifier le code source. Les bénéfices détaillés peuvent se décliner de la façon suivante : fournir une information supplémentaire (i.e.