Le prix Turing 2008 pour Barbara Liskov

Posté par  . Modéré par j.
8
12
mar.
2009
Presse
À 69 ans, la professeure Barbara Liskov du MIT remporte la plus prestigieuse des récompenses en informatique. Largement considéré comme équivalent à un prix Nobel, le prix Turing est décerné chaque année par l'Association for Computing Machinery à une ou plusieurs personnes dont les contributions à l'informatique sont particulièrement brillantes.

Comme beaucoup de chercheurs de premier plan, Barbara Liskov a contribué à plusieurs domaines de l'informatique, principalement :
  • les langages de programmation, en particulier avec le support de la programmation répartie ;
  • la théorie des types, où elle a défini une nouvelle notion de type dérivé (T est un type dérivé de S si toute propriété prouvable sur les objets de S est prouvable sur les objets de T) ;
  • les bases de données, en particulier orientées objet ;
  • l'algorithmique répartie avec tolérance aux défaillances, et en particulier les plus difficiles de toutes ces défaillances : les processus byzantins.
NdM: Un grand merci à oyp pour le journal à l'origine de la dépêche.

Traduction complète de Maven - The definitive guide

Posté par  (site web personnel) . Modéré par j.
Étiquettes :
6
4
déc.
2009
Java
Ça y est (ou presque), la traduction complète des 430 pages du livre « Maven - The definitive guide » est terminée. Plus besoin de comprendre l'anglais pour avoir accès aux arcanes de Maven.

Venez nombreux lire et relire le texte et nous faire part de vos remarques pour le rendre plus lisible. Un grand merci à eux qui ont déjà relu la première partie suite à l'annonce précédente sur LinuxFr.

Pour information : Maven est un outil de "build", de gestion de projet, un conteneur abstrait où s'exécutent les différentes étapes de construction du projet. C'est un outil qui s'est révélé indispensable pour les projets qui deviennent complexes et qui ont besoin de construire et de gérer de manière cohérente de nombreux modules et bibliothèques interdépendants, eux-même utilisant des dizaines voire des centaines de composants tiers. C'est un outil qui a fortement allégé le fardeau quotidien de la gestion des dépendances vers les bibliothèques tierces pour des millions d'ingénieurs et a permis à de nombreuses organisations de se sortir de l'ornière de la gestion du build du projet pour atteindre un monde où l'effort requis pour construire et maintenir un logiciel n'est plus le facteur limitant dans sa conception.

Ce travail est la première tentative d'un livre compréhensible sur Maven.

