Jean-Raymond Abrial (born 6 November 1938)[1] is a French computer scientist and inventor of the Z and B formal methods.
Abrial's 1974 paper Data Semantics[3] laid the foundation for a formal approach to Data Models; although not adopted directly by practitioners, it directly influenced all subsequent models from the Entity-Relationship Model through to RDF.
J.-R. Abrial is the father of the Z notation (typically used for formal specification of software), during his time at the Programming Research Group under Prof. Tony Hoare within the Oxford University Computing Laboratory (now Oxford University Department of Computer Science), arriving in 1979 and sharing an office and collaborating with Cliff Jones.
[4] He later initiated the B-Method, with better tool-based software development support for refinement from a high-level specification to an executable program, including the Rodin tool.
These are two important formal methods approaches for software engineering.