“棱镜门”事件、中央网络安全与信息化领导小组的成立、政府机关禁止采购Win8操作系统等一系列事件引发了中国两亿计算机用户的思考,“没有信息化,就没有现代化;没有信息安全,就没有国家安全”。实现信息安全的必要条件就是实现关键性软硬件产品的国产化。一个民族,一个国家打造属于自己的技术创新体系,对于国家安全建设至为重要。
Z规范就是一种可以有效避免上述问题的研究成果,而且在工业界和学术界已经被一些成功的软件开发案例和监理实践验证。没有形式化描述,就建不成系统规范的软件产业。形式化Z规范能够为确保国产化软件工程实践准确度、可靠性、安全性提供严格的理论依据。