Déclarer un programme complet suppose une preuve formelle... J'ai des doutes lorsque je vois une norme ISO que celle-ci soit écrite dans un langage qui permette de prouver la complétude...
Il y a pleins de norme ISO qui soient incomplètes, flous sur certains points voire incohérentes sur d'autres. Ceci dis, les écrire a déjà demandé un travail fou et c'est plus que souvent un travail très utile pour tous.
[^] # Re: Vraiment ?
Posté par Sytoka Modon (site web personnel) . En réponse à la dépêche La spécification d’ODF 1.2 est terminée. Évalué à 4.
Déclarer un programme complet suppose une preuve formelle... J'ai des doutes lorsque je vois une norme ISO que celle-ci soit écrite dans un langage qui permette de prouver la complétude...
Il y a pleins de norme ISO qui soient incomplètes, flous sur certains points voire incohérentes sur d'autres. Ceci dis, les écrire a déjà demandé un travail fou et c'est plus que souvent un travail très utile pour tous.