Articles/documents associés au mot "preuve de programme"
3
articles trouvés
dans ce site
Articles
Cet article rapporte une discussion déclenchée par l’article Pourquoi ne pas copier les méthodes du logiciel embarqué.
Texte de Jean Kott (…)
Article mis en ligne le 31 octobre 2009
dernière modification le 14 décembre 2014
par Laurent Bloch , Jean Kott , Michel Volle , Éric Gressier
La question de la présence d’idées dans les programmes d’ordinateur n’est pas dépourvue d’enjeux : épistémologiques tout d’abord, puisqu’il faut (…)
Article mis en ligne le 29 septembre 2007
dernière modification le 12 juin 2018