Em memória de
Jean-Raymond Abrial

Jean-Raymond Abrial

6 de novembro de 1938 — 26 de maio de 2025
Versalles · 5th arrondissement of Marseille
0 velas acesas
Os contributos são revistos antes de serem publicados (15–60 minutos).

Jean-Raymond Abrial, né le 6 novembre 1938 à Versailles et mort le 26 mai 2025 à Marseille, est un informaticien français. Ancien élève de l'École polytechnique, il est professeur à l'École polytechnique fédérale de Zurich, connu dans le monde du développement logiciel comme le créateur de la notation formelle Z et par la suite de la méthode B, puis Event-B. Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode.

— Source: Wikipedia (CC-BY-SA).

Condolências e recordações

Seja a primeira pessoa a deixar umas palavras.

Criar o obituário leva poucos minutos. Estará publicado em menos de uma hora e para sempre.

Criar um obituário