虚拟UML swMATH ID: 9471 软件作者: 利利乌斯,J。;帕尔特,I.P。 说明: vUML:用于验证UML模型的工具。统一建模语言(UML)是描述面向对象软件设计的标准化符号。我们提出了vUML,这是一个自动验证UML模型的工具,其中对象的行为是使用UML状态图描述的。该工具使用SPIN模型检查器执行验证,但用户不必知道如何使用SPIN或PROMELA语言。如果在验证过程中发现错误,该工具将创建一个UML序列图,显示如何在模型中重现错误。 主页: http://ieeexplore.iee.org/xpl/login.jsp?tp=&arnumber=802301 相关软件: 自旋蛋白;沟槽;班德拉;进展;检查VML;Uppaal公司;克洛诺斯;周六4j;ASM工作台;普罗米拉;磁粉探伤;安全UML;dSPIN公司;gnuplot卫星;veriSoft软件;茂物;凯伊;SOCLE公司;Cadence SMV公司;摩卡 引用于: 10文件 全部的 前5名被31位作者引用 1 克里斯蒂安·阿提奥贝 1 卢西亚诺·巴雷西 1 卡德,莫菲 1 董伟 1 奥斯马·马奇·多斯桑托斯 1 费尔南多·路易斯·多蒂 1 卢西亚娜·福斯 1 佩特拉·考夫曼 1 马丁·克罗内格 1 李克平 1 何塞·曼纽尔·梅拉 1 约翰·马林斯 1 拉韦卡Oarga 1 毛罗·佩泽尔 1 安德烈亚斯·普范德勒 1 帕斯卡·波扎特 1 戚志昌 1 瓦希德·拉夫 1 阿德尔·拉赫曼尼(Adel T.Rahmani)。 1 莱拉·里贝罗 1 彼得·萨弗雷 1 格温·萨拉恩 1 马蒂娜·塞德尔 1 唐涛 1 Dániel的Varró 1 王,季 1 马格达莱娜·维德尔 1 徐天华 1 张燕 1 赵琳 1 朱,李 4篇连载文章中引用 1 计算机程序设计科学 1 计算机语言、系统和结构 1 浙江大学学报。科学A 1 科学中国。技术科学 在2个字段中引用 10 计算机科学(68至XX) 1 系统论;控制(93至XX) 按年份列出的引文