论文部分内容阅读
利用目前使用最为广泛的形式化验证语言VDM＋＋在描述系统模型的语法和语义上的精确、一致的特点，结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM＋＋表示，从而实现对UML类模型中所包含的各个元素进行语法和语义的检查，进一步提高UML的建模质量．
UML类模型的VDM＋＋形式化规约
【摘 要】
：
利用目前使用最为广泛的形式化验证语言VDM＋＋在描述系统模型的语法和语义上的精确、一致的特点，结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM＋＋表示，从而实现
【机 构】
：
贵州大学计算机科学与信息学院,贵州商业高等专科学校计算机科学与技术系,贵州省可靠性工程中心
【出 处】
：
微电子学与计算机
【发表日期】
：
2012年6期
其他文献
针对传统谱聚类算法初始化敏感引起的聚类效率与正确率不稳定问题,给出一种改进的谱聚类算法.该算法首先构造Laplacian矩阵并得到其特征谱空间,然后引入粒子群优化的FCM算法
文章参照ASTME2491-2008标准，通过试验测试相控阵探头在不加装楔块以及加装横波斜楔块两种情况下声柬在工件中的聚焦特性以及偏转特性。试验变换了激发晶片数量、聚焦深度以及
萨拉索塔地区的宽吻海豚5岁左右便进入青春期,再过几年便进入热恋期。雄海豚一旦性成熟,便主动伸出橄榄枝,迫不及待地游入雌海豚活动的领域,谈情说爱。但海豚只能作一日的夫
针对P2P僵尸网络的特点,将隐马尔可夫模型应用于P2P僵尸网络检测技术中.首先根据当前僵尸网络的发展状况及存在的问题分析了P2P僵尸网络的生命周期和行为特征;然后对僵尸主机
文章针对新形势下大学英语教学在高校中的重要地位,从理论与实践的结合上阐述了在大学英语教学中渗透和强化思想品德教育的必要性、有利条件和途径.
针对ODMRP协议在拓扑频繁变化的移动自组网中存在的不足,提出一种贪婪稳定路由协议GS-ODMRP,通过贪婪转发机制建立主路径,每条链路的备用路径基于链路保持连接时间建立,从而
高校思想政治工作者承担着对学生进行思想政治教育的重任，提高自身素质，是增强学生思想政治工作有效性的关键。为此，思想政治工作者提高自身素质，是一项十分紧迫的任务。要自觉加
本文在分析现有相关研究基础上，提出了基于参数相似度的信息类Web服务组合方法，详细描述了基于本体的方法得到词汇相似度和基于人工智能规划（AIPlanning）的自动信息类Web服务组合
为解决分布式开放系统中具有不确定性、不对称性、部分传递性和时空衰减性等一系列复杂的动态属性的信任关系定量表示和预测问题，基于灰聚类理论构建了8等级信任评价模型，进而
重点分析了宁波1990—1998年的气候条件和变化趋势，从中发现日照数呈下降趋势，而年均气温呈上升趋势，这些变化加上气候灾害对农作物生产影响严重．据此现象，提出在种植结构调整过程