Franchement personne n'a encore la réponse définitive à cette question. Et tant que ca sera le cas on trouvera une clause de non garantie du résultat dans la plupart des licenses de logiciels. Pour le moment cela n'a l'air de déranger personne mais imaginez vous achetez un four à mirco-onde ou une voiture sans garantie de fonctionnement ?
- quelles sont les limites des systèmes du genre de Doxygen ?
Si j'ai bien compris tu veux que doxygen te fournisse des schémas. Ca cera forcement limité car dans un schéma l'auteur essayer de communiquer des propriétés importantes en faisant des abstraction du systeme. Il peut aussi ajouter des information qui n'apparaisse pas dans le code.
- que pensez-vous d'UML ?
Le grand problème avec cette question c'est que personne n'a la même vision d'UML. En majorité quand quelqu'un dit UML ca veut dire diagrame statique de classe. Or ce diagramme c'est une toute petite portion d'UML.
En plus c'est uniquement un standard de représentation de bubulles et de fleches mais il n'y marqué nul part quelle est la sémantique de ces choses là. Alors on crois qu'on parle une langue universelle alors que personne ne dit la même chose.
Bref UML un gros buzzworld pour faire croire qu'on a une méthode de travail dans le logiciel alors que tout le monde continue comme avant. D'ou l'aspect fourre tout de la norme puisque la normalisation ne c'est faite qu'en surface.
Ben apprendre le francais au étranger c'est un vrai problème. Par exemple je suis thésard dans un labo et on accueil de plus en plus d'étranger venant de pays de traditionnellement non francophone. Par exemple je connais un brésilien, une coréenne et un Pakistanais qui viennent faire une thèse ici (3ans en gros). Ils arrivent ici juste avec des bases rudimentaire de francais et c'est super dur de trouver des cours de francais langues étrangère (sans dépenser une fortune).
Cela m'étonnerai que tu ne connaisse pas déjà ce site mais bon je le donne quand même car on peut y trouver pas mal de textes sur ce qu'on appellerai ici des troll. Exemple :
En passant je ne vois pas le rapport avec la nouvelle de dick. Si je me souviens bien dans celle ci les animaux ont disparu de la surface de la terre et les gens elevent des animaux (ou des robot d'animaux pour les plus pauvres) chez eux comme dernier vestige de leur existence.
Je ne sais pas si Super Mario Bros leur rapporte encore de l'argent.
Il est en vente sur le service de téléchargement/émulation Virtual Console de la Wii. C'est 5¤ si je me trompe pas (c'est plutot cher je trouve d'ailleur).
Ca fait comme un crayon de papier (on peut effacer) mais en stylo bic. Comme ca on met pas plein de poussière de gomme partout, et je prefere l'aspect de l'encre et les couleurs.
Parcontre faut pas trop laisser sa feuille au soleil, c'est thermosensible :)
Ben moi aussi j'utilise la Logique_temporelle. Mais le Eventually je le traduit par «fatalement». Bon c'est ptet pas le mieux, mais le éventuellement faudrait éviter à mon avis :)
J'ai l'impression que la communauté de ne sait pas sur quel pied danser vis-à-vis de ce projet.
Ca fait tellement oxymore de qualifer un windows'like de libre. Pourtant c'est bien de cela qu'il s'agit. En plus ca fait bizarre de constater que la progression de linux et du libre sont en fait indépendantes.
Mais bon potentiellement React'Os pourrait avoir un gros impact ...
Ben en fait ces machines ne sont pas simples. Ca dépend lesquels mais souvent elles sont prévus pour plusieurs pays. Ensuite si c'est une machine type ordinateur, il faut gérer la mémoire, l'affichage les drivers, etc comme dans un ordi classique.
Et finalement, en France nous avons un système de vote archi-simple, mais ce n'est pas le cas partout : par example en irlande les gens donnent une liste de préférence et quand quelqu'un obtient suffisament de voix pour être élu ses voix sont redistribué aux autres candidats.
Donc en gros cela ne fonctionnera pas correctement, bouffera plein de ressource, le systeme de sécurité empechera les logiciel normaux de fonctionner mais laissera les malware passer, changera toute l'interface utilisateur brutalement, etc
Ben si tu pense qu'il faut faire un contrepoids au lobbying de l'APRIL tu peut te lancer. Tu n'a qu'a créer une association pour le rejet du libre.
Mais il me semble clair que les entreprises du secteur informatique forment déjà un pouvoir considérable.
Quand a tes critiques des LL certaines sont fondée mais cela ne change pas grand chose. car
1. le fait qu'il y est des defauts dans les logiciels libres ne veut pas dire que les proprio sont mieux loti.
2. l'important dans les LL n'est pas la qualité du code mais la liberté
ouais pareil pour les trains : tant que le circuit de freinage, qui est a air comprimé, est sous pression cela ne freine pas. Des que la pression chute ca freine (avec des ressort). C'est un peu comme s'il fallait appuyer pour ne pas freiner
Avec toute ma sympathie, j'ai l'impression ... en maîtrisant une syntaxe ésotérique et d'en ressentir du plaisir.
Haha Ontologia t'es trop fort:) Et toi avoue que tu aime les grandes phrases pleines de mots pompeux :)
Mais je pense réellement que le langage naturel n'est pas le meilleur candidat pour démocratiser les choses.
Le langage mathématique parrait abscon pour pas mal de monde je sais. Mais en fait il est définit avec une dizaine d'opérateurs de base que l'on combine en utilisant, la plupart du temps, son intuition pour exprimer ce qu'on veut.
Si on utilise un langage naturel pour le remplacer, cela va sembler plus simple mais en fait la difficulté sous jacente sera la même. Et il vaut mieux avoir un langage non-ambigu pour s'en sortir avec ces difficultés. C'est un petit investissement a faire pour se simplifier la vie apres.
SQL est logique, simple d'accès et ne te demande pas d'expliquer à la machine ce qu"il faut faire.
Uniquement parcqu'il est basé sur l'algèbre relationnelle. La couche de bla-bla pardessus ne fait que rendre les choses plus confuses. Enfin en tout cas c'est la premiere chose que j'ai ressentit apres avoir apris a rédiger les requetes en algebres relationnelle directement et en SQL. Je me souviens plus mais y'a une demi-douzaine d'opérateur a apprendre en algebre et c'est tout. Alors qu'un manuel SQL c'est plein de cas particulier et de bordel.
Apres plein de gens sont rebuté par les notation mathématique, je pense que c'est un problème pédagogique plus qu'autre chose.
enfin au final, si on considère que tout le monde n'a pas la même représentation mentale cela serait normal que des gens préférent un style et d'autre un autre. Et le mieux serait que chacun puisse utiliser son langage adapté a se représentation et que l'on ai une interopérabilité voir pourquoi pas un moyen de traduire automatiquement d'un langage vers un autre.
Personnellement voir les langages de prog se rapprocher du langage naturel serait un vrai cauchemard.
Devoir tout taper dans des vielles syntaxes genre SQL ou windev, mon dieu quel horreur :)
En plus, comme dit plus haut, l'informatique est une science dure et en temps quel tel le seul langage qui pourrait rassembler tout le monde, ben c'est le langage des math (formelle). la logique quoi. (mais pas forcement un langage genre prolog : qui est quand même très special dans l'idée).
Ce n'est pas spécialement utilisé dans les centrales nucléaires, ils ont plus des systèmes électronique que informatique.
Quand au marché potentiel, cela dépend juste de prix potentiel d'une erreur dans le logiciel (en perte humaine ou juste financiere) par rapport au surcout de dévelloppement.
Et si il sagit juste de faire un peu de model-checking ca coute pas non plus très cher.
Ce n'est pas spécialement breveté peut-être car c'est plus un domaine universitaire que industriel. Néanmoins de véritable application industriels on déjà été réalisé surtout dans le domaine des logiciels embarqués (train et avion notament). (et il risque d'en avoir de plus en plus, surtout si un jour des gens meurent à cause d'un controleur mal foutu dans une voiture).
La partie méthode formelle du labo Microsoft/INRIA va probablement être basé sur TLA, étant donné que son créateur Leslie Lamport est associé au Labo. http://en.wikipedia.org/wiki/Temporal_Logic_of_Actions (enfin j'en sais rien je fais de la rumeur c'est tout)
tu le dis toi même pas pour tout le monde. Le fait que cela soit disponible pour tout le monde, et surtout pour les portables, rend la négocation bcp plus facile
C'est ton avis mais sache que Dell est souvent vainqueur des appel d'offre des grand comptes.
Par exemple tous (a moins de se battre pour acheter en dehors de l'appel d'offre) les ordi de l'INRIA doivent être des DELL.
Donc le fait que Dell fournit des Linux m'aurait évité d'avoir faire acheter une licence Windows à l'état francais. (on est obligé d'acheter un SE avec tous les ordi acheté).
Posté par outs .
En réponse au journal L'espéranto.
Évalué à 1.
répète après moi : ne jamais raisonner sur des métaphores !
Une langue n'est ni un logiciel ni un marteau.
De plus l'espéranto actuel est déjà une deuxième version de son créateur et a été crée avec les problèmes politiques de la Pologne en tête. Et la pologne c'est en Europe.
# Mes deux cents (trolls)
Posté par outs . En réponse au journal Conception de logiciel et UML. Évalué à 8.
Franchement personne n'a encore la réponse définitive à cette question. Et tant que ca sera le cas on trouvera une clause de non garantie du résultat dans la plupart des licenses de logiciels. Pour le moment cela n'a l'air de déranger personne mais imaginez vous achetez un four à mirco-onde ou une voiture sans garantie de fonctionnement ?
Si j'ai bien compris tu veux que doxygen te fournisse des schémas. Ca cera forcement limité car dans un schéma l'auteur essayer de communiquer des propriétés importantes en faisant des abstraction du systeme. Il peut aussi ajouter des information qui n'apparaisse pas dans le code.
Le grand problème avec cette question c'est que personne n'a la même vision d'UML. En majorité quand quelqu'un dit UML ca veut dire diagrame statique de classe. Or ce diagramme c'est une toute petite portion d'UML.
En plus c'est uniquement un standard de représentation de bubulles et de fleches mais il n'y marqué nul part quelle est la sémantique de ces choses là. Alors on crois qu'on parle une langue universelle alors que personne ne dit la même chose.
Bref UML un gros buzzworld pour faire croire qu'on a une méthode de travail dans le logiciel alors que tout le monde continue comme avant. D'ou l'aspect fourre tout de la norme puisque la normalisation ne c'est faite qu'en surface.
[^] # Re: on s'en passerait bien
Posté par outs . En réponse à la dépêche Le projet Fprint et les scanneurs d'empreintes digitales. Évalué à 2.
--> N'oubliez pas de mettre des mot de passe sur le bios et grub
[^] # Re: et pourquoi pas le Français comme langue universelle?
Posté par outs . En réponse au journal L'espéranto et les décideurs. Évalué à 1.
# cf le site de Claude Piron
Posté par outs . En réponse au journal L'espéranto et les décideurs. Évalué à 3.
http://claudepiron.free.fr/index.htm
Cela m'étonnerai que tu ne connaisse pas déjà ce site mais bon je le donne quand même car on peut y trouver pas mal de textes sur ce qu'on appellerai ici des troll. Exemple :
http://claudepiron.free.fr/articlesenfrancais/progres.htm traitant sur le côté psychologique de la situation.
et il y en a pas mal d'autre sur les réaction classiques du grand public, des linguistes, ...
[^] # Re: Pareil
Posté par outs . En réponse au journal RFID / Aujourdhuis les brebis, demains ...?. Évalué à 1.
En passant je ne vois pas le rapport avec la nouvelle de dick. Si je me souviens bien dans celle ci les animaux ont disparu de la surface de la terre et les gens elevent des animaux (ou des robot d'animaux pour les plus pauvres) chez eux comme dernier vestige de leur existence.
[^] # Re: SMC et autres clones de jeux proprio
Posté par outs . En réponse à la dépêche Des jeux libres pour GNU/Linux. Évalué à 1.
Il est en vente sur le service de téléchargement/émulation Virtual Console de la Wii. C'est 5¤ si je me trompe pas (c'est plutot cher je trouve d'ailleur).
[^] # Re: Pour te faire gagner du temps
Posté par outs . En réponse au journal Getting Things Done, comment implémenter ?. Évalué à 1.
Ca fait comme un crayon de papier (on peut effacer) mais en stylo bic. Comme ca on met pas plein de poussière de gomme partout, et je prefere l'aspect de l'encre et les couleurs.
Parcontre faut pas trop laisser sa feuille au soleil, c'est thermosensible :)
[^] # Re: Les moteurs d'ID
Posté par outs . En réponse au journal Le jeu Rage id software sortira sous Linux. Évalué à 1.
[^] # Re: Plein texte ?
Posté par outs . En réponse à la dépêche Freedom 2.8 : Amélioration de l'ergonomie, recherche plein texte globale optimisée. Évalué à -1.
contaminé rien que ça ? l'anglais est donc une maladie.
Que doivent dire les anglais qui se sont fait contaminer pendant des siecles par notre langue ...
# React'ion ?
Posté par outs . En réponse à la dépêche ReactOS 0.3.3 : du tout bon. Évalué à 7.
Ca fait tellement oxymore de qualifer un windows'like de libre. Pourtant c'est bien de cela qu'il s'agit. En plus ca fait bizarre de constater que la progression de linux et du libre sont en fait indépendantes.
Mais bon potentiellement React'Os pourrait avoir un gros impact ...
[^] # Re: Torus Trooper
Posté par outs . En réponse au journal Des jeux sous Linux.... Évalué à 3.
ce mec là développe en D
[^] # Re: Ce que je ne comprends pas
Posté par outs . En réponse au journal Les machines à voter écossaises annulent 70 000 votes. Évalué à 1.
[^] # Re: Ce que je ne comprends pas
Posté par outs . En réponse au journal Les machines à voter écossaises annulent 70 000 votes. Évalué à 1.
Et finalement, en France nous avons un système de vote archi-simple, mais ce n'est pas le cas partout : par example en irlande les gens donnent une liste de préférence et quand quelqu'un obtient suffisament de voix pour être élu ses voix sont redistribué aux autres candidats.
# Heu ... :)
Posté par outs . En réponse au journal Lenovo va commercialiser des PC Portables sous Linux. Évalué à 10.
Donc en gros cela ne fonctionnera pas correctement, bouffera plein de ressource, le systeme de sécurité empechera les logiciel normaux de fonctionner mais laissera les malware passer, changera toute l'interface utilisateur brutalement, etc
-------> [ ] (hop)
[^] # Re: Mais pourquoi donc?
Posté par outs . En réponse à la dépêche Législatives 2007 : 72h du Logiciel Libre, c'est parti !. Évalué à 1.
Mais il me semble clair que les entreprises du secteur informatique forment déjà un pouvoir considérable.
Quand a tes critiques des LL certaines sont fondée mais cela ne change pas grand chose. car
1. le fait qu'il y est des defauts dans les logiciels libres ne veut pas dire que les proprio sont mieux loti.
2. l'important dans les LL n'est pas la qualité du code mais la liberté
[^] # Re: Les mathématiques Formels
Posté par outs . En réponse au journal L'expressivité des langages. Évalué à 1.
[^] # Re: Perso
Posté par outs . En réponse au journal L'expressivité des langages. Évalué à 2.
Haha Ontologia t'es trop fort:) Et toi avoue que tu aime les grandes phrases pleines de mots pompeux :)
Mais je pense réellement que le langage naturel n'est pas le meilleur candidat pour démocratiser les choses.
Le langage mathématique parrait abscon pour pas mal de monde je sais. Mais en fait il est définit avec une dizaine d'opérateurs de base que l'on combine en utilisant, la plupart du temps, son intuition pour exprimer ce qu'on veut.
Si on utilise un langage naturel pour le remplacer, cela va sembler plus simple mais en fait la difficulté sous jacente sera la même. Et il vaut mieux avoir un langage non-ambigu pour s'en sortir avec ces difficultés. C'est un petit investissement a faire pour se simplifier la vie apres.
Uniquement parcqu'il est basé sur l'algèbre relationnelle. La couche de bla-bla pardessus ne fait que rendre les choses plus confuses. Enfin en tout cas c'est la premiere chose que j'ai ressentit apres avoir apris a rédiger les requetes en algebres relationnelle directement et en SQL. Je me souviens plus mais y'a une demi-douzaine d'opérateur a apprendre en algebre et c'est tout. Alors qu'un manuel SQL c'est plein de cas particulier et de bordel.
Apres plein de gens sont rebuté par les notation mathématique, je pense que c'est un problème pédagogique plus qu'autre chose.
enfin au final, si on considère que tout le monde n'a pas la même représentation mentale cela serait normal que des gens préférent un style et d'autre un autre. Et le mieux serait que chacun puisse utiliser son langage adapté a se représentation et que l'on ai une interopérabilité voir pourquoi pas un moyen de traduire automatiquement d'un langage vers un autre.
# Perso
Posté par outs . En réponse au journal L'expressivité des langages. Évalué à 1.
Devoir tout taper dans des vielles syntaxes genre SQL ou windev, mon dieu quel horreur :)
En plus, comme dit plus haut, l'informatique est une science dure et en temps quel tel le seul langage qui pourrait rassembler tout le monde, ben c'est le langage des math (formelle). la logique quoi. (mais pas forcement un langage genre prolog : qui est quand même très special dans l'idée).
Enfin c'est juste mon point du vue.
[^] # Re: Les mathématiques Formels
Posté par outs . En réponse au journal L'expressivité des langages. Évalué à 1.
Quand au marché potentiel, cela dépend juste de prix potentiel d'une erreur dans le logiciel (en perte humaine ou juste financiere) par rapport au surcout de dévelloppement.
Et si il sagit juste de faire un peu de model-checking ca coute pas non plus très cher.
[^] # Re: Les mathématiques Formels
Posté par outs . En réponse au journal L'expressivité des langages. Évalué à 3.
Ce n'est pas spécialement breveté peut-être car c'est plus un domaine universitaire que industriel. Néanmoins de véritable application industriels on déjà été réalisé surtout dans le domaine des logiciels embarqués (train et avion notament). (et il risque d'en avoir de plus en plus, surtout si un jour des gens meurent à cause d'un controleur mal foutu dans une voiture).
La partie méthode formelle du labo Microsoft/INRIA va probablement être basé sur TLA, étant donné que son créateur Leslie Lamport est associé au Labo. http://en.wikipedia.org/wiki/Temporal_Logic_of_Actions (enfin j'en sais rien je fais de la rumeur c'est tout)
# Automatique
Posté par outs . En réponse au message Utiliser le 2eme proc du Core2duo/MT. Évalué à 2.
[^] # Re: Aucun intérêt ...
Posté par outs . En réponse à la dépêche Des machines Dell sous Linux. Évalué à 1.
[^] # Re: Aucun intérêt ...
Posté par outs . En réponse à la dépêche Des machines Dell sous Linux. Évalué à 1.
C'est ton avis mais sache que Dell est souvent vainqueur des appel d'offre des grand comptes.
Par exemple tous (a moins de se battre pour acheter en dehors de l'appel d'offre) les ordi de l'INRIA doivent être des DELL.
Donc le fait que Dell fournit des Linux m'aurait évité d'avoir faire acheter une licence Windows à l'état francais. (on est obligé d'acheter un SE avec tous les ordi acheté).
Donc c'est génial
[^] # Re: Trop riche ?
Posté par outs . En réponse au journal Nous sommes au regret de ne pouvoir accepter les documents Word 2007. Évalué à 3.
[^] # Re: Tout a fait d'accord
Posté par outs . En réponse au journal L'espéranto. Évalué à 1.
Une langue n'est ni un logiciel ni un marteau.
De plus l'espéranto actuel est déjà une deuxième version de son créateur et a été crée avec les problèmes politiques de la Pologne en tête. Et la pologne c'est en Europe.