Recherche:

Hé bien voilà, ça se serait un bon débat pour la rubrique "best of" !

Ah non mince, tout le monde est d'accord, le vote électronique c'est de la merde :(

Raté !

Je répète donc ce que j'ai dit


Donc, en détaillant : si tu es dans un domaine non critique, l'usage des méthodes formelles sera trop couteux. Il n'y a que dans les domaines critique où ça peut...

En gros il y a de ça, oui. Mais bon, des dizaines de milliers de personnes comptent chaque jours sur un outil développé avec de telles méthodes pour aller au boulot: toute l'informatique de la ligne...

Il semble que mon point de vue se soit noyé dans les différents messages et ait été interprété plutôt à mon désavantage. Je vais donc essayer de le résumer :

J'utilise des méthodes formelles (en...

Si tu veux voir des exemples de taille raisonnable, tu peux regarder la formalisation des arbres rouges noirs par Jean-Christophe Filliâtre:
http://www.lri.fr/~filliatr/fsets/

En plus gros et...

Non mais sérieusement, il faut arrêter mon bon monsieur ! Au delà d'un certain niveau, toute crédibilité disparait hein. Par exemple, quand on est celui qui dit

c'est quand même pas hyper crédible...

Il est donc effectivement peu probable qu'on les retrouve d'ici peu dans l'informatique de gestion. Mais ce n'est pas une séparation intrinsèque.
[/QUOTE]

C'est assez triste de voir un tel mépris pour le monde académique :-\ Tu suggères donc de rejeter tout ce qui vient de ce monde, sous prétexte que ce n'est forcément que pompeux ? Ce n'est pas un peu...

Ce sont deux mondes complètement à part, même s'il est envisageable d'appliquer des méthodes formelles à des problèmes d'intelligence artificielle. Par exemple si on considère que piloter...

Ha bah là tout de suite, ça en jette plus.


Non, encore une fois, tu ne peux pas mettre en production de programme avec un bug... connu. Ca n'a tristement jamais voulu dire "sans bug" :-\


En...

La réponse est clairement "non". Parce que sur la mienne, "être en production" n'implique clairement pas "ne pas être bugué"



Il ne t'arrive donc jamais de déclencher un bug dans une partie A...

Euh non, un dépassement de tampon ou un double free, justement, on ne sait pas "automatiquement la nature de cette erreur". Et même si on sait que c'est un double free, dans un programme de 10 000...

Il n'y a des bugs que dans les programmes écrit en assembleurs ????? Merde alors, je ne pensais pas qu'autant des programmes que j'utilise étaient écrit en assembleur...


Effectivement, si on...

Euh, un debuger, c'est "j'ai un bug, je dois trouver d'où il vient exactement, pour le résoudre", alors qu'un test unitaire c'est "j'ai un programme, est ce qu'il a des bugs ?". Donc les deux ne sont...

Permettre à un utilisateur qui ne veut pas passer 6 mois à apprendre à se servir d'un éditeur aux racourcis adaptés aux "clavier alpha numériques de l'embarqué" de coder efficacement dès le début ?
...

Effectivement, ne trouver comme seul explication à la question "pourquoi ne fait-il pas comme moi" que "c'est parce qu'il est fermé dans son esprit", c'est une bonne preuve d'ouverture du tiens !...