登陆
注册
形式化方法的工程化及国产工具研发与应用
有603人正在学习
上海控安
2023-07-07 11:48
1. 软件工程与形式化方法简介
2. 形式化方法在工程中落地的机遇与挑战
3. 形式化工程方法的实践案例
……
冯劲草
冯劲草，华东师范大学软件工程学院博士，上海控安可信软件创新研究院副院长、系统建模组总监。主要研究方向为形式化方法和需求工程，擅长以系统化的工程方法引导工程人员构建高质量的软件需求模型。曾参与多项形式化方法在工业领域的应用项目，包括与航空领域的商用航空发动机有限公司合作进行的发动机控制软件需求建模的形式化工程方法研究与合作，轨道交通领域的卡斯柯信号有限公司的自动列车防护软件的形式化建模与分析。目前正在从事基于数据流的可视化建模分析与验证工具的研究和产品化开发工作。
