M. Broy

1949

• Software pioneers
• Künstliche Intelligenz
• Calculational system design
• Deductive program design
• Formal methods in programming and their applications
• Formal systems specification
• Informatikforschung in Deutschland
• KORSO
• Mathematical methods in program development
• Methods of programming
• Model-based testing of reactive systems
• Perspectives of system informatics