Jean-Raymond Abrial (born 6 November 1938) is a French computer scientist and inventor of the Z and B formal methods. Abrial was a student at the École...
7 KB (400 words) - 12:41, 16 January 2024
Georges Abrial (1898-1970), French aerodynamicist Jean-Marie Charles Abrial (1879–1962), French admiral during World War II Jean-Raymond Abrial (born 1938)...
815 bytes (143 words) - 19:44, 29 September 2023
developed in the 1980s by Jean-Raymond Abrial in France and the UK. B is related to the Z notation (also originated by Abrial) and supports development...
13 KB (1,623 words) - 14:27, 28 January 2024
computer programs and computer-based systems in general. In 1974, Jean-Raymond Abrial published "Data Semantics". He used a notation that would later be...
10 KB (951 words) - 16:54, 3 July 2024
§ Crow's foot notation (also Martin notation) (min, max)-notation of Jean-Raymond Abrial in 1974 UML class diagrams Merise Object-role modeling Crow's foot...
33 KB (4,182 words) - 17:09, 3 May 2024
2023. Jean-Raymond Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996, (ISBN 0-521-49619-5). Jean-Raymond Abrial, Michael...
9 KB (816 words) - 23:08, 14 June 2023
wrote about "data structuring" in the IBM Systems Journal. In 1974 Jean-Raymond Abrial contributed an article about "Data Semantics". In June 1975, Eckhard...
12 KB (1,406 words) - 17:44, 19 May 2024
and the bridge pattern. The original design (in collaboration with Jean-Raymond Abrial and Steven Schuman) of the Z specification language. His establishment...
10 KB (1,102 words) - 07:26, 13 September 2024
role in the development of the Z notation (initiated by a visit of Jean-Raymond Abrial) and CSP (together with the associated Occam programming language)...
5 KB (506 words) - 14:46, 18 January 2024
important visitors to the school, such as Alberto O. Mendelzon, Jean-Raymond Abrial, Ugo Montanari, Carlo Ghezzi and Giorgio Ausiello, and enabled its...
3 KB (365 words) - 22:12, 29 September 2023