Développement collaboratif libre d`applications métier Étude de cas
Contents
1. 32k lignes de tests 600 pages de doc e Sage Combinat 300 tickets 100k lignes dans Sage Financements ANR PEPS NSF Google Summer of Code x Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Combinat 10 ans apr s En quelques chiffres MuPAD Combinat 115k lignes de MuPAD 15k lignes de C 32k lignes de tests 600 pages de doc e Sage Combinat 300 tickets 100k lignes dans Sage Financements ANR PEPS NSF Google Summer of Code 70 articles de recherche x Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Combinat 10 ans apr s En quelques chiffres MuPAD Combinat 115k lignes de MuPAD 15k lignes de C 32k lignes de tests 600 pages de doc e Sage Combinat 300 tickets 100k lignes dans Sage Financements ANR PEPS NSF Google Summer of Code 70 articles de recherche Une communaut Nicolas Borie Daniel Bump Jason Bandlow Adrien Boussicault Fr d ric Chapoton Vincent Delecroix Paul Olivier Dehaye Tom Denton Fran ois Descouens Dan Drake Teresa Gomez Diaz Valentin Feray Mike Hansen Ralf Hemmecke Florent Hivert Brant Jones S bastien Labb Yann Laigle Chapuy ric Laugerotte Patrick Lemeur Andrew Mathas Xavier Molinero Thierry Monteil Olivier Mallet Gregg Musiker Jean Christophe Novelli Janvier Nzeutchap Steven Pon Viviane Pons Franco Saliola Anne Schilling Mar2. Combinat Sage Viabilit G n ricit valuation D pot Conclusion D veloppement collaboratif libre d applications m tier tude de cas Sage pour les Math matiques Nicolas M Thi ry Institut Universitaire de Technologie d Orsay Laboratoire de Math matiques d Orsay Universit Paris Sud 11 Journ e de l Informatique Libre 28 avril 2012 Maison des Technologies PostPro ISEN Toulon x Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet x Combinat tout a commenc l Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Combinat 1 4 17 Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Combinat 1 1 4 17 Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Combinat 1 1 4 17 Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Combinat 1 1 1 1 Nicolas Florent 1k 1k 4 17 x Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Combinat 1 1 1 1 Nicolas Florent 1k 1k 2 devs 20k e 95 des besoins de d veloppements sont g n riques x Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Combinat 1 1 1 1 Nicolas Florent 1k 1k 2 devs 20k e 95 des besoins de d veloppements sont g n riques Opportunit de parta
3. Une collection d checs Des comp tences informatique dans la communaut eo e Des financements directs ou indirects eo Des composants libres Une plateforme libre Combinat Sage Viabilit G n ricit valuation D pot Conclusion D veloppement collaboratif d une application m tier Quelques pr requis Une communaut d utilisateurs potentiels Une frustration sur les outils existants Une collection d checs Des comp tences informatique dans la communaut eo e Des financements directs ou indirects eo Des composants libres Une plateforme libre Pour d marrer e Un porteur de projet et un noyau dur e Une strat gie et un mod le de d veloppement Une vis e d centralis e et internationale Combinat Sage Viabilit G n ricit valuation D pot Conclusion Pour aller plus loin La cath drale et le Bazar ric Raymond conomie du logiciel libre Fran ois lie
4. gestion de tickets e Listes de diffusion wiki Pourquoi contribuer au pot commun Cela prend du temps Et mes secrets m tiers Combinat Sage Viabilit G n ricit valuation D pot Conclusion D p t Outils collaboratifs forges Mercurial gestion de patchs e Trac gestion de tickets e Listes de diffusion wiki Pourquoi contribuer au pot commun Cela prend du temps Et mes secrets m tiers e Se forcer crire du code propre et g n rique B n ficier d une expertise externe e P rennit de son propre code e R compense sociale ou plus Combinat Sage Viabilit G n ricit valuation D pot Conclusion D p t Outils collaboratifs forges e Mercurial gestion de patchs e Trac gestion de tickets e Listes de diffusion wiki Pourquoi contribuer au pot commun Cela prend du temps Et mes secrets m tiers e Se forcer crire du code propre et g n rique B n ficier d une expertise externe e P rennit de son propre code e R compense sociale ou plus gt Participer la gouvernance Conclusion Trois clefs de la viabilit G n ricit valuation D p t Combinat Sage Viabilit G n ricit valuation D pot Conclusion D veloppement collaboratif d une application m tier Quelques pr requis Une communaut d utilisateurs potentiels Une frustration sur les outils existants
5. imprim Successeur de Calcul formel mode d emploi Dumas Gomez Salvy Zimmermann The Sage tutorial David Joyner William Stein et al A First Course in Linear Algebra Robert Beezer Viabilit Trois clefs de la viabilit G n ricit valuation D p t Combinat Sage Viabilit G n ricit valuation D pot Conclusion G n ricit Un calcul typique en combinatoire alg brique n cessite Un peu de combinatoire usuelle Un peu d alg bre lin aire Un peu de th orie des groupes Un peu de calcul formel Un peu de Combinat Viabilit G n ricit valuation D pot Conclusion un og G n ricit Un calcul typique en combinatoire alg brique n cessite Un peu de combinatoire usuelle Un peu d alg bre lin aire Un peu de th orie des groupes Un peu de calcul formel Un peu de Et cette fine couche de ma propre poudre magique Combinat Viabilit G n ricit valuation D pot Conclusion un og G n ricit Un calcul typique en combinatoire alg brique n cessite Un peu de combinatoire usuelle Un peu d alg bre lin aire Un peu de th orie des groupes Un peu de calcul formel Un peu de Et cette fine couche de ma propre poudre magique Un logiciel de combinatoire n est jamais complet Combinat Sage Viabilit G n ricit valuation D pot Conclusion G n ricit Un calcul typique en combinato
6. aple M Mathematica TM Magma TM et Matlab et une communaut accueillante d utilisateurs et de d veloppeurs Strat gie de d veloppement e Enti rement libre GPL D velopp par et pour une communaut d utilisateurs e Construire la voiture plut t que r inventer la roue Atlas GAP GMP Linbox Maxima MPFR PARI GP NetworkX NTL Numpy Scipy Singular Symmetrica e Bas sur un langage de programmation standard Python Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Sage Mission Cr er une alternative libre et viable Maple M Mathematica TM Magma TM et Matlab et une communaut accueillante d utilisateurs et de d veloppeurs Strat gie de d veloppement e Enti rement libre GPL D velopp par et pour une communaut d utilisateurs Construire la voiture plut t que r inventer la roue Atlas GAP GMP Linbox Maxima MPFR PARI GP NetworkX NTL Numpy Scipy Singular Symmetrica Bas sur un langage de programmation standard Python e Mod le de d veloppement agile Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Sage Mission Cr er une alternative libre et viable Maple M Mathematica TM Magma TM et Matlab et une communaut accueillante d utilisateurs et de d veloppeurs Strat gie de d veloppement e Enti rement libre GPL D velopp par et po
7. ent long terme car il ne peux ni voir ni changer l int rieur de Magma Fev 2005 Sage 0 1 une biblioth que Python liant ensemble PARI Maxima Python Singular GAP Fev 2006 Sage 1 0 Sage Days 1 San Diego 10 participants Fev 2010 Sage 4 4 2 Sage Days 20 Luminy France 120 participants Combinat Sage Viabilit G n ricit valuation D pot Conclusion Mini historique de Sage 1999 2005 William Stein crit plus de 25 000 lignes de code Magma pour sa recherche Il r alise que c est un mauvais investissement long terme car il ne peux ni voir ni changer l int rieur de Magma Fev 2005 Sage 0 1 une biblioth que Python liant ensemble PARI Maxima Python Singular GAP Fev 2006 Sage 1 0 Sage Days 1 San Diego 10 participants Fev 2010 Sage 4 4 2 Sage Days 20 Luminy France 120 participants Fev 2011 Sage 4 6 1 200 contributeurs dans le monde entier 10000 utilisateurs Financements postdocs ateliers mat riel NSF ANR CNRS Universit s et instituts Google Microsoft Research Combinat Sage Viabilit G n ricit valuation D pot Conclusion Quelques livres libres Calcul Math matique avec Sage Alexandre Casamayou Guillaume Connan Thierry Dumont Laurent Fousse Fran ois Maltey Matthias Meulien Marc Mezzarobba Cl ment Pernet Nicolas M Thi ry Paul Zimmermann http sagebook gforge inria fr July 2010 1 0 en ligne August 2011
8. ge et mutualisation Le projet x Combinat combinat sagemath org Mission Am liorer MuPAD Sage comme bo te outils extensible pour l exploration informatique en combinatoire alg brique en f d rant et mutualisant les efforts de d veloppements des chercheurs 5 17 x Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet x Combinat combinat sagemath org Mission Am liorer MuPAD Sage comme bo te outils extensible pour l exploration informatique en combinatoire alg brique en f d rant et mutualisant les efforts de d veloppements des chercheurs Strat gie Licence libre pour partager avec le plus grand nombre En restant pragmatique dans les collaborations D veloppement d centralis et international Garantie d ind pendance vis vis des tutelles D velopp par des chercheurs pour des chercheurs Avec un usage plus large en vue Coeur du d veloppement par des permanents Les doctorants se concentrent sur leurs propres besoins Chaque ligne de code justifi e par un projet de recherche Avec une vision long terme d veloppement agile Inspiration des informaticiens Concepts et m thodologies de programmation Outils de d veloppement coop ratif x Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Combinat 10 ans apr s En quelques chiffres MuPAD Combinat 115k lignes de MuPAD 15k lignes de C
9. ire alg brique n cessite Un peu de combinatoire usuelle Un peu d alg bre lin aire Un peu de th orie des groupes Un peu de calcul formel Un peu de Et cette fine couche de ma propre poudre magique Un logiciel de combinatoire n est jamais complet Je veux tre un architecte me concentrer sur ma poudre magique Combinat Sage Viabilit G n ricit valuation D pot Conclusion G n ricit Un calcul typique en combinatoire alg brique n cessite Un peu de combinatoire usuelle Un peu d alg bre lin aire Un peu de th orie des groupes Un peu de calcul formel Un peu de Et cette fine couche de ma propre poudre magique Un logiciel de combinatoire n est jamais complet Je doit tre un architecte me concentrer sur ma poudre magique Combinat Sage Viabilit G n ricit valuation D pot Conclusion G n ricit Un calcul typique en combinatoire alg brique n cessite Un peu de combinatoire usuelle Un peu d alg bre lin aire Un peu de th orie des groupes Un peu de calcul formel Un peu de Et cette fine couche de ma propre poudre magique Un logiciel de combinatoire n est jamais complet Je doit tre un architecte me concentrer sur ma poudre magique Mais est ce possible Moi 1k 12 17 Combinat Sage Viabilit G n ricit valuation D pot Conclusion x Combinat Moi 1 1k x Combinat 15 devs 100k Combinat Sage Viabilit G
10. isateurs e Pour un besoin pr cis recherche enseignement e Valoris financ indirectement Gouvernance par la demande Combinat Sage Viabilit G n ricit valuation D pot Evaluation Code d velopp par les utilisateurs e Pour un besoin pr cis recherche enseignement Valoris financ indirectement Gouvernance par la demande valuation de l utilit gt Contribue l efficacit et la p rennit du d veloppement Conclusion Combinat Sage Viabilit G n ricit valuation D pot Conclusion Evaluation Code d velopp par les utilisateurs e Pour un besoin pr cis recherche enseignement Valoris financ indirectement Gouvernance par la demande valuation de l utilit gt Contribue l efficacit et la p rennit du d veloppement Revue par les pairs Combinat Sage Viabilit G n ricit valuation D pot Conclusion Evaluation Code d velopp par les utilisateurs e Pour un besoin pr cis recherche enseignement Valoris financ indirectement Gouvernance par la demande valuation de l utilit gt Contribue l efficacit et la p rennit du d veloppement Revue par les pairs e Revue technique G n ricit modularit r utilisation Tests rigoureux Bonne documentation manuels de r f rences tutoriels Combinat Sage Viabilit G n ricit valuatio
11. k Shimozono Christian Stump Lenny Tevlin Nicolas M Thi ry Justin Walker Qiang Wang Mike Zabrocki x Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Combinat 10 ans apr s En quelques chiffres MuPAD Combinat 115k lignes de MuPAD 15k lignes de C 32k lignes de tests 600 pages de doc e Sage Combinat 300 tickets 100k lignes dans Sage Financements ANR PEPS NSF Google Summer of Code 70 articles de recherche Une communaut Nicolas Borie Daniel Bump Jason Bandlow Adrien Boussicault Fr d ric Chapoton Vincent Delecroix Paul Olivier Dehaye Tom Denton Fran ois Descouens Dan Drake Teresa Gomez Diaz Valentin Feray Mike Hansen Ralf Hemmecke Florent Hivert Brant Jones S bastien Labb Yann Laigle Chapuy ric Laugerotte Patrick Lemeur Andrew Mathas Xavier Molinero Thierry Monteil Olivier Mallet Gregg Musiker Jean Christophe Novelli Janvier Nzeutchap Steven Pon Viviane Pons Franco Saliola Anne Schilling Mark Shimozono Christian Stump Lenny Tevlin Nicolas M Thi ry Justin Walker Qiang Wang Mike Zabrocki Et vous Le projet Sage Mission Cr er une alternative libre et viable Maple KM Mathematica TM Magma TM et Matlab TM 7 17 Le projet Sage Mission Cr er une alternative libre et viable Maple M Mathematica TM Magma TM et Matlab et une communaut accueillante d utilisateurs et de d
12. n ricit Moi 1 1k Sage Combinat 25 devs 100k valuation D pot Conclusion 12 17 Combinat Sage Viabilit G n ricit Moi 1 1k Sage Combinat 25 devs 100k valuation D pot Conclusion 12 17 PE ES TR SES A a NO Combinat Sage Viabilit G n ricit valuation D pot Conclusion Moi 1 1k Sage Combinat 25 devs 100k 12 17 Moi 1 1k Sage Combinat 25 devs 100k Sage GAP Maxima Singular devs 1 2M ScPi NumPi Scientific Python Atlas Linbox GMP Matplotib JMOL JSMath 1k devs 10 Python IPython Firefox Ajax OpenGL 1M devs Sur les paules d un g ant Moi 1 1k Sage Combinat 25 devs 100k Sage GAP Maxima Singular devs 1 2M ScPi NumPi Scientific Python Atlas Linbox GMP Matplotlib JMOL JSMath 1k devs 10 Python Python Firefox Ajax OpenGL 1M devs Combinat Sage Viabilit G n ricit valuation D pot Conclusion Evaluation Code d velopp par les utilisateurs 13 17 Combinat Sage Viabilit G n ricit valuation D pot Conclusion Evaluation Code d velopp par les utilisateurs e Pour un besoin pr cis recherche enseignement Valoris financ indirectement Combinat Sage Viabilit G n ricit valuation D pot Conclusion Evaluation Code d velopp par les util
13. n D pot Conclusion Evaluation Code d velopp par les utilisateurs e Pour un besoin pr cis recherche enseignement Valoris financ indirectement Gouvernance par la demande valuation de l utilit gt Contribue l efficacit et la p rennit du d veloppement Revue par les pairs e Revue technique G n ricit modularit r utilisation Tests rigoureux Bonne documentation manuels de r f rences tutoriels e Revue math matique Combinat Sage Viabilit G n ricit valuation D pot Conclusion Evaluation Code d velopp par les utilisateurs e Pour un besoin pr cis recherche enseignement Valoris financ indirectement Gouvernance par la demande valuation de l utilit gt Contribue l efficacit et la p rennit du d veloppement Revue par les pairs e Revue technique G n ricit modularit r utilisation Tests rigoureux Bonne documentation manuels de r f rences tutoriels e Revue math matique valuation de la qualit Combinat Sage Viabilit G n ricit valuation D pot Conclusion D p t Outils collaboratifs forges e Mercurial gestion de patchs e Trac gestion de tickets Listes de diffusion wiki Combinat Sage Viabilit G n ricit valuation D pot Conclusion D p t Outils collaboratifs forges e Mercurial gestion de patchs e Trac
14. ur une communaut d utilisateurs Construire la voiture plut t que r inventer la roue Atlas GAP GMP Linbox Maxima MPFR PARI GP NetworkX NTL Numpy Scipy Singular Symmetrica Bas sur un langage de programmation standard Python e Mod le de d veloppement agile Pros lytisme actif et critique x Combinat Sage Viabilit G n ricit valuation D pot Conclusion Mini historique de Sage 1999 2005 William Stein crit plus de 25 000 lignes de code Magma pour sa recherche I r alise que c est un mauvais investissement long terme car il ne peux ni voir ni changer l int rieur de Magma Fev 2005 Sage 0 1 une biblioth que Python liant ensemble PARI Maxima Python Singular GAP Combinat Sage Viabilit G n ricit valuation D pot Conclusion Mini historique de Sage 1999 2005 William Stein crit plus de 25 000 lignes de code Magma pour sa recherche I r alise que c est un mauvais investissement long terme car il ne peux ni voir ni changer l int rieur de Magma Fev 2005 Sage 0 1 une biblioth que Python liant ensemble PARI Maxima Python Singular GAP Fev 2006 Sage 1 0 Sage Days 1 San Diego 10 participants x Combinat Sage Viabilit G n ricit valuation D pot Conclusion Mini historique de Sage 1999 2005 William Stein crit plus de 25 000 lignes de code Magma pour sa recherche Il r alise que c est un mauvais investissem
15. veloppeurs 7 17 Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Sage Mission Cr er une alternative libre et viable Maple M Mathematica TM Magma TM et Matlab et une communaut accueillante d utilisateurs et de d veloppeurs Strat gie de d veloppement e Enti rement libre GPL 7 17 Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Sage Mission Cr er une alternative libre et viable Maple M Mathematica TM Magma TM et Matlab et une communaut accueillante d utilisateurs et de d veloppeurs Strat gie de d veloppement e Enti rement libre GPL D velopp par et pour une communaut d utilisateurs Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Sage Mission Cr er une alternative libre et viable Maple M Mathematica TM Magma TM et Matlab et une communaut accueillante d utilisateurs et de d veloppeurs Strat gie de d veloppement e Enti rement libre GPL D velopp par et pour une communaut d utilisateurs e Construire la voiture plut t que r inventer la roue Atlas GAP GMP Linbox Maxima MPFR PARI GP NetworkX NTL Numpy Scipy Singular Symmetrica Combinat Sage Viabilit G n ricit valuation D pot Conclusion Le projet Sage Mission Cr er une alternative libre et viable M
Download Pdf Manuals
Related Search