• # personne ne parle

    Posté par . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 3.

    des méthodes de programmation semi formelles, et des langages formels ?
    Je pense pourtant qu'un système formel (comme la méthode B [[méthode_B]] est ce qu'il y a de plus sécurisé non?