Accueil |
Actualité |
Société |
Activités |
Secteurs |
Supports Commerciaux |
Nos Projets |
Conférences |
Nos Produits et Formations |
Nos Valeurs |
Recrutement |
Newsletter |
Contacts |
Plan du Site
|
Méthode B et Atelier B
La méthode B, inventée par Jean Raymond ABRIAL, est une méthode formelle avec preuves et affinements, utilisée pour :
- la réalisation de logiciels corrects par construction
- la modélisation de systèmes dans leur environnement
Cette méthode est utilisée industriellement dans le domaine ferroviaire. Elle est largement diffusée et reconnue dans le monde universitaire.
ClearSy en assure le développement en collaboration avec des industriels et des centres de recherche.