10.3969/j.issn.1000-1220.2002.06.024
一种结构化形式化说明的方法
形式化方法使用数学符号来描述系统的性质,它具有精确性、无二义性和一致性等优点.这些优点使形式化方法在安全性要求很高的情况和大型系统中得到了广泛的应用.但用形式化方法书写的系统规格说明往往是冗长而乏味的,为了帮助开发人员书写和理解形式化说明,需要一种结构化的方法来分解、组织形式化说明,使之具有灵活性和可管理性并具有良好的风格.
Z、形式化说明、框架
23
TP311(计算技术、计算机技术)
国家高技术研究发展计划863计划
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
736-738