Ce que je vois 'à priori' sur la qualité, c'est par exemple la qualité du code. Utiliser et concevoir des outils de preuves de programmes pour rechercher des propriétés comme "pas de segfault" dans le code.
Mais tu à raison, le projet semble bien plus vaste, ils vont sans doute mettre des équipes de recherche en labo et/ou en r&d dans les entreprises sur des domaines relativement larges (de l'ihm à la preuve formelle de programme, recherche de bugs, ...)
[^] # Re: Preuves scientifiques?
Posté par thoasm . En réponse à la dépêche L'UE co-finance un observatoire de la qualité des logiciels open source.. Évalué à 5.
Ils prévoient plus d'un an sur les deux de définition précise du projet, bibliographie et spécification ...
http://www.sqo-oss.eu/about/activities
Ce que je vois 'à priori' sur la qualité, c'est par exemple la qualité du code. Utiliser et concevoir des outils de preuves de programmes pour rechercher des propriétés comme "pas de segfault" dans le code.
Mais tu à raison, le projet semble bien plus vaste, ils vont sans doute mettre des équipes de recherche en labo et/ou en r&d dans les entreprises sur des domaines relativement larges (de l'ihm à la preuve formelle de programme, recherche de bugs, ...)