Accueil -
Nouveautés -
Produit -
Versions -
Télécharger -
Manuels -
Maintenance -
Politique de Distribution
Perspectives & Appels à Contribution -
Support -
Formation -
Documents -
Presse -
Références -
R&D -
Contacts -
Emploi -
Liens -
Votre Compte
Actualités
|
ClearSy met à disposition des étudiants et chercheurs une licence de l'outil industriel Atelier B. .:. posté par ClearSy .:.
|
| Jusqu'à maintenant les étudiants et chercheurs bénéficiaient de l'Atelier B installé sur les postes des écoles et universités. Désormais, des licences d'un an seront distribuées gratuitement aux étudiants et chercheurs pour qu'ils puissent utiliser leur PC. |
|
|
Atelier B 3.7.1 .:. posté par ClearSy .:.
|
La version 3.7.1 de l’Atelier B est disponible.
Elle corrige des anomalies mineures de l'atelier B sur le vérificateur de type et l'interface de preuve, et améliore la compatibilité avec l'interface de preuve xemacs EMACSPRI. La liste des corrections est disponible ici : historique des versions.
La future version 3.7.2 est actuellement en développement et a été annoncée pour mai 2008. Elle incluera le traducteur ComenC. Il s'agit d'un nouveau traducteur pour le langage B qui permet de traduire des implémentations B0 vers le langage C.
ComenC est issu de la convergence entre les traducteurs industriels, et des travaux de recherches tels que le projet RNTL BOM (B optimisé mémoire).
Par rapport aux traducteurs précédents, ComenC propose une traduction plus simple, permettant d'obtenir un code plus efficace et plus proche du B0 d'origine. |
|
|
Conférence : la Méthode B, de la Recherche à l'Enseignement .:. posté par ClearSy .:.
|
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 de Nantes.
Pour connaître le programme de cette conférence, nous vous invitons à découvrir :
|
|
|
Conférence ABZ 2008 du 16 au 18 septembre 2008, à Londres .:. posté par ClearSy .:.
|
La conférence ABZ 2008 a pour objectif de réunir les communautés B, Z et ASM. Elle sera organisée autour d'une journée commune et de 2 journées propres à chaque communauté, soit :
- the 15th International ASM Workshop,
- the 17th International Conference of Z Users,
- the 8th International Conference on the B Method.
Les Informations sont disponibles sur le site de la conférence : ABZ 2008. |
|
|
L'Atelier B 3.7 est disponible .:. posté par ClearSy .:.
|
L'Atelier B est disponible. Il intègre de nouvelles fonctionnalités...
Atelier B 3.7... |
|
|
Rodin Industry Day .:. posté par ClearSy .:.
|
| Clearsy a organisé la journée Rodin Industry Day 2007. La journée a eu lieu à Paris, le 10 septembre 2007 et a consisté à présenter l'état d'avancement des développements de Rodin et de ses plugins, ainsi que des exemples d'application. Pour en savoir plus, rendez-vous sur cette page : Programme et participation... |
|
|
Plateforme RODIN .:. posté par ClearSy .:.
|
La plateforme RODIN est disponible au téléchargement.
Télécharger RODIN... |
|
|
|
