Иб Холм Сёренсен - Ib Holm Sørensen

Доктор Иб Холм Сёренсен (1949–2012) болды а информатик кім үлес қосты Z белгісі және B әдісі.[1]

Бастапқыдан Дания, Ибн Соренсен академиялық мансабын 1970 жылдары бастайды Орхус университеті, онда ол Рикке-Матильдада жұмыс істеді микроассемблерлер және тренажерлар жүгіру DECSystem-10 компьютер.[2]

1979 жылы Соренсен құрамына кірді Бағдарламалау ғылыми-зерттеу тобы, Оксфорд университетінің есептеу зертханасының бөлігі (қазір Оксфорд университетінің компьютерлік ғылымдар бөлімі ) Англия. Онда ол бірге жұмыс істеді Жан-Раймонд Абриал және басқалары, ерте дамуына үлес қосады ресми спецификация тіл Z. Ол a DPhil дәрежесі Оксфорд университеті[3] және семиналдың тең авторы болды Ерекшеліктер алғаш рет 1987 жылы жарық көрген Z туралы кітап (екінші басылым 1993 ж.).[4]

1980 жылдардың аяғынан бастап Соренсен B-әдісін дамытуда орталық болды, жетекші болды формальды әдіс. Ол кетіп қалды Оксфорд университеті командасын басқару BP дамыту B құралы B тәсілі үшін құрал-саймандарды қолдау. Содан кейін ол B-Core (UK) Limited компаниясын құрды[5] қолдау B-құралдар жинағы,[6] B-құралын пайдалануды қолдауға және B-ге қатысты жобаларды жүзеге асыруға арналған бағдарламалау құралдарының жиынтығы.

Соңғы Соренсен Оксфорд университетіне оралды. 1999 жылдан бастап ол В-да жұмыс істеді Бустер талаптардың модельдері. Ол 2012 жылы зейнетке шыққанға дейін қайтыс болды.[1]

Әдебиеттер тізімі

  1. ^ а б Розко, Билл (8 ақпан 2012). «Иб Соренсен - естелікте». Оксфорд университетінің компьютерлік ғылымдар бөлімі, Ұлыбритания. Алынған 22 ақпан, 2012.
  2. ^ Соренсен, Иб Холм; Кресс, Эрик (желтоқсан 1977). DECSystem-10 жүйесіндегі RIKKE-MATHILDA микроассемблерлері мен тренажерлері (PDF). DAIMI MD-28. Орхус университеті, Дания.
  3. ^ Соренсен, Иб Холм (1981). Бағдарламаны нақтылау және жобалау тақырыптары: таратылған жүйелерді нақтылау және жобалау. Вольфсон колледжі, Оксфорд университеті, Ұлыбритания.
  4. ^ Хейз, Ян, ред. (1993). Ерекшеліктер (PDF) (2-ші басылым). Компьютерлік ғылымдардағы Prentice Hall халықаралық сериясы. ISBN  978-0-13-832544-2.
  5. ^ «B-Core (UK) Limited». www.cdrex.com. Компания деректері. Алынған 22 ақпан, 2012.
  6. ^ «B-инструмент». B-Core (Ұлыбритания) Limited. 2004. мұрағатталған түпнұсқа 2004 жылғы 12 қазанда. Алынған 22 ақпан, 2012.

Сыртқы сілтемелер