Jean-Raymond Abrial (original) (raw)
- Jean-Raymond Abrial (noviembre de 1938) es un informático francés, inventor de los métodos formales Z y B. (es)
- Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. Abrial's 1974 paper Data Semantics 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 within the Oxford University Computing Laboratory (now Oxford University Department of Computer Science), and later the B-Method (normally used for software development), two 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. He was an invited professor at ETH Zurich from 2004 to 2009. (en)
- 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)
- http://videotorium.hu/en/recordings/details/1674,Have_we_learned_from_the_Wasa_disaster
- https://web.archive.org/web/20071202063524/http:/www.jpbowen.com/publications/thes-b.html
- https://web.archive.org/web/20110926215654/http:/www.inf.ethz.ch/news/focus/res_focus/feb_2005
- 2443873 (xsd:integer)
- 3706 (xsd:nonNegativeInteger)
- 1091111066 (xsd:integer)
- dbc:Z_notation
- dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford
- dbr:Jonathan_Bowen
- dbr:Resource_Description_Framework
- dbc:1938_births
- dbc:Living_people
- dbc:Software_engineering_researchers
- dbr:Entity-Relationship_Model
- dbr:Programming_Research_Group
- dbr:Software_engineering
- dbc:ETH_Zurich_faculty
- dbc:French_computer_scientists
- dbr:Data_Modeling
- dbr:ETH_Zurich
- dbr:Formal_methods
- dbr:Formal_specification
- dbc:Formal_methods_people
- dbc:Computer_science_writers
- dbc:Software_engineers
- dbr:Z_notation
- dbr:B-Method
- dbr:Visiting_scholar
- dbr:Oxford_University_Department_of_Computer_Science
- 2007-12-02 (xsd:date)
- Review of The B-Book (en)
- dbt:DBLP
- dbt:Authority_control
- dbt:Reflist
- dbt:Short_description
- dbt:Webarchive
- dbt:France-compu-bio-stub
- dbc:Z_notation
- dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford
- dbc:1938_births
- dbc:Living_people
- dbc:Software_engineering_researchers
- dbc:ETH_Zurich_faculty
- dbc:French_computer_scientists
- dbc:Formal_methods_people
- dbc:Computer_science_writers
- dbc:Software_engineers
- owl:Thing
- dbo:Person
- yago:WikicatComputerScienceWriters
- yago:WikicatLivingPeople
- yago:WikicatSoftwareEngineers
- yago:CausalAgent100007347
- yago:Communicator109610660
- yago:ComputerScientist109951070
- yago:ComputerUser109951274
- yago:Engineer109615807
- yago:LivingThing100004258
- yago:Object100002684
- yago:Organism100004475
- yago:Person100007846
- yago:PhysicalEntity100001930
- yago:Programmer110481268
- yago:Writer110794014
- yago:YagoLegalActor
- yago:YagoLegalActorGeo
- yago:Scientist110560637
- yago:Whole100003553
- yago:WikicatFormalMethodsPeople
- yago:WikicatFrenchComputerScientists
- Jean-Raymond Abrial (noviembre de 1938) es un informático francés, inventor de los métodos formales Z y B. (es)
- Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. Abrial's 1974 paper Data Semantics 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. (en)
- 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)
- Jean-Raymond Abrial (es)
- Jean-Raymond Abrial (fr)
- Jean-Raymond Abrial (en)
- freebase:Jean-Raymond Abrial
- http://viaf.org/viaf/292620957
- http://viaf.org/viaf/56763534
- http://www4.wiwiss.fu-berlin.de/dblp/resource/person/154824
- yago-res:Jean-Raymond Abrial
- http://d-nb.info/gnd/1089357796
- https://dblp.org/pid/16/756
- wikidata:Jean-Raymond Abrial
- http://data.bibliotheken.nl/id/thes/p074926829
- dbpedia-es:Jean-Raymond Abrial
- dbpedia-fa:Jean-Raymond Abrial
- dbpedia-fr:Jean-Raymond Abrial
- http://mg.dbpedia.org/resource/Jean-Raymond_Abrial
- https://global.dbpedia.org/id/2w5oz
is dbo:influencedBy of
- dbr:Carroll_Morgan_(computer_scientist)
- dbr:Ken_Robinson_(computer_scientist)
- dbr:Michael_Butler_(computer_scientist)
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
- dbr:Carroll_Morgan_(computer_scientist)
- dbr:Rodin_tool
- dbr:Entity–relationship_model
- dbr:Bertrand_Meyer
- dbr:List_of_programming_language_researchers
- dbr:Escuela_Superior_Latinoamericana_de_Informática
- dbr:Programming_Research_Group
- dbr:BCS-FACS
- dbr:Abrial
- dbr:Abrial,_Jean-Raymond
- dbr:Ken_Robinson_(computer_scientist)
- dbr:Z_notation
- dbr:B-Method
- dbr:Michael_Butler_(computer_scientist)
- dbr:Refinement_calculus
- dbr:IFIP_Working_Group_2.3
is dbp:influences of
- dbr:Carroll_Morgan_(computer_scientist)
- dbr:Ken_Robinson_(computer_scientist)
- dbr:Michael_Butler_(computer_scientist)
is foaf:primaryTopic of