Ib Holm Sørensen とは

Ib HolmSørensen博士(1949-2012)は、Z表記法とB法に貢献したコンピュータ科学者でした。
元々デンマーク出身のIbSørensenは、1970年代にオーフス大学で学業を始め、DECSystem-10コンピュータで動作するRikke-Mathildaマイクロアセンブラとシミュレータに携わっていました。
1979年、Sørensenは英国のOxford University Computing Laboratory(現オックスフォード大学コンピュータサイエンス学科)の一員であるProgramming Research Groupに参加しました。そこではJean-Raymond Abrialなどと協力して、正式な仕様言語Zの早期開発に貢献しました。オックスフォード大学からDPhilの学位を取得し、Zについての仕様書ケーススタディの共著者でした。 1987年に初めて出版された(1993年の第2版)。
ソレンセンは、1980年代後半から、有力な形式的方法であるB法の開発の中心でした。彼はオックスフォード大学を離れ、Bアプローチのツールサポートを提供するためにBツールを開発しているBPのチームを指揮しました。その後、B-Toolkitの使用をサポートするために設計されたプログラミングツールのセットであるB-ToolkitをサポートするB-Core(UK)Limited社を設立し、B関連プロジェクトを実施しました。
LatterlySørensenはオックスフォード大学に戻りました。 1999年からは、Bベースのブースターモデルの要件に取り組んだ。彼は引退する前に2012年に亡くなりました。