Ib Holm Sørensen - Ib Holm Sørensen

Dr. Ib Holm Sørensen (1949–2012) bir bilgisayar uzmanı kim katkıda bulundu Z notasyonu ve B-Metodu.[1]

Başlangıçta Danimarka Ib Sørensen akademik kariyerine 1970'lerde Aarhus Üniversitesi Rikke-Mathilda'da çalıştığı yer mikro montajcılar ve simülatörler üzerinde koşmak DECSystem-10 bilgisayar.[2]

1979'da Sørensen, Programlama Araştırma Grubu Oxford Üniversitesi Bilgisayar Laboratuvarı'nın bir parçası (şimdi Oxford Üniversitesi Bilgisayar Bilimleri Bölümü ) içinde İngiltere. Orada çalıştı Jean-Raymond Abrial ve diğerleri, erken gelişimine katkıda bulunarak resmi şartname dil Z. DPhil derece Oxford Üniversitesi[3] ve seminal'in ortak yazarıydı Şartname Örnek Olay İncelemeleri Z üzerine kitap, ilk olarak 1987'de yayınlandı (1993'te ikinci baskısı).[4]

1980'lerin sonlarından itibaren Sørensen, önde gelen B-Metodu'nun geliştirilmesinde merkezi bir rol oynadı. resmi yöntem. O ayrıldı Oxford Üniversitesi bir takıma liderlik etmek BP geliştirmek B-Aracı B yaklaşımı için araç desteği sağlamak. Daha sonra B-Core (UK) Limited şirketini kurdu.[5] desteklemek için B-Araç Seti,[6] B-Aracının kullanımını desteklemek ve B ile ilgili projeleri üstlenmek için tasarlanmış bir dizi programlama aracı.

Son zamanlarda Sørensen Oxford Üniversitesi'ne döndü. 1999'dan itibaren B tabanlı Yükseltici ihtiyaç modelleri. 2012 yılında emekli olamadan öldü.[1]

Referanslar

  1. ^ a b Roscoe, Bill (8 Şubat 2012). "Ib Sorensen - Anısına". Bilgisayar Bilimleri Bölümü, Oxford Üniversitesi, İngiltere. Alındı 22 Şubat 2012.
  2. ^ Sørensen, Ib Holm; Kresse, Eric (Aralık 1977). DECSystem-10'daki RIKKE-MATHILDA mikro montajları ve simülatörler (PDF). DAIMI MD-28. Aarhus Üniversitesi, Danimarka.
  3. ^ Sørensen, Ib Holm (1981). Program şartnamesinde ve tasarımında konular: dağıtılmış sistemlerin spesifikasyonu ve tasarımı. Wolfson Koleji, Oxford Üniversitesi, İngiltere.
  4. ^ Hayes, Ian, ed. (1993). Şartname Örnek Olay İncelemeleri (PDF) (2. baskı). Prentice Hall Uluslararası Bilgisayar Bilimleri Dizisi. ISBN  978-0-13-832544-2.
  5. ^ "B-Core (UK) Limited". www.cdrex.com. Şirket Verileri Rex. Alındı 22 Şubat 2012.
  6. ^ "B-Toolkit". B-Core (UK) Limited. 2004. Arşivlenen orijinal 12 Ekim 2004. Alındı 22 Şubat 2012.

Dış bağlantılar