Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q3169881> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Q3169881 subject Q15274001.
- Q3169881 subject Q5312304.
- Q3169881 subject Q6165106.
- Q3169881 subject Q7031819.
- Q3169881 subject Q7469307.
- Q3169881 subject Q7584464.
- Q3169881 subject Q7802847.
- Q3169881 subject Q8396090.
- Q3169881 subject Q8466127.
- Q3169881 subject Q8759181.
- Q3169881 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.".
- Q3169881 wikiPageExternalLink feb_2005.
- Q3169881 wikiPageExternalLink 1674,Have_we_learned_from_the_Wasa_disaster.
- Q3169881 wikiPageExternalLink thes-b.html.
- Q3169881 wikiPageWikiLink Q1049183.
- Q3169881 wikiPageWikiLink Q11942.
- Q3169881 wikiPageWikiLink Q121594.
- Q3169881 wikiPageWikiLink Q142.
- Q3169881 wikiPageWikiLink Q1430781.
- Q3169881 wikiPageWikiLink Q1437424.
- Q3169881 wikiPageWikiLink Q15274001.
- Q3169881 wikiPageWikiLink Q3085774.
- Q3169881 wikiPageWikiLink Q39.
- Q3169881 wikiPageWikiLink Q5260200.
- Q3169881 wikiPageWikiLink Q5312304.
- Q3169881 wikiPageWikiLink Q6165106.
- Q3169881 wikiPageWikiLink Q7031819.
- Q3169881 wikiPageWikiLink Q7248493.
- Q3169881 wikiPageWikiLink Q7469307.
- Q3169881 wikiPageWikiLink Q7584464.
- Q3169881 wikiPageWikiLink Q7802847.
- Q3169881 wikiPageWikiLink Q80993.
- Q3169881 wikiPageWikiLink Q8396090.
- Q3169881 wikiPageWikiLink Q8466127.
- Q3169881 wikiPageWikiLink Q8759181.
- Q3169881 wikiPageWikiLink Q93043.
- Q3169881 type Thing.
- Q3169881 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.".
- Q3169881 label "Jean-Raymond Abrial".