约束验证相关论文
SMP是欧航局(ESA)基于模型驱动架构(MDA)的思想提出的仿真模型规范,致力于实现仿真模型的可移植性和可重用性。模型设计对仿真应用......
UML是一种通用的可视化建模语言，用于对软件进行描述、可视化处理、构建软件系统的文档。作为UML标准的一部分，对象约束语言(Object ......
为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码（即OCL约束对应的可执行Java代码）插入的简单方案和封装方法存在......
模糊测试是重要的二进制漏洞挖掘方法。近些年来学术界尝试将模糊测试与污点传播、协议逆向、基因算法等技术相结合以提高其针对性......
随着半导体工艺技术的不断进度,沟道尺寸的不断缩小,65纳米和45纳米已成为主流的工艺技术,并向着32和22纳米向前发展。然而,由于工......
学位
