1. 形式化方法与软件工程； 2. 形式化方法的特点与工程困境； 3. 形式化方法在需求工程中的应用； 4. 总结与探讨。
已有351人学习
1. 单元测试； 2. Verification & Validation； 3. 非功能需求； 4. 函数调用覆盖率及函数覆盖率； 5. 功能安全对覆盖率的要求； 6. 成功的功能安全必做事项。
已有1423人学习
形式化方法在需求工程中的应用
从1开始快速了解功能安全系列
已完成
数据加载中
