Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Ralph-Johan_Back> ?p ?o. }
Showing items 1 to 56 of
56
with 100 items 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.[citation needed]".
- Ralph-Johan_Back birthPlace Finland.
- Ralph-Johan_Back viafId "10022711".
- 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 wikiPageRevisionID "546294446".
- 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 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 type CausalAgent100007347.
- Ralph-Johan_Back type ComputerScientist109951070.
- Ralph-Johan_Back type ComputerUser109951274.
- Ralph-Johan_Back type FinnishComputerScientists.
- Ralph-Johan_Back type FormalMethodsPeople.
- Ralph-Johan_Back type LivingPeople.
- Ralph-Johan_Back type LivingThing100004258.
- Ralph-Johan_Back type Object100002684.
- Ralph-Johan_Back type Organism100004475.
- Ralph-Johan_Back type Person100007846.
- Ralph-Johan_Back type PhysicalEntity100001930.
- Ralph-Johan_Back type Scientist110560637.
- Ralph-Johan_Back type Whole100003553.
- Ralph-Johan_Back type YagoLegalActor.
- Ralph-Johan_Back type YagoLegalActorGeo.
- Ralph-Johan_Back type Agent.
- Ralph-Johan_Back type Person.
- Ralph-Johan_Back type Person.
- Ralph-Johan_Back type Q215627.
- Ralph-Johan_Back type Q5.
- Ralph-Johan_Back type Agent.
- Ralph-Johan_Back type NaturalPerson.
- Ralph-Johan_Back type Thing.
- 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 m.08217h.
- Ralph-Johan_Back sameAs Q7287124.
- Ralph-Johan_Back sameAs Q7287124.
- Ralph-Johan_Back sameAs Ralph-Johan_Back.
- Ralph-Johan_Back wasDerivedFrom Ralph-Johan_Back?oldid=546294446.
- 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".