• [^] # Re: Se passer des tests ...

    Posté par (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.

    Il te parle d'Esterel là. Esterel permet de faire du dev pour du hardware, monde où les entrées/sorties sont assez normés.

    Effectivement sur un OS desktop, on est pas dans le même monde, donc votre débat n'a pas lieu d'être en ces termes.

    « Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker