扫一扫
分享文章到微信
扫一扫
关注官方公众号
至顶头条
作者：Builder.com 2007年3月2日
关键字：
即使是最重视质量控制的项目经理（PM）也不会期望他们的开发团队能够交付绝对没有任何缺陷的无错产品。每一批新软件或者系统都要求“试验航行”，即使是在日程安排很紧张且风险很高的时候。
但是如果你正在为医疗设施或者救援就构设计软件，而你所交付的这些产品将负责拯救人的生命，那又会怎么样呢？在这种情况下，这就迫使你甚至在开始开发之前就要尽可能的排除掉可能存在的产品缺陷，而不论未来的产品检测会有多么全面和严格。
《更深入地；了解形式化方法开发的原则和优势》一文为软件开发定下了严格的指导方针，它将指导你在开始编写代码之前就寻找可能存在的问题。看看你能够如何把形式化方法应用到自己的开发上，然后了解一下如何在错误关乎生命安全的时候降低错误发生的几率。
如果您非常迫切的想了解IT领域最新产品与技术信息，那么订阅至顶网技术邮件将是您的最佳途径之一。
现场直击｜2021世界人工智能大会
直击5G创新地带，就在2021MWC上海
5G已至 转型当时——服务提供商如何把握转型的绝佳时机
寻找自己的Flag
华为开发者大会2020（Cloud）- 科技行者
京公网安备 11010802021500号