Bonjour à tous,

Je vous propose de vous exprimer ici au sujet des critères à respecter pour concevoir et coder des programmes "rigoureux"... histoire de sortir du train quotidien des hello world, ou des projets où le langage n'est pas important tant qu'il est orienté-objet plein de webservices

Pour cela, il me semble utile d'orienter cette discussion sur des axes tels que :
  • la rigueur du codage employée
  • le choix d'un sous-ensemble d'un langage
  • la rigueur d'un système de type
  • les possibilités de vérification formelle
  • les contraintes "incompressibles" de certains systèmes embarqués et/ou temps réel


cette liste n'est pas exhaustive bien évidemment...

à tous les participants


Attention
  1. à moins que vous ne demandiez de plus amples explications sur un point précis, poster dans cette discussion est strictement réservé aux personnes qui estiment avoir une expertise ou une expérience intéressante à partager
  2. tous les propos HS (même techniques) seront supprimées