Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Carroll_Morgan_(computer_scientist)> ?p ?o. }
Showing items 1 to 39 of
39
with 100 items per page.
- Carroll_Morgan_(computer_scientist) abstract "Charles Carroll Morgan (born 1952) is an Australian computer scientist who has also worked in the United Kingdom.Carroll Morgan was educated in Australia. During the 1980s and 1990s he was based at the Oxford University Computing Laboratory in England as a researcher and lecturer working in the area of formal methods. He authored Programming from Specifications (Prentice Hall International Series in Computer Science, ISBN 0-13-123274-6), in which he provided a thorough treatment of elementary program constructs. These were later incorporated as elements of the B-Method by Jean-Raymond Abrial, who was also based in Oxford during the early 1980s.Morgan is now an Australian Professorial Fellow at the University of New South Wales in Australia. His primary research interests are probabilistic models for security and concurrency. He is also the author of numerous papers and active member of a number of IFIP working groups.Carroll Morgan is known as a proponent of formalized approach to program development called Refinement Calculus.".
- Carroll_Morgan_(computer_scientist) birthDate "1952".
- Carroll_Morgan_(computer_scientist) birthPlace Australia.
- Carroll_Morgan_(computer_scientist) birthYear "1952".
- Carroll_Morgan_(computer_scientist) wikiPageExternalLink ~carrollm.
- Carroll_Morgan_(computer_scientist) wikiPageID "27770334".
- Carroll_Morgan_(computer_scientist) wikiPageRevisionID "592409838".
- Carroll_Morgan_(computer_scientist) dateOfBirth "1952".
- Carroll_Morgan_(computer_scientist) name "Morgan, Charles Carroll".
- Carroll_Morgan_(computer_scientist) placeOfBirth Australia.
- Carroll_Morgan_(computer_scientist) shortDescription "Computer scientist".
- Carroll_Morgan_(computer_scientist) description "Computer scientist".
- Carroll_Morgan_(computer_scientist) description "Computer scientist".
- Carroll_Morgan_(computer_scientist) subject Category:1952_births.
- Carroll_Morgan_(computer_scientist) subject Category:Australian_computer_scientists.
- Carroll_Morgan_(computer_scientist) subject Category:Formal_methods_people.
- Carroll_Morgan_(computer_scientist) subject Category:Living_people.
- Carroll_Morgan_(computer_scientist) subject Category:Members_of_Oxford_University_Department_of_Computer_Science.
- Carroll_Morgan_(computer_scientist) subject Category:University_of_New_South_Wales_faculty.
- Carroll_Morgan_(computer_scientist) type Agent.
- Carroll_Morgan_(computer_scientist) type Person.
- Carroll_Morgan_(computer_scientist) type Person.
- Carroll_Morgan_(computer_scientist) type Q215627.
- Carroll_Morgan_(computer_scientist) type Q5.
- Carroll_Morgan_(computer_scientist) type Agent.
- Carroll_Morgan_(computer_scientist) type NaturalPerson.
- Carroll_Morgan_(computer_scientist) type Thing.
- Carroll_Morgan_(computer_scientist) type Person.
- Carroll_Morgan_(computer_scientist) comment "Charles Carroll Morgan (born 1952) is an Australian computer scientist who has also worked in the United Kingdom.Carroll Morgan was educated in Australia. During the 1980s and 1990s he was based at the Oxford University Computing Laboratory in England as a researcher and lecturer working in the area of formal methods.".
- Carroll_Morgan_(computer_scientist) label "Carroll Morgan (computer scientist)".
- Carroll_Morgan_(computer_scientist) sameAs m.0cc6_ms.
- Carroll_Morgan_(computer_scientist) sameAs Q5046597.
- Carroll_Morgan_(computer_scientist) sameAs Q5046597.
- Carroll_Morgan_(computer_scientist) wasDerivedFrom Carroll_Morgan_(computer_scientist)?oldid=592409838.
- Carroll_Morgan_(computer_scientist) givenName "Charles Carroll".
- Carroll_Morgan_(computer_scientist) isPrimaryTopicOf Carroll_Morgan_(computer_scientist).
- Carroll_Morgan_(computer_scientist) name "Charles Carroll Morgan".
- Carroll_Morgan_(computer_scientist) name "Morgan, Charles Carroll".
- Carroll_Morgan_(computer_scientist) surname "Morgan".