L'université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville...
Actualités
Conférence sur les Méthodes Formelles d’Ingénierie
A l'occasion de sa 9eme édition, l'ICFEM (International Conference on Formal Engineering Methods) qui se tiendra du 14 au 15 novembre 2007 en Floride,...
Conférence B 2007 à Besançon du 17 au 19 janvier 2007
CLEARSY a participé à la conférence B2007, qui se tenait à Besançon du 17 au 19 janvier. Dans le cadre de nos travaux de Recherche & de Développement que...
Roadmap CLEARSY 2007/2008
Forte de son expérience en Recherche & Développement, CLEARSY développe ses outils dans l'objectif de répondre efficacement aux besoins de ses...
Plateforme RODIN
La plateforme RODIN est disponible au téléchargement. Télécharger RODIN...
Conférence AFADL’06
Participation de CLEARSY à AFADL'06 (15, 16, 17 mars 2006). Démonstration d'un nouvel outil d'aide à la spécification de système : CompoSys.