Distinguer les exceptions métiers de celles techniques — 97 choses qu’un programmeur doit savoir

Aujourd’hui, c’est le chapitre Distinguer les exceptions métiers de celles techniques que je vais traduire, comme sa licence Creative Commons Attribution 3.0 me le permet. Il a été écrit à l’origine par Dan Bergh Johnsson. Il y a, en gros, deux raisons pour lesquelles les choses tournent mal au runtime : les problèmes techniques qui […]

Coder avec raison — 97 choses qu’un programmeur doit savoir

Aujourd’hui, c’est le chapitre Coder avec raison que je vais traduire, comme sa licence Creative Commons Attribution 3.0 me le permet. Il a été écrit à l’origine par Yechiel Kimchi. Tenter de raisonner à propos de la software correctness (NdT : terme qu’on pourrait traduire par « exactitude logicielle »)  manuellement finit en une preuve formelle plus […]