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

Hubaux, A. (Participant)

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

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
Period26 Mar 2009 - 3 Apr 2009
Event typeEducation
LocationUniversity of Namur, Belgium