Quatrième atelier international sur les fondations et les techniques pour la certification des logiciels libres, à Pise, en Italie
17 Septembre 2010 - 17 Septembre 2010
Italie
Le quatrième atelier international sur les fondations et les techniques pour la certification des logiciels libres aura lieu les 17 et 18 septembre 2010 à Pise, en Italie.
Au cours des dix dernières années, les logiciels libres (OSS - Open Source Software) ont eu un impact global sur la façon dont sont développés, distribués et déployés les systèmes et les services logiciels. On fait l'éloge de l'OSS pour ses faibles coûts de développement et de maintenance, le renouvellement rapide de codes et sa fiabilité.
Par ailleurs, la nature des logiciels libres rend très difficile l'évaluation de la qualité (sans parler de la certification). Cela entraîne des difficultés importantes des points de vue technique, méthodologique et de gestion.
Étant donné que l'environnement de développement d'OSS est libre, non conventionnel et distribué, son intégration au sein d'applications complexes d'envergure industrielle peut se révéler problématique. Il s'agit cependant d'une opportunité pour le développement de méthodes rigoureuses et basées sur les mathématiques dans l'analyse et le génie logiciels.
Cet atelier rassemblera des chercheurs du monde universitaire et de l'industrie qui s'intéressent à l'évaluation de la qualité des projets de logiciels libres, menant à terme à la création de processus de certification cohérent à différents niveaux. Des questions fondationnelles, méthodologiques et pragmatiques seront abordées par le biais de communications techniques standard et de rapports sur des études de cas concrets et des données expérimentales.Pour de plus amples informations, consulter:
http://opencert.iist.unu.edu/(s’ouvre dans une nouvelle fenêtre)
Au cours des dix dernières années, les logiciels libres (OSS - Open Source Software) ont eu un impact global sur la façon dont sont développés, distribués et déployés les systèmes et les services logiciels. On fait l'éloge de l'OSS pour ses faibles coûts de développement et de maintenance, le renouvellement rapide de codes et sa fiabilité.
Par ailleurs, la nature des logiciels libres rend très difficile l'évaluation de la qualité (sans parler de la certification). Cela entraîne des difficultés importantes des points de vue technique, méthodologique et de gestion.
Étant donné que l'environnement de développement d'OSS est libre, non conventionnel et distribué, son intégration au sein d'applications complexes d'envergure industrielle peut se révéler problématique. Il s'agit cependant d'une opportunité pour le développement de méthodes rigoureuses et basées sur les mathématiques dans l'analyse et le génie logiciels.
Cet atelier rassemblera des chercheurs du monde universitaire et de l'industrie qui s'intéressent à l'évaluation de la qualité des projets de logiciels libres, menant à terme à la création de processus de certification cohérent à différents niveaux. Des questions fondationnelles, méthodologiques et pragmatiques seront abordées par le biais de communications techniques standard et de rapports sur des études de cas concrets et des données expérimentales.Pour de plus amples informations, consulter:
http://opencert.iist.unu.edu/(s’ouvre dans une nouvelle fenêtre)