About: dbpedia-fr:Jean-Raymond_Abrial     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : dbo:Species, within Data Space : fr.dbpedia.org associated with source document(s)

AttributesValues
rdf:type
rdfs:label
  • Jean-Raymond Abrial (es)
  • Jean-Raymond Abrial (fr)
rdfs:comment
  • Jean-Raymond Abrial, né le 6 novembre 1938, est un informaticien français. Ancien élève de l'École polytechnique (promotion 1958), il fut 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 B (voir méthodes formelles). Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode. En 1968, il réalisé le système de base de données SOCRATE. Il fait partie de l'équipe qui a conçu la première version du langage de programmation Ada. (fr)
rdfs:seeAlso
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
Link from a Wikipage to an external page
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
prop-fr:titre
  • Publications de Jean-Raymond Abrial (fr)
prop-fr:url
foaf:isPrimaryTopicOf
employer
has abstract
  • Jean-Raymond Abrial, né le 6 novembre 1938, est un informaticien français. Ancien élève de l'École polytechnique (promotion 1958), il fut 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 B (voir méthodes formelles). Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode. En 1968, il réalisé le système de base de données SOCRATE. Il 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 le développement d'un nouvel outil support avec le projet de recherche européen Rodin. (fr)
citizenship
occupation
discipline
alma mater
is dbo:wikiPageWikiLink of
is Wikipage disambiguates of
is oa:hasTarget of
is foaf:primaryTopic of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software