Ib Xolm Syorsen - Ib Holm Sørensen

Doktor Ib Xolm Syorsen (1949–2012) a kompyutershunos ga hissa qo'shgan Z belgisi va B usuli.[1]

Dastlab Daniya, Ib Sorensen akademik faoliyatini 1970-yillarda boshlagan Orxus universiteti, u erda Rikke-Matilda ishlagan mikroassemblerlar va simulyatorlar yugurish DECSystem-10 kompyuter.[2]

1979 yilda Sørensen qo'shildi Dasturlash tadqiqot guruhi, Oksford universiteti hisoblash laboratoriyasining bir qismi (hozir Oksford universiteti kompyuter fanlari bo'limi ) ichida Angliya. U erda u ishlagan Jan-Raymond Abrial va boshqalar, erta rivojlanishiga hissa qo'shgan rasmiy spetsifikatsiya til Z. U a DP daraja Oksford universiteti[3] va seminalning hammuallifi edi Texnik shartlar birinchi marta 1987 yilda nashr etilgan Z haqidagi kitob (1993 yilda ikkinchi nashr).[4]

1980-yillarning oxiridan boshlab Sørensen B uslubini ishlab chiqishda markaziy o'rinni egalladi rasmiy usul. U ketdi Oksford universiteti da jamoani boshqarish BP rivojlanayotgan B vositasi B yondashuvi uchun vositalarni qo'llab-quvvatlashni ta'minlash. Keyin u B-Core (Buyuk Britaniya) Limited kompaniyasiga asos solgan[5] qo'llab-quvvatlash uchun B-vositalar to'plami,[6] B-Tool-dan foydalanishni qo'llab-quvvatlash va B bilan bog'liq loyihalarni amalga oshirish uchun mo'ljallangan dasturiy vositalar to'plami.

Oxirgi Sørensen Oksford universitetiga qaytib keldi. 1999 yildan boshlab u B asosida ishlaydi Booster talablar modellari. U nafaqaga chiqishga ulgurmasdan, 2012 yilda vafot etdi.[1]

Adabiyotlar

  1. ^ a b Roscoe, Bill (2012 yil 8 fevral). "Ib Sorensen - xotirada". Oksford universiteti kompyuter fanlari bo'limi, Buyuk Britaniya. Olingan 22 fevral, 2012.
  2. ^ Sorensen, Ib Xolm; Kress, Erik (1977 yil dekabr). DECSystem-10-dagi RIKKE-MATHILDA mikroassemblerlari va simulyatorlari (PDF). DAIMI MD-28. Orxus universiteti, Daniya.
  3. ^ Sørensen, Ib Holm (1981). Dastur spetsifikatsiyasi va dizaynidagi mavzular: tarqatilgan tizimlarning spetsifikatsiyasi va dizayni. Volfson kolleji, Oksford universiteti, Buyuk Britaniya.
  4. ^ Xeys, Yan, ed. (1993). Texnik shartlar (PDF) (2-nashr). Kompyuter fanlari bo'yicha Prentice Hall xalqaro seriyasi. ISBN  978-0-13-832544-2.
  5. ^ "B-Core (Buyuk Britaniya) Limited". www.cdrex.com. Kompaniya ma'lumotlari Rex. Olingan 22 fevral, 2012.
  6. ^ "B-Toolkit". B-Core (Buyuk Britaniya) Limited. 2004. Arxivlangan asl nusxasi 2004 yil 12 oktyabrda. Olingan 22 fevral, 2012.

Tashqi havolalar