11、OCL与关键系统开发工作坊：现状与未来挑战

OCL与关键系统开发工作坊：现状与未来挑战

重要人物介绍

在软件开发与研究领域，有几位重要人物值得关注：
- J. Bézivin ：2002 年成为德累斯顿工业大学计算机科学的全职教授，自 2003 年 3 月起，担任慕尼黑大学（LMU）计算机科学（媒体信息学）的全职教授。他参与了 10 多个软件工程和电信领域的国家及国际项目，发表了 50 多篇科学出版物，包括三本国际出版的书籍。自 1999 年起成为 UML 会议程序委员会成员，2003 年起成为指导委员会成员，并担任 2002 年德累斯顿 UML 会议的主席。
- Octavian Patrascoiu ：学术生涯初期专注于编程语言和语言处理器，出版了四本关于编程语言、编程技术和编程语言处理器的书籍，并在众多会议上发表研究论文。近年来，他转向开发用于软件质量评估、软件建模和代码生成的软件工具，与 IBM、Verilog、Telelogic 和 TLC 等软件公司有合作。
- Peter H. Schmitt ：拥有海德堡大学的数学文凭和博士学位，当时的主要研究贡献在数理逻辑和泛代数领域。1985 - 1988 年为 IBM 德国公司工作，自 1988 年起成为卡尔斯鲁厄大学理论计算机科学的全职教授。1994 - 2000 年担任德国计算机科学协会（GI）逻辑与计算机科学特别兴趣小组主席，自 1998 年起成为 SCHLOSS DAGSTUHL（国际计算机科学会议和研究中心）科学理事会成员。他参与了众多国家和国际的自动推理和非经典逻辑研究项目，发表了约 50 篇科学论文，编写了一本关于逻辑编程理论的教科书，并共同编辑了三卷本的自动