L'outil bandera
Fermé
moka_M
Messages postés
1
Date d'inscription
samedi 10 juin 2017
Statut
Membre
Dernière intervention
10 juin 2017
-
10 juin 2017 à 12:27
little boy62 Messages postés 3428 Date d'inscription lundi 11 novembre 2013 Statut Membre Dernière intervention 16 mars 2023 - 11 juin 2017 à 17:47
little boy62 Messages postés 3428 Date d'inscription lundi 11 novembre 2013 Statut Membre Dernière intervention 16 mars 2023 - 11 juin 2017 à 17:47
A voir également:
- L'outil bandera
- Télécharger outil capture d'écran ciseaux - Télécharger - Capture d'écran
- Impossible d'utiliser l'outil déplacement car la couche de destination est masquée ✓ - Forum Graphisme
- Outil selection illustrator ne fonctionne pas ✓ - Forum Illustrator
- Outil capture mac - Guide
- Outil de telechargement windows 7 - Télécharger - Systèmes d'exploitation
2 réponses
Jimpix
Messages postés
11490
Date d'inscription
dimanche 1 septembre 2013
Statut
Membre
Dernière intervention
15 août 2017
4 439
10 juin 2017 à 12:55
10 juin 2017 à 12:55
Bonjour,
On peut savoir de quoi vous parlez ???
On peut savoir de quoi vous parlez ???
little boy62
Messages postés
3428
Date d'inscription
lundi 11 novembre 2013
Statut
Membre
Dernière intervention
16 mars 2023
1 743
10 juin 2017 à 22:27
10 juin 2017 à 22:27
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/
++
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/
++
Raymond PENTIER
Messages postés
57133
Date d'inscription
lundi 13 août 2007
Statut
Contributeur
Dernière intervention
18 mars 2023
17 162
Modifié le 11 juin 2017 à 17:30
Modifié le 11 juin 2017 à 17:30
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 ?
et cette discussion serait probablement davantage à sa place dans le forum Programmation, non ?
little boy62
Messages postés
3428
Date d'inscription
lundi 11 novembre 2013
Statut
Membre
Dernière intervention
16 mars 2023
1 743
>
Raymond PENTIER
Messages postés
57133
Date d'inscription
lundi 13 août 2007
Statut
Contributeur
Dernière intervention
18 mars 2023
11 juin 2017 à 17:47
11 juin 2017 à 17:47
Lu'
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
++
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
++