Package Descriptions for Ubuntu

Browsing French translation

  1. Series lunar
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
85741 → 85750 of 141378 results First • • • Last
85741.
contributed tools, monitors and alert for mon
 
Summary
(no translation yet)
Located in Package: mon-contrib
85742.
mon-contrib is the mon /contrib archive. It contains user-submitted add-ons to mon, which are not included in the main mon distribution.
 
Description
(no translation yet)
Located in Package: mon-contrib
85743.
Most submissions are not checked by the archive maintainers for quality and some may not work, or work how you expect them to (most are quite good, though).
 
Description
(no translation yet)
Located in Package: mon-contrib
85744.
If you have something to contribute, either a new submission or a patch to another contrib'ed item, great! Please read the contrib guidelines to speed up the inclusion of your submission in the archives.
 
Description
(no translation yet)
Located in Package: mon-contrib
85745.
theorem prover based on automata
 
Summary
démonstration automatique de théorèmes
Translated by Michael Vogt
Located in Package: mona
85746.
MONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counter-example.
 
Description
MONA est un outil pour traduire des formules de logiques WS1S ou WS2S dans des automates avec un nombre fini d'état représentés par des diagrammes de décision binaire (BDD). Les formules peuvent exprimer des modèles de recherche, des propriétés temporelles de systèmes réactifs, des contraintes d’analyse d’arbre,[nbsp]etc. MONA analyse aussi l’automate résultant de la compilation et détermine si la formule est valable ou non, et si elle ne l’est pas, crée un contre-exemple.
Translated by Michael Vogt
Located in Package: mona
85747.
Documentation is available from the MONA website http://www.brics.dk/mona/.
 
Description
La documentation est disponible sur le site web de MONA, http://www.brics.dk/mona/.
Translated by Michael Vogt
Located in Package: mona
85748.
Monado command-line utility
 
Summary
(no translation yet)
Located in Package: monado-cli
85749.
This package provides a command line utility that can be used to test probing for XR hardware.
 
Description
(no translation yet)
Located in Package: monado-cli
85750.
Monado GUI config and debug utility
 
Summary
utilitaire graphique de configuration et débogage de Monado
Translated by Steve Langasek
Located in Package: monado-gui
85741 → 85750 of 141378 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: 4E4F, Abdoulaye, Alban CLERGEOT, Alban V, Alexandre Croteau, Alexandre Franke, Anne017, Anthony Diep, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Ash26, Aurélien James, Aurélien Ribeiro, Babey, Baptiste Fontaine, Benitron, Berenger Okei, Bernos Guillaume, Bonsoir, Borni DHIFI, Bruno, Bruno Avet, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Céline MARIN, Darry, David Futcher, David Racine, Eglantine Schmitt, Enrico Rosina, Florent (LSc), Gautier, Gaëtan Petit, Geoffrey, Glyca, Grégoire Markey, GuiMol, Gwab, Havok Novak, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jenny B, Jerod212, Joachim R., Jonathan Pasquier, Julien, Julien Henry, JurisZombie, Kafi, Kolibry, Ktux, L'Africain, Laurent N, Laurent Thibaud, Lentdormi, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Max, Maxence BOTHOREL, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Robin, Nissar Chababy, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Vopat, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul FEUVRAUX, Paulvirtuel, Philippe, Pier-Luc Ducharme, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Dorveaux, Quentin Santander, Remiweb, Romain, Roms, Rémi Berthoz, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, St3ph, Stanislas Michalak, Steve Langasek, Stéphane V, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thomas, Thomas Quaglio, Thomas.M, Titanet, Tubuntu, Valentin Lorentz, William, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bpascal123, calvin, clappier, clement62910, dhorne, dpl29, electroluth, elyr, fabkzo, flobe, gerard, gfds, gisele perreault, grosvalpin, hamelin, idon'thaveaname, jdt37b, jean-bernard marcon, jlla, joel, judejude, kidpaddle, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, marcus, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, shunesburg69, slurbe, stagelll, thenasa, titouan le folgoc, utybo, vincent dumont, vmerlet, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.