验证工具相关论文
深圳信息职业技术学院软件工程系,罗湖,深圳,中国摘要本文提出、设计并开发了一个对Web服务组合的验证的OWL-S的模型检验工具OWLSV......
随着综合模块化航空电子系统的发展及民机软件规模与复杂度的不断提升,大规模、多来源民机软件的多层次开发、增量式集成已经成为......
系统建模语言(Systems Modeling Language,SysML)的提出使得模型驱动开发(Model Driven Development,MDD)可以应用于系统工程领域......
上下文感知系统的广泛应用反映了其日益增长的市场需求和潜在的巨大经济效益。上下文感知系统通常是大型的、复杂的异构系统,开发......
循环程序的终止性分析是程序验证的重要组成部分。确保循环程序的终止是循环程序完全正确的必要条件。目前,用来证明程序终止性的......
模拟是通往通信半导体市场之钥,但无论是设计与验证工具目前都远远落后rn大约从20世纪80年代起,就有许多业内专家宣称模拟电路已走......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
不要忽略验证工具Mentor Graphics副总裁兼总经理Joseph Sawicki介绍了他们的最新产品,版图的寄生参数提取工具Calibre xACT3D,Jos......
