软件的可靠性差和开发效率低一直是困扰软件产业界的两大难题。而用形式化方法开发软件一直认为是提高软件可靠性和软件生产率的重要途径，是实现软件开发自动化的关
电脑知识与技术2010年26期
1《师道·教研》2024年10期
2《思维与智慧·上半月》2024年11期
3《现代工业经济和信息化》2024年2期
4《微型小说月报》2024年10期
5《工业微生物》2024年1期
6《雪莲》2024年9期
7《世界博览》2024年21期
8《中小企业管理与科技》2024年6期
9《现代食品》2024年4期
10《卫生职业教育》2024年10期
