武威沈
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元33年] 伊奥尼斯·尼尔库 , 兰斯·拉斐尔科 , 瑞恩·菲利普斯 , 马修·安德森 , 武威沈 , 史蒂文·德拉格 :
自动驾驶汽车的保证案例驱动发展范式:F1TENTH赛车案例研究。 SERA公司 2023 : 156-161 2022 [公元32年] 玉龙堡 , 朱雪阳 , 张文辉 , 武威沈 , 孙鹏飞 , 赵颖琪 :
通过模型检查验证智能合约。 TASE公司 2022 : 92-112 2020 [公元31年] 林钟玲 , 武威沈 , 贝蒂·H·C·程 :
测量安全关键领域保证案例的可信度。 HICSS公司 2020 : 1-10
2010 – 2019
2018 [j7] 梁洪亮 , 裴晓晓 , 贾晓东 , 武威沈 , 张健(Jian Zhang) :
模糊:最新技术。 IEEE传输。 宗教信仰。 67 ( 三 ) : 1199-1218 ( 2018 ) [公元30年] 林钟玲 , 武威沈 , 史蒂文·德拉格 , 贝蒂·H·C·程 :
衡量安全关键领域中保证案例的可信度。 ICSE(近红外) 2018 : 13-16 [公元29年] 梁洪亮 , 胡文英 , 张怡妮 , 林江 , 武威沈 :
用途:统一和拆分执行,以暴露版本之间的差异。 ICSE(配套卷) 2018 : 386-387 [公元28年] 林钟玲 , 武威沈 , 陶月 , 李广元 :
自动支持保障案例的生成和维护。 设置 2018 : 11-28 2017 [j6] 林钟玲 , 武威沈 , 理查得·霍金 :
支持通过模型转换生成安全案例。 SIGBED版本。 14 ( 2 ) : 44-52 ( 2017 ) [公元27年] 武威沈 , 李广元 , 林钟玲 , 梁洪亮 :
建立支持建筑业合规检查的框架。 软着陆+MSVL 2017 : 111-122 2016 [j5] 赫克托·米格尔·查韦斯 , 沈武伟 , 罗伯特·B·法国 , 本杰明·A·梅克林 , 李广元 :
一种检查UML类模型及其Java实现之间一致性的方法。 IEEE传输。 软件工程。 42 ( 4 ) : 322-344 ( 2016 ) [公元26年] 林钟玲 , 武威沈 , 史蒂文·德拉格 :
支持生成和维护保障案例的框架。 ISSRE研讨会 2016 : 21-24 2015 [公元25年] 林钟玲 , 武威沈 :
应用安全案例模式生成安全关键系统的保证案例。 哈斯 2015 : 255-262 [第1页] 林钟玲 , 武威沈 :
医疗器械保险案例的生成。 计算机与信息科学 2015 : 127-140 2014 [公元24年] 劳拉·莫雷诺 , 约翰·约瑟夫·特雷德韦 , 安德里安·马库斯 , 武威沈 :
使用堆栈跟踪改进基于文本检索的错误定位。 国际中小企业联合会 2014 : 151-160 2013 【j4】 赫克托·米格尔·查韦斯 , 武威沈 :
OCL中UML组合的形式化。 Int.J.软件。 因诺夫。 1 ( 1 ) : 26-40 ( 2013 ) [c23] 武威沈 , 钟灵龄 , 安德里安·马库斯 :
在监管审查期间使用可追溯性链接来识别潜在的错误工件。 TEFSE@ICSE公司 2013 : 19-22 [公元22年] 赫克托·米格尔·查韦斯 , 沈武伟 , 罗伯特·B·法国 , 本杰明·梅奇林 :
一种根据UML类模型测试Java实现的方法。 模型 2013 : 220-236 【c21】 钟灵龄 , 武威沈 , 狄奥尼西奥斯·库坦尼斯 :
使用UML概要文件和OCL对安全关键系统施加监管要求。 SNPD公司 2013 : 356-361 2012 [j3] 刘少英 , 武威沈 , Shin Nakajima先生 :
在实践中测试程序的正式方法。 计算。 科学。 信息系统。 9 ( 4 ) : 1469-1491 ( 2012 ) [公元20年] 赫克托·米格尔·查韦斯 , 武威沈 :
OCL中UML组合的形式化。 ACIS-ICIS公司 2012 : 675-680 [第19条] 钟灵龄 , 沈武伟 , 狄奥尼西奥斯·库坦尼斯 :
将SOFL应用于普通胰岛素泵软件设计。 SOFL(软) 2012 : 116-132 2011 [第18条] 秋平易 , 刘健 , 武威沈 :
数据结构方法的高效循环扩展模型检查。 FGIT-ASEA/DRBC/EL公司 2011 : 237-249 2010 [第17条] 武威沈 , 金大奎 , 刘健 , 陈昭 :
支持设计模式的灵活具体化。 亚太经合组织 2010 : 127-136 [第16条] 陶秋明 , 魏武 , 陈昭 , 沈武伟 :
基于变形测试技术的编译器自动测试方法。 亚太经合组织 2010 : 270-279
2000 – 2009
2009 [注2] 武威沈 , 王坤(Kun Wang) , 亚历山大·埃吉德 :
一种有效且可扩展的类模型修正方法。 IEEE传输。 软件工程。 35 ( 4 ) : 515-533 ( 2009 ) [第15条] 赫克托·米格尔·查韦斯 , 武威沈 :
在采办项目级发现基于UML的组合的不一致性。 MiSE@ICSE 2009 : 32-37 [第14条] 赫克托·米格尔·查韦斯 , 武威沈 , 刘少英 :
一种检测基于UML的所有权违规的方法。 囊 2009 : 541-542 2008 [j1] 金大中 , 武威沈 :
评估UML模型的模式一致性:分而治之的方法和案例研究。 柔和。 资格。 J。 16 ( 三 ) : 329-359 ( 2008 ) [c13] 武威沈 , W·埃里克·王 :
灵活的面向方面的设计模型检查。 亚太经合组织 2008 : 537-544 [第12条] 武威沈 , 金大奎 :
ICER:在UML模型中查找错误的工具。 囊 2008 : 804-808 2007 [第11条] 王坤(Kun Wang) , 武威沈 :
提高UML类模型恢复的准确性。 压缩(1) 2007 : 387-390 [第10条] 金大奎 , 武威沈 :
一种评估UML模型结构模式一致性的方法。 囊 2007 : 1404-1408 【c9】 王坤(Kun Wang) , 武威沈 :
UML关联相关约束的运行时检查。 WODA@ICSE 2007 : 三 2005 【c8】 亚历山大·埃吉德 , 武威沈 , 王坤(Kun Wang) :
在UML类结构优化期间维护生命透视图。 FASE公司 2005 : 310-325 【c7】 武威沈 , 翁连洛 :
使用抽象状态机支持UML模型实例化检查。 IASTED软件工程会议 2005 : 100-105 【c6】 武威沈 , 翁良洛 :
使用元模型机制支持类细化。 ICECCS公司 2005 : 421-430 2004 [c5] 武威沈 , 莫森·圭扎尼 , 杨子江 , 凯文·康普顿 , 詹姆斯·哈金斯 :
软件开发中需求模型的执行。 IASSE公司 2004 : 203-208 2003 【c4】 武威沈 , 凯文·康普顿 , 詹姆斯·哈金斯 :
一种基于抽象状态机实现具有某些约束的UML虚拟机的方法。 亚太经合组织 2003 : 224- 【c3】 武威沈 , 刘少英 :
用例图的形式化、测试和执行。 国际有限元法 2003 : 68-85 2002 【c2】 武威沈 , 凯文·康普顿 , 詹姆斯·哈金斯 :
支持UML静态和动态模型检查的工具集。 COMPSAC公司 2002 : 147-152 2001 【b1】 武威沈 :
抽象状态机在软件工程中的应用。 美国密歇根大学, 2001 【c1】 武威沈 , 凯文·康普顿 , 詹姆斯·哈金斯 :
基于抽象状态机的UML验证工具集。 ASE公司 2001 : 315-318
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)