Questions speciales de l'informatique fondamentale: methodes de developpement B et CSP

Arnaud Hubaux (Participant)

Universite de Namur

Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

Description

La methode B, inventee par Jean-Raymond Abrial, est une theorie et une methodologie pour le developpement formel des systemes informatiques. B est utilisee dans l'industrie, surtout pour les applications critiques et securitaires. Par exemple le systeme d

Période	26 mars 2009 → 3 avr. 2009
Type d'événement	Formation
Lieu	University of Namur, BelgiqueAfficher sur la carte