EDITORIAL: Formale Methoden in der Praxis

M. Broy
DOI: https://doi.org/10.1524/itit.1997.39.3.5
Abstract:V Professor Dr. Manfred Broy ist Ordinarius für Informatik an der Technischen Universität München. Sein Hauptarbeitsgebiet sind Methoden der Anforderungsmodellierung und der systematischen Entwicklung komplexer Systeme. Er arbeitet in Grundlagenprojekten und in Industriekooperationsprojekten an einer wissenschaftlichen Fundierung des Software-Engineerings. 1994 wurde er für seine wissenschaftlichen Arbeiten mit dem Leibnizpreis der Deutschen Forschungsgemeinschaft ausgezeichnet.
What problem does this paper attempt to address?