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

作　　者：章昱 邹成武[1] 

机构地区：[1]江西师范大学,江西省南昌市330022 [2]上海大学,上海市200444

出　　处：《电子技术与软件工程》2017年第21期41-43,共3页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

基　　金：编号为5489校级课题江西师范大学青年成长基金(自然科学类)的资助

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

关 键 词：软件形式化 Z语言 设备管理 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]