L'outil bandera

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

2 réponses

  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
  2. Jimpix
    Bonjour,

    On peut savoir de quoi vous parlez ???
    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