L'outil bandera

moka_M -  
bonjour!pour l'outil BANDERA on utilise quoi comme logiciel?

2 réponses

  1.  Jimpix
    Bonjour,

    On peut savoir de quoi vous parlez ???
    0
    1. little boy62
      Salut.

      Tu parles de l'outil permettant de gérer l’analyse de propriétés de programmes Java ?

      => http://www-sop.inria.fr/oasis/Vercors/papers/CMassol-rapportMIAGE.pdf
      => http://bandera.projects.cs.ksu.edu/

      ++
      0
      1. Raymond PENTIER Contributeur
        Si je comprends bien, Bandera n'est pas un simple outil mais un véritable logiciel ;
        et cette discussion serait probablement davantage à sa place dans le forum Programmation, non ?
        0
      2. little boy62
        @Raymond PENTIERLu'

        Bah j'ai juste soumis cette hypothèse...

        Mais vu que moka_M ne s'est toujours pas manifesté, je ne sais toujours pas si c'est bien lié...

        Et si c'est vraiment lié, tu as 100% raison : direction forum programmation...

        Mais si l'intéressé ne se manifeste pas... je passerai à autre chose. :P

        ++
        0

    Discussions similaires

    couche de destination masquée
    on dira petite pomme

    29 réponses
    Capture d'écran disparue W11
    dalligants

    8 réponses
    pipette dans word 365
    isabellef

    3 réponses