10.05.2004, 00:00 Uhr
Abrial ist Gastprofessor an der ETH
Das Departement Informatik der ETH Zürich hat den französischen Softwarespezialist Jean-Raymond Abrial als Gastprofessor gewinnen können.
Abrial ist der Vater der Z Formal Specification Language und der so genannten B-Methode, die zur Konstruktion von Industriesystemen zum Einsatz kommt. Im weiteren ist Abrial Autor von "The B Book"
