Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Ralph-Johan_Back> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples per page.
- Ralph-Johan_Back abstract "Ralph-Johan Back is a Finnish computer scientist.Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, On the Correctness of Refinement Steps in Program Development. He has undertaken much subsequent research in this area. He has held positions at CWI Amsterdam, the Academy of Finland and the University of Tampere.Since 1983, he has been Professor of Computer Science at the Åbo Akademi University in Turku. For 2002–2007, he was an Academy Professor at the Academy of Finland. He is Director of CREST (Center for Reliable Software Technology) at Åbo Akademi.Back is a member of Academia Europaea.His wife, Barbro Back, is Professor of Information Systems, also at Åbo Akademi University, and he has three children.".
- Ralph-Johan_Back birthPlace Finland.
- Ralph-Johan_Back wikiPageExternalLink ~backrj.
- Ralph-Johan_Back wikiPageExternalLink index.php?page=Curriculum%20vitae.html&menu=4.
- Ralph-Johan_Back wikiPageID "2776139".
- Ralph-Johan_Back wikiPageLength "2192".
- Ralph-Johan_Back wikiPageOutDegree "23".
- Ralph-Johan_Back wikiPageRevisionID "660366303".
- Ralph-Johan_Back wikiPageWikiLink Academia_Europaea.
- Ralph-Johan_Back wikiPageWikiLink Academy_of_Finland.
- Ralph-Johan_Back wikiPageWikiLink Amsterdam.
- Ralph-Johan_Back wikiPageWikiLink Category:Finnish_computer_scientists.
- Ralph-Johan_Back wikiPageWikiLink Category:Formal_methods_people.
- Ralph-Johan_Back wikiPageWikiLink Category:Living_people.
- Ralph-Johan_Back wikiPageWikiLink Category:University_of_Helsinki_alumni.
- Ralph-Johan_Back wikiPageWikiLink Category:University_of_Tampere_faculty.
- Ralph-Johan_Back wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Ralph-Johan_Back wikiPageWikiLink Category:Åbo_Akademi_University_faculty.
- Ralph-Johan_Back wikiPageWikiLink Centrum_Wiskunde_&_Informatica.
- Ralph-Johan_Back wikiPageWikiLink Computer_scientist.
- Ralph-Johan_Back wikiPageWikiLink Doctor_of_Philosophy.
- Ralph-Johan_Back wikiPageWikiLink Finland.
- Ralph-Johan_Back wikiPageWikiLink PhD.
- Ralph-Johan_Back wikiPageWikiLink Refinement_(computing).
- Ralph-Johan_Back wikiPageWikiLink Refinement_calculus.
- Ralph-Johan_Back wikiPageWikiLink Turku.
- Ralph-Johan_Back wikiPageWikiLink University_of_Helsinki.
- Ralph-Johan_Back wikiPageWikiLink University_of_Tampere.
- Ralph-Johan_Back wikiPageWikiLink Åbo_Akademi_University.
- Ralph-Johan_Back wikiPageWikiLinkText "R-J Back".
- Ralph-Johan_Back wikiPageWikiLinkText "R.-J. Back".
- Ralph-Johan_Back wikiPageWikiLinkText "Ralph-Johan Back".
- Ralph-Johan_Back hasPhotoCollection Ralph-Johan_Back.
- Ralph-Johan_Back name "Back, Ralph-Johan".
- Ralph-Johan_Back placeOfBirth Finland.
- Ralph-Johan_Back shortDescription "Computer scientist".
- Ralph-Johan_Back wikiPageUsesTemplate Template:Authority_control.
- Ralph-Johan_Back wikiPageUsesTemplate Template:Compu-scientist-stub.
- Ralph-Johan_Back wikiPageUsesTemplate Template:DBLP.
- Ralph-Johan_Back wikiPageUsesTemplate Template:Fact.
- Ralph-Johan_Back wikiPageUsesTemplate Template:Finland-scientist-stub.
- Ralph-Johan_Back wikiPageUsesTemplate Template:More_references.
- Ralph-Johan_Back wikiPageUsesTemplate Template:Persondata.
- Ralph-Johan_Back wikiPageUsesTemplate Template:Reflist.
- Ralph-Johan_Back description "Computer scientist".
- Ralph-Johan_Back description "Computer scientist".
- Ralph-Johan_Back subject Category:Finnish_computer_scientists.
- Ralph-Johan_Back subject Category:Formal_methods_people.
- Ralph-Johan_Back subject Category:Living_people.
- Ralph-Johan_Back subject Category:University_of_Helsinki_alumni.
- Ralph-Johan_Back subject Category:University_of_Tampere_faculty.
- Ralph-Johan_Back subject Category:Year_of_birth_missing_(living_people).
- Ralph-Johan_Back subject Category:Åbo_Akademi_University_faculty.
- Ralph-Johan_Back hypernym Scientist.
- Ralph-Johan_Back type Agent.
- Ralph-Johan_Back type Article.
- Ralph-Johan_Back type List.
- Ralph-Johan_Back type Person.
- Ralph-Johan_Back type Scientist.
- Ralph-Johan_Back type Article.
- Ralph-Johan_Back type List.
- Ralph-Johan_Back type Method.
- Ralph-Johan_Back type Scientist.
- Ralph-Johan_Back type Person.
- Ralph-Johan_Back type Agent.
- Ralph-Johan_Back type NaturalPerson.
- Ralph-Johan_Back type Thing.
- Ralph-Johan_Back type Q215627.
- Ralph-Johan_Back type Q5.
- Ralph-Johan_Back type Person.
- Ralph-Johan_Back comment "Ralph-Johan Back is a Finnish computer scientist.Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, On the Correctness of Refinement Steps in Program Development. He has undertaken much subsequent research in this area.".
- Ralph-Johan_Back label "Ralph-Johan Back".
- Ralph-Johan_Back sameAs Ralph-Johan_Back.
- Ralph-Johan_Back sameAs m.08217h.
- Ralph-Johan_Back sameAs Q7287124.
- Ralph-Johan_Back sameAs Q7287124.
- Ralph-Johan_Back wasDerivedFrom Ralph-Johan_Back?oldid=660366303.
- Ralph-Johan_Back givenName "Ralph-Johan".
- Ralph-Johan_Back isPrimaryTopicOf Ralph-Johan_Back.
- Ralph-Johan_Back name "Back, Ralph-Johan".
- Ralph-Johan_Back name "Ralph-Johan Back".
- Ralph-Johan_Back surname "Back".