Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7287124> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Q7287124 subject Q3919876.
- Q7287124 subject Q5312304.
- Q7287124 subject Q7031573.
- Q7287124 subject Q8466127.
- Q7287124 subject Q8884614.
- Q7287124 subject Q8959723.
- Q7287124 subject Q9407921.
- Q7287124 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.".
- Q7287124 wikiPageExternalLink ~backrj.
- Q7287124 wikiPageExternalLink index.php?page=Curriculum%20vitae.html&menu=4.
- Q7287124 wikiPageWikiLink Q1054410.
- Q7287124 wikiPageWikiLink Q1544881.
- Q7287124 wikiPageWikiLink Q28695.
- Q7287124 wikiPageWikiLink Q33.
- Q7287124 wikiPageWikiLink Q337234.
- Q7287124 wikiPageWikiLink Q3417382.
- Q7287124 wikiPageWikiLink Q38511.
- Q7287124 wikiPageWikiLink Q3919876.
- Q7287124 wikiPageWikiLink Q414422.
- Q7287124 wikiPageWikiLink Q5312304.
- Q7287124 wikiPageWikiLink Q7031573.
- Q7287124 wikiPageWikiLink Q727.
- Q7287124 wikiPageWikiLink Q7307205.
- Q7287124 wikiPageWikiLink Q752297.
- Q7287124 wikiPageWikiLink Q82594.
- Q7287124 wikiPageWikiLink Q8466127.
- Q7287124 wikiPageWikiLink Q8884614.
- Q7287124 wikiPageWikiLink Q8959723.
- Q7287124 wikiPageWikiLink Q917874.
- Q7287124 wikiPageWikiLink Q9407921.
- Q7287124 type Thing.
- Q7287124 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.".
- Q7287124 label "Ralph-Johan Back".