NdM : hélas, ce livre est sous licence propriétaire CC by-nc-nd (Creative Commons, Paternité-Pas d'Utilisation Commerciale-Pas de Modification).

Gestion des exigences et des tests à l'ApéroLibre de Nantes le 20 novembre 2014

Posté par  . Édité par Nils Ratusznik et ZeroHeure. Modéré par Benoît Sibaud.
6
19
nov.
2014
Communauté

Retrouvez-nous autour d'un apéritif ce jeudi 20 novembre (de 18h45 à 20h) à la Cantine Numérique de Nantes pour découvrir la "Gestion des exigences et des tests pour une meilleure qualité des logiciels".

Attention : la présentation "La voix sur IP en entreprise et la place du logiciel libre dans tout cela" qui devait aussi avoir lieu de jour là est reportée à l'ApéroLibre suivant.

Vous vous intéressez au logiciels libres ou plus généralement au monde du Libre ?

Alliance Libre vous propose un nouveau format de séminaire : les "ApéroLibres", généralement le 3e jeudi tous les 2 mois impairs, de 18h45 à 21h à la Cantine Numérique de Nantes (Chaussée de la Madeleine - 11 Impasse Juton - 44000 Nantes) pour découvrir 2 thématiques différentes.

Entrée libre et gratuite - Le nombre de places est limité, si vous voulez être sûr d'avoir une place, inscrivez vous à info AT alliance-libre DOT org.

Sondage Quel indicateur de performance pour le développement de logiciel ?

Posté par  . Licence CC By‑SA.
Étiquettes :
6
23
fév.
2020

Les démarches qualité (de type ISO 9001) demandent que l’organisation utilise des indicateurs, pour mesurer la performance et ainsi l’améliorer (ou détecter une dégradation).

Pour l’activité de développement de logiciel quel indicateur de performance préférez‑vous ?

  • le nombre de lignes de code modifiées par mois :
    56
    (4.8 %)
  • le rapport entre nombre de tickets traités et temps pour élaborer une version :
    166
    (14.2 %)
  • la complexité cyclomatique :
    78
    (6.7 %)
  • le rapport entre nombre de fonctionnalités testées et temps pour exécuter une campagne de test automatique :
    86
    (7.4 %)
  • le nombre de versions par an :
    38
    (3.3 %)
  • le nombre de commits par mois :
    84
    (7.2 %)
  • le nombre d’œufs de Pâques (easter eggs) dissimulés :
    239
    (20.5 %)
  • le nombre de personnes pour produire ce logiciel en une journée (approche dite neuf femmes pour un bébé dans un mois) :
    73
    (6.3 %)
  • l’évolution de l’écart entre l’existant et ce qui a déjà été vendu par le marketing :
    346
    (29.7 %)

Total : 1166 votes

La forge des plugins Sonar est opérationnelle

Posté par  (site web personnel) . Modéré par patrick_g.
Étiquettes :
6
20
avr.
2009
Communauté
Sonar est une plate-forme libre (LGPL v3) permettant de gérer la qualité du code source Java (exécution de tests unitaires, analyse de la couverture du code par ces tests, vérification du respect des règles de codage, etc.). Des plugins (greffons) permettent d'étendre l'utilisation de Sonar aux langages PHP et PL/SQL.

L'extensibilité est une qualité essentielle pour un logiciel open source qui a l'ambition d'être adopté massivement. En effet, cela permet à la communauté de contribuer en ajoutant de nouvelles fonctionnalités ou bien en améliorant l'existant et par conséquent de bénéficier d'un effet levier : c'est la magie de l'open source !

Sonar s'appuie sur un cœur qui est un mécanisme d'extension. Autour de ce cœur viennent se greffer des plugins qui contiennent les fonctionnalités de l'outil. Mais le fait d'avoir un tel mécanisme en place n'est pas suffisant pour se déclarer extensible. Il faut également répondre aux 4 points suivants :
  • Une API simple d'utilisation ;
  • Une forge ;
  • Une communauté active ;
  • Une documentation et des exemples permettant de mettre le pied à l'étrier.

Ces 4 conditions étant maintenant remplies par Sonar, tout un chacun peut se lancer dans l'écriture de plugins pour étendre l'outil.

NdM : la version 1.8 de Sonar est sortie il a 3 jours. Parmi les nouvelles fonctionnalités, on trouvera un récapitulatif des points chauds sur un projet, l'import/export des profils Findbugs et un changement concernant la publication des mesures sur les catégories ISO ; plus une ribambelle d'améliorations et de corrections par ailleurs.

Sortie de Scub Foundation Socle Technique Java Open Source

Posté par  (site web personnel) . Modéré par tuiu pol.
6
16
avr.
2010
Java
Scub foundation est un socle technique (basé sur Maven) composé d’un ensemble de modèles de projets, de frameworks, de conventions, d’outils et de procédures qui structurent les développeurs et leurs développements.

Concrètement, ce socle technique offre au développeur un environnement de développement intégrant les meilleurs éléments Open Source (Eclipse, Maven, Spring, GWT…) ainsi que des modèles de projet.
Scub Foundation a été conçu avec les objectifs suivants :
  • Ne pas réinventer la roue (Intégration d’Eclipse et des frameworks populaires comme hibernate, spring, gwt, JUnit…).
  • Avoir des modèles de projets pour chaque type de projet mais avec des structures identiques.
  • Avoir des tâches automatisées pour l’ensemble du cycle de vie du projet (compilation, packaging, test…).
  • Développement SOA (intégration de la notion de noyau et du découplage Interface/implémentation).
  • Gestion automatique des dépendances / librairies.
  • Gestion des environnements de production, test, développement…
  • Une documentation complète pour rapidement mettre à niveau son équipe ou intégrer un nouveau membre.

Première relecture publique de la traduction de Maven - The definitive guide

Posté par  (site web personnel) . Modéré par patrick_g.
Étiquettes :
5
30
sept.
2009
Java
Quelques mois après avoir lancé l'idée de traduire le livre « Maven - The DefinitiveGuide » en français, voici que la traduction de la première partie sort officiellement pour être relue par la communauté.

NdM : Maven est un « logiciel libre pour la gestion et l'automatisation de production des projets logiciels Java en général et Java EE en particulier. L'objectif recherché est comparable au système Make sous Unix : produire un logiciel à partir de ses sources, en optimisant les tâches réalisées à cette fin et en garantissant le bon ordre de fabrication. »

Le livre et sa traduction sont sous licence CC BY-NC-ND 3.0. Il s'agit d'un projet Maven qui produit, à partir de sources au format dockbook 4.5, un PDF et un site HTML. Ces deux projets sous hébergés sous Github.

N’hésitez pas à contacter l’un des membres de l’équipe (Erwan Alliaume, Jérôme Van Der Linden ou Emmanuel Hugonnet) pour toute question ou remarque. Les contributions, encouragements ou critiques seront les bienvenus.

Sortie de Sonar 1.9

Posté par  (site web personnel) . Modéré par baud123.
5
13
juin
2009
Java
Sonar est une plate-forme libre (LGPL v3) permettant de gérer la qualité du code source Java (exécution de tests unitaires, analyse de la couverture du code par ces tests, vérification du respect des règles de codage, complexité du code, etc.).

La fonctionnalité phare de cette version est le remplacement du célèbre analyseur de code source JavaNCSS par un moteur maison : sonar-squid. L'intégration de sonar-squid permet à la fois de faire disparaître les problèmes de JavaNCSS à analyser le code utilisant les spécificités de Java 5, mais également de calculer un certain nombre de métriques de manière beaucoup plus précises (commentaires, lignes de code...) et surtout d'ouvrir de nouveaux axes d'analyse (documentation des API publiques, accesseurs...).

Sonar a pris le parti de séparer complètement les accesseurs (plus communément nommés getters et setters) des méthodes dans les mesures. Cela permet par exemple de réellement mesurer la complexité "fonctionnelle" en écartant le bruit généré par le code purement "technique" dans les applications.

Ceci a bien sûr un impact sur la manière dont doivent être interprétés les résultats ainsi que sur la continuité de l'historique des données et il est recommandé de lire l'article référencé ci-dessous "Pourquoi (ne) devriez-vous (pas) migrer à la version 1.9 ?" avant d'installer la nouvelle version. En plus de ces nouvelles fonctionnalités, la version 1.9 apporte une amélioration notable des performances ainsi qu'une compatibilité avec le moteur de base de données PostgreSQL.

Forum général.petites-annonces Stage R&D Frontend à Grenoble : prototypage d'application Tracim paramétrique (logiciel libre)

5
21
jan.
2019

Contexte du stage

Algoo est un éditeur de logiciel basé à Moirans (à proximité de Grenoble, Isère) qui développe et commercialise Tracim, une plateforme de collaboration et d'échange de documents destinée aux entreprises comme aux associations et organisations. Ce logiciel est un logiciel libre.

Dans le cadre du développement technique de Tracim, l'entreprise propose un stage de fin d'étude ingénieur R&D frontend.

Le stage

Dans les grandes lignes, Tracim est composé de plusieurs applications qui ont chacune un rôle (…)

Journal "Développer sans bug" avec FindBugs?

Posté par  (site web personnel) .
Étiquettes :
5
12
juil.
2010
Il existe nombre d'outils d'audit de code dans l'univers du développement Java qui sont autant d'armes contre les faux-pas de développement. FindBugs (qui porte bien son nom...) propose de parcourir les applications java à la recherche de motifs à problèmes.

L'outil développé par l'Université du Maryland appartient à la famille des analyseurs statiques comme PMD ou CheckStyle. Il ne cherche pas à observer l'application en action mais plutôt à se plonger dans son code. Cependant FindBugs se différencie au sein (…)

Sortie de la version 1.7 de Sonar

Posté par  (site web personnel) . Modéré par patrick_g.
Étiquettes :
4
31
mar.
2009
Java
Sonar est une plate-forme libre (LGPL v3) permettant de gérer la qualité du code source Java ou PHP (exécution de tests unitaires, analyse de la couverture du code par ces tests, vérifications du respect des règles de codage, etc.). La version 1.7 de Sonar vient de sortir. Cette version apporte de nouvelles fonctionnalités et notamment :
  • La possibilité d'exclure des classes ou des packages de l'analyse qualité ;
  • L'élargissement du champ d'utilisation, en permettant d'injecter le résultat de la couverture de code et des tests unitaires depuis un build ant ;
Cette version améliore également de manière sensible certaines fonctionnalités :
  • Extension du nuage de classes sur la couverture de code aux modules et packages ;
  • Meilleure compatibilité avec IE6 ;
  • Ajout d'une vue "résultats de tests unitaires" et d'une vue "code dupliqué" à l'outil de visualisation de code source.
Pour essayer ces nouvelles fonctionnalités, il suffit de télécharger la version 1.7 et de l'installer. Il existe un mode démo / test de Sonar permettant de l'essayer (suivre le "2 minutes tutorial").

Journal Outils libre de manipulation XML

Posté par  .
Étiquettes :
4
10
fév.
2012

Bonjour.

je me permets d'écrire ici pour avoir votre avis sur les outils d'édition/manipulation de fichiers XML. Je suis à la recherche d'un tel outil. Pour les grincheux, je ne pose pas ma question dans le forum car je veux aller un peu plus loin qu'une simple réponse à une question. Je voudrais effectivement que vous répondiez à ma question si possible, mais surtout faire un petit état des lieux des éditeurs et outils de manipulation XML libres. Je souhaiterais (…)

Journal La preuve de programme : où en est-on ?

Posté par  (site web personnel) .
Étiquettes :
3
3
mar.
2009
Je suis en train (d'essayer) de lire la thèse de J-C Filliâtre http://www.lri.fr/~filliatr/ftp/publis/these.ps.gz intitulée Preuve de programmes impératifs en théorie des types
L'objectif est simple : on pose des contrat pre et post sur un morceaux de code, on peut aussi poser des invariants au sein d'une boucle, et le logiciel ( http://why.lri.fr/index.fr.html ) qui est tiré de cette thèse :
  • Prouve la complétude et l'adéquation des contrats au code
  • Prouve que le code respecte les contrats

Plus fort que (…)