| 词条 | Ralph-Johan Back |
| 释义 |
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.[1] His wife, Barbro Back, is Professor of Information Systems, also at Åbo Akademi University, and he has three children.{{citation needed|date=January 2013}} References1. ^1 {{cite web|url=http://www.ae-info.org/ae/User/Back_Ralph-Johan | title=Ralph-Johan Back | publisher=Academia Europaea | accessdate=20 January 2013 }} External links
8 : Year of birth missing (living people)|Living people|University of Helsinki alumni|Centrum Wiskunde & Informatica faculty|University of Tampere faculty|Åbo Akademi University faculty|Finnish computer scientists|Formal methods people |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。