formal methods in software engineering
...知识体系SEEK(Software EngineeringEducation Knowledge)中，“软件工程的形式化方法”(Formal Methods in Software Engineering)被列为一门核心课程(序列号为SE313)。CCSE最终报告的推出对计算机学科相关专业的形式化方法教育产生了重要的影响。
基于12个网页-相关网页
formal methods in software engineering
软件工程中的形式化方法
以上为机器翻译结果，长、整句建议使用 人工翻译 。