From Object-Orientation to Formal Methods 87 Die Humanwissenschaften und die Phänomenologie

Die Humanwissenschaften und die Phänomenologie

dass die erbrechtlichen Regeln und Begrifflichkeiten Laien regelmäßig nicht oder nur wenig bekannt sind und trotzdem letztwillige Verfügungen oft ohne juristische Beratung abgefasst werden

konkrete Übungen mit auf unseren Weg gibt

OUo POlJl Vorwort

In der vorliegenden Arbeit soll nun der Frage nachgegangen werden

From Object-Orientation to Formal Methods 87 Die Humanwissenschaften und die PhänomenologieAfter Ole Johans retirement at the beginning of the new millennium, some of us had thought and talked about making a Festschrift in his honor. When Donald Knuth took the initiative by sending us the ? rst contribution, the p cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent