Outillages et environnements logiciels
Publications scientifiques
Jean-Christophe Deprez, Dimitri Durieux, Connect ALM tools thanks to the Open Services for Lifecycle Collaboration Specification, DEVOXX 2012, 13 novembre 2012. (Software and System Engineering, Communication scientifique, NAPLES)
Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer, Is my Formal Method Tool Ready for the Industry ?, AVOCS 2011 - 11th International Workshop on Automated Verification of Critical Systems, Newcastle (UK), September 12-14, 2011 (Software and System Engineering, Communication scientifique, DEPLOY)
Blog
- Outils ALM - Améliorer votre productivité par la traçabilité des composants logiciels (Industrie du logiciel, Software and System Engineering, NAPLES)
- Ourano, le nouveau cloud privé du CETIC - Extinction de l’ancienne infrastructure ingrid.cetic.be (Cloud privé, Cloud Computing)
- Vérification assistée par ordinateur - Garantissez un haut niveau d’assurance qualité (Sécurité et confiance, Méthodologies, Cycle de Développement & Cycle de vie, Industrie, Test logiciel)
- Pilotez la qualité d’un logiciel en quelques clics - CETIC Quality Cockpit (Qualité des processus, Industrie du logiciel, Recherche et Innovation)
- La Création d’Ontologies Web Sémantique avec Protégé-2000 - Application du Web sémantique (Sémantique, Preuve de concept)