Jean-Raymond Abrial
See also: Abrial
Jean-Raymond Abrial is a Informaticien French, currently professor with the federal Polytechnic school of Zurich, known in the world of the software development like the creator of the formal notation Z and thereafter of the method of formal specification B (formal methods). It took part besides in the implementation of the continuation of tools using this method.
It also belonged to the team which designed the first version of the computer programming language Ada.
It is interested today by the event-driven version of its method and by new grinding of this one the " B #" (B Sharp) with the Rodin project.
See too
| Random links: | House of the Prophet | Alain Allard | Luciano Ligabue | Method of the penetration | Procalcitonine | Université_v._Woodward_de_Dartmouth |