Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. 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 within the Oxford University Computing Laboratory, and later the B-Method (normally used for software development), two leading formal methods for software engineering. He is the author of The B-Book: Assigning Programs to Meanings.

PropertyValue
dbpedia-owl:thumbnail
dbpprop:abstract
  • Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. 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 within the Oxford University Computing Laboratory, and later the B-Method (normally used for software development), two leading formal methods for software engineering. He is the author of The B-Book: Assigning Programs to Meanings. For much of his career he has been an independent consultant, as much at home working with industry as academia. Currently he is a Professor at ETH Zurich in Switzerland.
  • Jean-Raymond Abrial est un informaticien français, actuellement 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 de spécification formelle B. Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode. Il a également fait partie de l'équipe qui a conçu la première version du langage de programmation Ada. Il est aujourd'hui intéressé par la version événementielle de sa méthode et par la nouvelle mouture de celle-ci le "B #" (B Sharp) avec le projet Rodin.
dbpprop:hasPhotoCollection
dbpprop:id
  • a/Abrial:Jean=Raymond
dbpprop:name
  • Jean-Raymond Abrial
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. 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 within the Oxford University Computing Laboratory, and later the B-Method (normally used for software development), two leading formal methods for software engineering. He is the author of The B-Book: Assigning Programs to Meanings.
  • Jean-Raymond Abrial est un informaticien français, actuellement 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 de spécification formelle B. Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode. Il a également fait partie de l'équipe qui a conçu la première version du langage de programmation Ada.
rdfs:label
  • Jean-Raymond Abrial
  • Jean-Raymond Abrial
owl:sameAs
skos:subject
foaf:depiction
foaf:page
is dbpprop:disambiguates of
is owl:sameAs of