Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Jean-Raymond_Abrial> ?p ?o. }
Showing items 1 to 75 of
75
with 100 items 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 birthDate "1938".
- Jean-Raymond_Abrial birthPlace France.
- Jean-Raymond_Abrial birthYear "1938".
- Jean-Raymond_Abrial lccnId "n/96/95026".
- Jean-Raymond_Abrial viafId "56763534".
- Jean-Raymond_Abrial wikiPageExternalLink 1674,Have_we_learned_from_the_Wasa_disaster.
- Jean-Raymond_Abrial wikiPageExternalLink thes-b.html.
- Jean-Raymond_Abrial wikiPageExternalLink feb_2005.
- Jean-Raymond_Abrial wikiPageID "2443873".
- Jean-Raymond_Abrial wikiPageRevisionID "577289973".
- Jean-Raymond_Abrial dateOfBirth "1938".
- Jean-Raymond_Abrial hasPhotoCollection Jean-Raymond_Abrial.
- Jean-Raymond_Abrial lccn "n/96/95026".
- Jean-Raymond_Abrial name "Abrial, Jean-Raymond".
- Jean-Raymond_Abrial placeOfBirth France.
- Jean-Raymond_Abrial shortDescription "Computer scientist".
- Jean-Raymond_Abrial viaf "56763534".
- Jean-Raymond_Abrial description "Computer scientist".
- Jean-Raymond_Abrial description "Computer scientist".
- 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_Oxford_University_Department_of_Computer_Science.
- 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 type CausalAgent100007347.
- Jean-Raymond_Abrial type Communicator109610660.
- Jean-Raymond_Abrial type ComputerScienceWriters.
- Jean-Raymond_Abrial type ComputerScientist109951070.
- Jean-Raymond_Abrial type ComputerUser109951274.
- Jean-Raymond_Abrial type Engineer109615807.
- Jean-Raymond_Abrial type FormalMethodsPeople.
- Jean-Raymond_Abrial type FrenchComputerScientists.
- Jean-Raymond_Abrial type LivingPeople.
- Jean-Raymond_Abrial type LivingThing100004258.
- Jean-Raymond_Abrial type Object100002684.
- Jean-Raymond_Abrial type Organism100004475.
- Jean-Raymond_Abrial type Person100007846.
- Jean-Raymond_Abrial type PhysicalEntity100001930.
- Jean-Raymond_Abrial type Programmer110481268.
- Jean-Raymond_Abrial type Scientist110560637.
- Jean-Raymond_Abrial type SoftwareEngineers.
- Jean-Raymond_Abrial type Whole100003553.
- Jean-Raymond_Abrial type Writer110794014.
- Jean-Raymond_Abrial type YagoLegalActor.
- Jean-Raymond_Abrial type YagoLegalActorGeo.
- Jean-Raymond_Abrial type Agent.
- Jean-Raymond_Abrial type Person.
- Jean-Raymond_Abrial type Person.
- Jean-Raymond_Abrial type Q215627.
- Jean-Raymond_Abrial type Q5.
- Jean-Raymond_Abrial type Agent.
- Jean-Raymond_Abrial type NaturalPerson.
- Jean-Raymond_Abrial type Thing.
- Jean-Raymond_Abrial type Person.
- 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 label "Jean-Raymond Abrial".
- Jean-Raymond_Abrial sameAs Jean-Raymond_Abrial.
- Jean-Raymond_Abrial sameAs m.07dfkr.
- Jean-Raymond_Abrial sameAs Q3169881.
- Jean-Raymond_Abrial sameAs Q3169881.
- Jean-Raymond_Abrial sameAs 154824.
- Jean-Raymond_Abrial sameAs Jean-Raymond_Abrial.
- Jean-Raymond_Abrial wasDerivedFrom Jean-Raymond_Abrial?oldid=577289973.
- Jean-Raymond_Abrial givenName "Jean-Raymond".
- Jean-Raymond_Abrial isPrimaryTopicOf Jean-Raymond_Abrial.
- Jean-Raymond_Abrial name "Abrial, Jean-Raymond".
- Jean-Raymond_Abrial name "Jean-Raymond Abrial".
- Jean-Raymond_Abrial surname "Abrial".