实验设备管理软件形式化描述方法研究

作者：章昱; 邹成武软件形式化z语言设备管理

摘要：针对常规的软件描述方法不够严谨,本文介绍了软件形式化方法的特点和技术类别,介绍了Z语言的表达方式及其各自的特点。然后本文使用Z语言分析了实验设备管理软件,给出了部分形式化分析结果。结果表明,Z语言能够将数理逻辑完备用于的描述软件的功能,有效避免描述的模糊性。

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