From Object-Orientation to Formal Methods, Fachbücher von Tom Lyche, Stein Krogdahl, Olaf Owe

"From Object-Orientation to Formal Methods" ist ein Fachbuch, das als Hommage an Ole-Johan Dahl, einen Pionier der objektorientierten Programmierung, konzipiert wurde. Das Buch vereint Beiträge von renommierten Forschenden, die Ole-Johan während seiner Karriere gekannt haben. Es entstand aus dem Wunsch heraus, seine Errungenschaften zu würdigen und seine 70. Geburtstagsfeier zu feiern. Die Beiträge decken verschiedene Aspekte der objektorientierten Programmierung und formalen Methoden ab und reflektieren die Entwicklungen in diesen Bereichen. Die Herausgeber Olaf Owe, Stein Krogdahl und Tom Lyche haben eine Sammlung von Essays zusammengestellt, die sowohl historische als auch technische Perspektiven bieten. Dieses Buch ist nicht nur eine Würdigung von Ole-Johan, sondern auch eine wertvolle Ressource für Studierende und Fachleute, die sich mit den Grundlagen und Fortschritten in der Softwareentwicklung auseinandersetzen möchten.