1 In a number of recent presentations most notably at FME 96 oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare, has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy, not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal...
1 In a number of recent presentations most notably at FME 96 oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare, has highlighted...
Seit langem bestand die Absicht, den Inhalt der Vorlesungen, die ich seit etlichen Jahren an der Ruhr-Universitat Bochum iiber nachrichtentechnische Systeme halte, in angemessen erweiterter Gestalt als Buch verfiigbar zu machen. Leider hat sich die Ver wirklichung dieses Plans wegen der groBen Fiille anderer Verpflichtungen immer wieder verzogert, und auch jetzt habe ich gegeniiber meinen urspriinglichen Vorstellungen, wie ein solches Buch aussehen sollte, stark zuriickstecken miissen, damit es zumindest in der vorliegenden Fassung erscheinen kann. Es ist zunachst als Begleittext fiir unsere...
Seit langem bestand die Absicht, den Inhalt der Vorlesungen, die ich seit etlichen Jahren an der Ruhr-Universitat Bochum iiber nachrichtentechnische S...
