数据求精相关论文
该课题组将结构化方法、面向对象的方法以及形式方法的优点结合起来,提出了一种新的软件需求规格说明语言——SOZRSL(Structure Ob......
学位
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术.规范语言的求精过程可分为数据求精和过程求精.从面向模型的规......
目前数据迷惑通常是针对单一具体的数据结构,为了将相同的迷惑方法应用于不同的数据结构,提出了将迷惑看作数据求精,认为迷惑是一......
提出一种改进的数据求精规则，并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出，允许非平凡的初始化，允许前向模拟......
近年来,Java语言得到广泛的应用,由于Java目标代码—字节码(bytecode)中包含了大部分的源码结构等信息,很容易被反编译成Java源码,......
