文章目录
- 非形式化
- 形式化
- 应用形式化的准则
- 有穷状态机
- Perl
-
- 加入禁止线
按形式化程度，可以将软件工程使用的方法分为：
应用形式化的准则
同时也可以用表格表示：
Perl
解决定时问题，尤其是那些有异步和并发活动的系统
当每个输入位置所拥有的权标数>=从该位置到转换的线数时，就允许转换
初始：
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！
软件工程—第四章—形式化分析
•
行业观察
微信抢 软件_微信的视频 出来小商店，是要抢购物平台的生意吗？
上一篇
2020年10月1日
Python：混合动力汽车能量管理_动态规划简版（2/2）
下一篇
2020年10月2日