分享到:

一种函数分割型程序设计规范描述——FDP程序的正确性验证

FDP 是一种函数分割型程序设计规范描述手法。我们把按此法进行描述的设计规  (本文共8页) 阅读全文>>

《计算机科学》1990年01期
计算机科学

面向对象的规范描述及转换

本文基于抽象数据类型提出了一种规范描述语言,该语言以多相代数作为其数学模型,...  (本文共5页) 阅读全文>>

《军事运筹与系统工程》2012年03期
军事运筹与系统工程

作战任务细化与规范描述研究

信息化战争中联合作战多类任务如何进行细化和统一表示,保证多作战主体快速受领任务、共同理解任务、协同高效地实施作战行动,是一个迫切需要解决的难...  (本文共4页) 阅读全文>>

《华南国防医学杂志》2013年03期
华南国防医学杂志

统计学处理规范描述

应说明研究设计的名称和主要做法,用均数±标准差(x珚±s)表达近似服从正态分布的...  (本文共1页) 阅读全文>>

《计算机工程》2010年16期
计算机工程

基于文件规范描述的文件模糊测试

针对传统文件测试效率不高、存在功能遗漏的缺点,提出一种基于文件规范描述的文件模糊测试方法。给出基于文件规范的文件...  (本文共3页) 阅读全文>>

《小型微型计算机系统》1970年50期
小型微型计算机系统

直观的函数分割型程序设计系统VFDP

本文提出一种直观的函数分割型程序设计系统VFDP。该系统向用户提供一种直观化的规范描述语言,即使对于非职业软...  (本文共7页) 阅读全文>>