Les méthodes d’ingénierie formelles sont théoriquement capables d’atteindre un niveau de qualité « zéro bug ». Certaines sont utilisées avec succès en industrie, notamment dans le développement de systèmes de métro (...)
Le CETIC est en train de démarrer un ensemble de projets internationaux de recherche. Trois projets sont ainsi dans les « starting blocks ». Le projet EXTRA rentre dans le programme européen de recherche « CORNET » (...)
Le CETIC s’est impliqué dans le second appel du 7ème programme cadre et est partenaire de deux des cinq projets intégrés FP7 du second appel. Il s’agit des projets stratégiques Reservoir (architectures orientées services (...)