基于Z语言的形式化需求分析

作者：王迤冉; 王春霞需求分析形式化方法z语言状态模式规格说明前置条件

摘要：介绍了形式化方法和形式化规格说明语言Z语言，利用Z语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能．利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理．

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社