Jean-Raymond Abrial

Jean-Raymond Abrial (* 6. November 1938 in Versailles; † 26. Mai 2025 in Marseille) war ein französischer Informatiker.

Er wurde bekannt für die Entwicklung der Formalen Methoden Z-Notation und B sowie Event-B, die auf B aufbaut.

  1. ↑ M. Jean-Raymond ABRIAL. In: Le Figaro. Abgerufen am 8. Juni 2025 (französisch).
Dieser Artikel wurde von Wikipedia herausgegeben. Der Text ist unter Creative Commons Attribution-Share Alike 4.0 verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.