条件查询论文

逻辑表达式型似然不变量的分析与检测
论文摘要迄今为止,计算机软件系统虽然仅仅只有短短的几十年历史,但是已经成为最广泛、最重要的应用系统之一。从而软件的质量成为人们目前广泛关注、高度重视的热点问题之一。众所周知,基...
基于数据库的简单非函数依赖程序不变量动态检测
论文摘要迄今为止,计算机软件系统虽然仅仅只有短短的几十年历史,但是已经成为最广泛、最重要的应用系统之一。从而软件的质量成为人们目前广泛关注、高度重视的热点问题之一。基于合约的程...