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

Arnaud Hubaux (Participant)

Activité: Types de Participation ou d'organisation d'un événementParticipation à 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ériode26 mars 20093 avr. 2009
Type d'événementFormation
LieuUniversity of Namur, Belgique