Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Jean-Raymond_Abrial> ?p ?o }
Showing triples 1 to 74 of
74
with 100 triples per page.
- Jean-Raymond_Abrial 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 (now Oxford University Department of Computer Science), 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 (ISBN 0-521-49619-5). For much of his career he has been an independent consultant, as much at home working with industry as academia. Latterly, he became a Professor at ETH Zurich in Switzerland.".
- Jean-Raymond_Abrial wikiPageExternalLink feb_2005.
- Jean-Raymond_Abrial wikiPageExternalLink 1674,Have_we_learned_from_the_Wasa_disaster.
- Jean-Raymond_Abrial wikiPageExternalLink thes-b.html.
- Jean-Raymond_Abrial wikiPageID "2443873".
- Jean-Raymond_Abrial wikiPageLength "2129".
- Jean-Raymond_Abrial wikiPageOutDegree "25".
- Jean-Raymond_Abrial wikiPageRevisionID "705564462".
- Jean-Raymond_Abrial wikiPageWikiLink B-Method.
- Jean-Raymond_Abrial wikiPageWikiLink Category:1938_births.
- Jean-Raymond_Abrial wikiPageWikiLink Category:Computer_science_writers.
- Jean-Raymond_Abrial wikiPageWikiLink Category:ETH_Zurich_faculty.
- Jean-Raymond_Abrial wikiPageWikiLink Category:Formal_methods_people.
- Jean-Raymond_Abrial wikiPageWikiLink Category:French_computer_scientists.
- Jean-Raymond_Abrial wikiPageWikiLink Category:Living_people.
- Jean-Raymond_Abrial wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Jean-Raymond_Abrial wikiPageWikiLink Category:Software_engineering_researchers.
- Jean-Raymond_Abrial wikiPageWikiLink Category:Software_engineers.
- Jean-Raymond_Abrial wikiPageWikiLink Category:Z_notation.
- Jean-Raymond_Abrial wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Jean-Raymond_Abrial wikiPageWikiLink ETH_Zurich.
- Jean-Raymond_Abrial wikiPageWikiLink Formal_methods.
- Jean-Raymond_Abrial wikiPageWikiLink Formal_specification.
- Jean-Raymond_Abrial wikiPageWikiLink France.
- Jean-Raymond_Abrial wikiPageWikiLink Jonathan_Bowen.
- Jean-Raymond_Abrial wikiPageWikiLink Professor.
- Jean-Raymond_Abrial wikiPageWikiLink Programming_Research_Group.
- Jean-Raymond_Abrial wikiPageWikiLink Software_engineering.
- Jean-Raymond_Abrial wikiPageWikiLink Switzerland.
- Jean-Raymond_Abrial wikiPageWikiLink Z_notation.
- Jean-Raymond_Abrial wikiPageWikiLinkText "Abrial".
- Jean-Raymond_Abrial wikiPageWikiLinkText "Abrial, Jean-Raymond".
- Jean-Raymond_Abrial wikiPageWikiLinkText "Jean-Raymond Abrial".
- Jean-Raymond_Abrial date "20071202063524".
- Jean-Raymond_Abrial title "Review of The B-Book".
- Jean-Raymond_Abrial url thes-b.html.
- Jean-Raymond_Abrial wikiPageUsesTemplate Template:Authority_control.
- Jean-Raymond_Abrial wikiPageUsesTemplate Template:DBLP.
- Jean-Raymond_Abrial wikiPageUsesTemplate Template:France-compu-bio-stub.
- Jean-Raymond_Abrial wikiPageUsesTemplate Template:Reflist.
- Jean-Raymond_Abrial wikiPageUsesTemplate Template:Wayback.
- Jean-Raymond_Abrial subject Category:1938_births.
- Jean-Raymond_Abrial subject Category:Computer_science_writers.
- Jean-Raymond_Abrial subject Category:ETH_Zurich_faculty.
- Jean-Raymond_Abrial subject Category:Formal_methods_people.
- Jean-Raymond_Abrial subject Category:French_computer_scientists.
- Jean-Raymond_Abrial subject Category:Living_people.
- Jean-Raymond_Abrial subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Jean-Raymond_Abrial subject Category:Software_engineering_researchers.
- Jean-Raymond_Abrial subject Category:Software_engineers.
- Jean-Raymond_Abrial subject Category:Z_notation.
- Jean-Raymond_Abrial hypernym Scientist.
- Jean-Raymond_Abrial type Language.
- Jean-Raymond_Abrial type List.
- Jean-Raymond_Abrial type Person.
- Jean-Raymond_Abrial type Scientist.
- Jean-Raymond_Abrial type Writer.
- Jean-Raymond_Abrial type Language.
- Jean-Raymond_Abrial type List.
- Jean-Raymond_Abrial type Member.
- Jean-Raymond_Abrial type Method.
- Jean-Raymond_Abrial type Scientist.
- Jean-Raymond_Abrial type Writer.
- Jean-Raymond_Abrial type Thing.
- Jean-Raymond_Abrial 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 (now Oxford University Department of Computer Science), and later the B-Method (normally used for software development), two leading formal methods for software engineering.".
- Jean-Raymond_Abrial label "Jean-Raymond Abrial".
- Jean-Raymond_Abrial sameAs Q3169881.
- Jean-Raymond_Abrial sameAs جین-ریموند_ابریل.
- Jean-Raymond_Abrial sameAs Jean-Raymond_Abrial.
- Jean-Raymond_Abrial sameAs Jean-Raymond_Abrial.
- Jean-Raymond_Abrial sameAs m.07dfkr.
- Jean-Raymond_Abrial sameAs Q3169881.
- Jean-Raymond_Abrial wasDerivedFrom Jean-Raymond_Abrial?oldid=705564462.
- Jean-Raymond_Abrial isPrimaryTopicOf Jean-Raymond_Abrial.