Matches in DBpedia 2016-04 for { ?s ?p "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."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- 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.".
- 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.".