约束验证相关论文
SMP是欧航局(ESA)基于模型驱动架构(MDA)的思想提出的仿真模型规范,致力于实现仿真模型的可移植性和可重用性。模型设计对仿真应用......
Web应用系统已成为当前的主流网络应用，为用户提供电子商务、电子邮件、在线新闻、网络社区等类型多样的服务。Web应用具有异构性、......
UML是一种通用的可视化建模语言，用于对软件进行描述、可视化处理、构建软件系统的文档。作为UML标准的一部分，对象约束语言(Object ......
为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码（即OCL约束对应的可执行Java代码）插入的简单方案和封装方法存在......
随着半导体工艺技术的不断进度,沟道尺寸的不断缩小,65纳米和45纳米已成为主流的工艺技术,并向着32和22纳米向前发展。然而,由于工......
学位
