| http://dbpedia.org/ontology/abstract
|
Jean-Raymond Abrial, né le 6 novembre 1938 … 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.vec le projet de recherche européen Rodin.
|
| http://dbpedia.org/ontology/almaMater
|
http://fr.dbpedia.org/resource/%C3%89cole_polytechnique_%28France%29 +
|
| http://dbpedia.org/ontology/citizenship
|
http://fr.dbpedia.org/resource/France +
|
| http://dbpedia.org/ontology/discipline
|
http://fr.dbpedia.org/resource/Informatique +
|
| http://dbpedia.org/ontology/employer
|
http://fr.dbpedia.org/resource/%C3%89cole_polytechnique_f%C3%A9d%C3%A9rale_de_Zurich +
|
| http://dbpedia.org/ontology/occupation
|
http://fr.dbpedia.org/resource/Informaticien +
, http://fr.dbpedia.org/resource/Ing%C3%A9nieur +
, http://fr.dbpedia.org/resource/Journaliste +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://bibli.polytechnique.fr/F/%3Ffunc=file&file_name=find-b&local_base=BCXC2 +
, http://download.gna.org/brillant/docs/B-Bibliography/Bmethod-Abrial.html +
, http://videotorium.hu/en/recordings/details/1674%2CHave_we_learned_from_the_Wasa_disaster_ +
|
| http://dbpedia.org/ontology/wikiPageID
|
226645
|
| http://dbpedia.org/ontology/wikiPageLength
|
2597
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
158940168
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Notation_Z +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_novembre_1938 +
, http://fr.dbpedia.org/resource/Cambridge_University_Press +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_m%C3%A9thodes_formelles +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:%C3%89l%C3%A8ve_de_l%27%C3%89cole_polytechnique +
, http://fr.dbpedia.org/resource/Ada_%28langage%29 +
, http://fr.dbpedia.org/resource/D%C3%A9veloppement_de_logiciel +
, http://fr.dbpedia.org/resource/Informaticien +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_langages_de_programmation +
, http://fr.dbpedia.org/resource/France +
, http://fr.dbpedia.org/resource/1996 +
, http://fr.dbpedia.org/resource/M%C3%A9thode_B +
, http://fr.dbpedia.org/resource/Cambridge +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Enseignant_%C3%A0_l%27%C3%89cole_polytechnique_f%C3%A9d%C3%A9rale_de_Zurich +
, http://fr.dbpedia.org/resource/%C3%89cole_polytechnique_f%C3%A9d%C3%A9rale_de_Zurich +
, http://fr.dbpedia.org/resource/M%C3%A9thode_formelle_%28informatique%29 +
, http://fr.dbpedia.org/resource/2010 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Informaticien_fran%C3%A7ais +
, http://fr.dbpedia.org/resource/1997 +
, http://fr.dbpedia.org/resource/%C3%89cole_polytechnique_%28France%29 +
|
| http://fr.dbpedia.org/property/titre
|
Publications de Jean-Raymond Abrial
|
| http://fr.dbpedia.org/property/url
|
http://download.gna.org/brillant/docs/B-Bibliography/Bmethod-Abrial.html +
|
| http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Date +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Bases_recherche +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Lien_bris%C3%A9 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:%C3%89bauche +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Autorit%C3%A9 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Voir_homonymes +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:ISBN +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Infobox_Biographie2 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
|
| http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_novembre_1938 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:%C3%89l%C3%A8ve_de_l%27%C3%89cole_polytechnique +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_m%C3%A9thodes_formelles +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Informaticien_fran%C3%A7ais +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_langages_de_programmation +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Enseignant_%C3%A0_l%27%C3%89cole_polytechnique_f%C3%A9d%C3%A9rale_de_Zurich +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Jean-Raymond_Abrial?oldid=158940168&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Jean-Raymond_Abrial +
|
| owl:sameAs |
https://dblp.org/pid/16/756 +
, http://www.idref.fr/035821450/id +
, http://fa.dbpedia.org/resource/%D8%AC%DB%8C%D9%86-%D8%B1%DB%8C%D9%85%D9%88%D9%86%D8%AF_%D8%A7%D8%A8%D8%B1%DB%8C%D9%84 +
, https://data.bibliotheken.nl/doc/thes/p074926829 +
, http://g.co/kg/m/07dfkr +
, http://www.wikidata.org/entity/Q3169881 +
, http://fr.dbpedia.org/resource/Jean-Raymond_Abrial +
, https://id.loc.gov/authorities/names/n96095026 +
, http://mg.dbpedia.org/resource/Jean-Raymond_Abrial +
, http://dbpedia.org/resource/Jean-Raymond_Abrial +
, http://es.dbpedia.org/resource/Jean-Raymond_Abrial +
, http://viaf.org/viaf/56763534 +
, http://data.bnf.fr/ark:/12148/cb13489775x#about +
, https://bnb.data.bl.uk/doc/person/AbrialJean-Raymond +
|
| rdf:type |
http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Person +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Species +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q19088 +
, http://www.wikidata.org/entity/Q215627 +
|
| rdfs:comment |
Jean-Raymond Abrial, né le 6 novembre 1938 … 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.e version du langage de programmation Ada.
|
| rdfs:label |
Jean-Raymond Abrial
|
| rdfs:seeAlso |
http://isni.org/isni/0000_0001_1648_8192 +
, http://aut.nkp.cz/utb2017937761 +
|
