La 18ème édition du workshop international "Formal Methods for Industrial Critical Systems" (FMICS 2013) se déroule les 23 et 24 septembre à Madrid, en Espagne.
Jean-Christophe Deprez, Responsable Scientifique au CETIC et Christophe Ponsard, Responsable du Département SSE au CETIC, participent à la revue finale du projet DEPLOY, les 13 et 14 juin à Bruxelles. Ils y présentent (...)
Le CETIC, en tant que partenaire du projet DEPLOY, présentera les résultats de la recherche menée dans le cadre de celui-ci lors du ’DEPLOY Federated Event’
Les 28 et 29 septembre prochains à Bruxelles, le CETIC prendra part au meeting collaboratif "Internet of Services", organisé par la Commission européenne et dédié aux projets FP6 et (...)
Formal Methods 2011
Participation du CETIC à la réunion de collaboration des projets Programmes Européens : Internet of Services 2010
Participation du CETIC à la conférence AVOCS et à l’atelier RODIN
Le CETIC a présenté deux articles à la conférence EUROSPI 2009 qui a eu lieu à Madrid les 3-4 septembre 2009. Cette conférence débat des méthodes d’amélioration des processus logiciels et des différents standards qui y (...)
Les 10 et 11 juin 2009, le CETIC était présent au Internet of Services Collaboration Meeting pour les projets FP6 et FP7.
Le CETIC a participé à un atelier industriel d’ingénierie des exigences dans le contexte du projet DEPLOY à Zurich, les 19 et 20 janvier dernier. L’objectif de l’atelier était d’étudier la phase d’ingénierie d’exigence dans (...)
Le Projet DEPLOY a pour objectif le transfert industriel de méthodes rigoureuses de conception de systèmes, basé sur une démarche de modélisation et de preuve formelles. Après une réunion de démarrage commune en février (...)
