停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

第二届SEFM 2004：中国北京

>主页 >会议和研讨会 >SEFM公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - 2004年会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/2004
第二届软件工程与形式化方法国际会议（SEFM 2004），2004年9月28日至30日，中国北京。 IEEE计算机学会 2004，国际标准图书编号0-7695-2222-X号

主题演讲1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/Misra04型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/Misra04网址
贾亚德夫·米斯拉:
一种用于编排Web服务的编程模型。 2-11

第1A部分：并行分布式系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/PangPE04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/PangPE04
彭军（Jun Pang），雅各·范德波尔，米盖尔·瓦莱罗·埃斯帕达:
数据并行均匀过程的抽象。 14-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/RouffVHTR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/RouffVHTR04
克里斯托弗·鲁夫，艾米·范德比尔特，迈克尔·欣奇，沃尔特·特鲁斯科夫斯基，詹姆斯·拉什:
基于群的系统中突发行为预测的形式化方法的特性。 24-33
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/Yoshiura04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/Yoshiura04网址
吉村正彦（Noriaki Yoshiura）:
找出无功系统形式规范不可实现的原因。 34-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/TangW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/TangW04
新贝汤，吉姆·伍德科克:
统一理论中的移动过程。 44-53

第1B部分：自动验证和模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/Roy04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/Roy04
苏曼·罗伊:
使用DFA的有限并集对无限系统进行符号验证。 56-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/SchuleS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/SchuleS04
托比亚斯·施吕勒，克劳斯·施耐德:
全局与局部模型检查：无限状态系统验证技术的比较。 67-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/贝克特K04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/BeckertK04
伯恩哈德·贝克特，弗拉基米尔·克莱巴诺夫:
演绎程序验证的证明重用。 77-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/SistlaWZ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/SistlaWZ04
A.普拉萨德·西斯特拉，王晓东，Min Zhou女士:
使用Guarded Quotient Structures检查Extended CTL属性。 87-94

主题演讲2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/BaumeisterKW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/BaumeisterKW04网站
休伯特·鲍迈斯特，亚历山大·纳普，马丁·威辛:
房地产驱动开发。 96-102

第2A部分：系统建模和开发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/WenD04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/WenD04
连雯，R.杰夫·德罗米:
从需求变更到设计变更：正式路径。 104-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/拉诺特MT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/LanotteMT04
拉格罗·拉诺特，安德烈亚·马吉奥洛·谢蒂尼，安吉洛·特罗伊纳:
参数概率转移系统的可判定性结果及其在安全中的应用。 114-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/MoisanRR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/MoisanRR04
萨宾·莫伊桑，安妮·雷苏切，Jean-Paul Rigault公司:
组件框架中行为替代性的形式化。 122-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/NaiyongJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/NaiyongJ04
奈永金（Naiyong Jin），何继峰:
硬件/软件协同设计语言的资源模型和预编译规范。 132至141

第2B部分：模型集成与理论统一

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/SandersB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/SandersB04
理查德·托比约恩·桑德斯，罗尔夫·布雷克:
在UML中建模对等服务目标。 144-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/薄片M04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/FlakeM04
斯蒂芬·弗莱克，沃尔夫冈·米勒:
OCL中面向过去和未来的时间边界时间属性。 154-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/MengNB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/MengNB04
孙萌，张乃晓，路易斯·索尔斯·巴博萨:
UML状态图的语义和精化：一个协同视图。 164-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/会议/会议TMW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/SchinzTMW04
英戈·辛茨，托比·托本，克里斯蒂安·姆鲁加拉，伯恩德·韦斯特法尔:
狂想曲UML验证环境。 174-183

主题演讲3

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/约瑟夫04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/约瑟夫04
马泰·约瑟夫:
软件系统的护理、喂养和成长。 186-

第三部分：面向对象和基于组件的开发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/JohnsenO04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/JohnsenO04
艾纳·布罗赫·约翰森，奥拉夫·奥韦:
分布式并发对象的异步通信模型。 188-197年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/ArbabBBR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/ArbabBBR04
法哈德·阿巴布，克里斯特尔·拜尔，弗兰克·德波尔，Jan J.M.M.Rutten先生:
定时组件连接器的模型和时序逻辑。 198-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/Bidoit香港B04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/BidoitHKB04（网址：https://dblp.org/rec/conf/sefm/BidoitHKB04）
米歇尔·比多特，罗尔夫·亨尼克，亚历山大·纳普，休伯特·鲍迈斯特:
面向对象规范的玻璃盒和黑盒视图。 208-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/LeinoS04会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/LeinoS04
K.鲁斯坦·莱诺，沃尔夫拉姆·舒尔特:
C#的例外安全。 218-227

主题演讲4

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/BerghoferN04号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/BerghoferN04网址
斯特凡·贝尔霍弗，托比亚斯·尼普科:
Isabelle/HOL中的随机测试。 230-239

第4A部分：测试和验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/张XW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/ZhangXW04（网址：https://dblp.org/rec/conf/sefm/ZhangXW04）
张健（Jian Zhang），陈旭，王晓亮:
使用符号执行和约束求解技术生成面向路径的测试数据。 242-250
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/BertoliniFFO04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/BertoliniFFO04
克里斯蒂亚诺·贝尔托里尼，安德烈·法里纳，保罗·费尔南德斯，弗拉维奥·莫雷拉·奥利维拉:
使用随机自动机网络生成测试用例：定量分析。 251-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/HamonMR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/HamonMR04
格雷戈伊尔·哈蒙，莱昂纳多·门登萨·德·莫拉，约翰·拉什比:
使用模型检查器生成高效测试集。 261-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/LiYW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/LiYW04
李忠杰，夏寅，吴建平:
多输入/输出转换系统的分布式测试。 271-280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/HuBG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/HuBG04
Ying Hu应虎，克拉克·W·巴雷特，本杰明·戈德伯格:
推测循环优化生成和验证的理论和算法。 281-289

第4B部分：系统正确性分析和改进

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/会议/KammullerS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/KammullerS04
弗洛里安·坎米勒，杰夫·桑德斯:
精炼关系的启发式。 292-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/WuY04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/WuY04
吴金照，后光岳:
具有因果模糊性的并发系统的行为优化。 300-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/会议/奥利维拉XC04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/OliveiraXC04
马塞尔·奥利维拉，曼纽拉·泽维尔，安娜·卡瓦坎蒂:
精炼和加布里埃尔：精炼和战术支持。 310-319
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/结构04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/Struth04
乔治·斯特鲁斯:
带集合的自动元素推理。 320-329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/NguyenM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/NguyenM04
Tien Nhut Nguyen公司，伊桑·V·蒙森:
一致性分析的形式主义及其应用。 330-339

主题演讲5

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/Mei04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/Mei04
洪梅:
ABC：支持整个生命周期中的软件架构。 342-343

第5A节：建筑与联合设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/LaibinisT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/LaibinisT04
利纳斯·莱比尼斯，埃琳娜·特劳比通娜:
分层体系结构中的容错：B。 346-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/KhedriB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/KhedriB04
里达·凯德里，伊曼·布鲁吉巴:
功能建筑设计的形式推导。 356-265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/HeJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/HeJ04
于通河，里萨德·贾尼基:
WAP事务层的验证。 366-375
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/戈光XSZHY04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/阁光XSZHY04
葛光浦，赵祥鹏，王淑玲（Shuling Wang），邱宗岩，何继峰，王毅:
一种针对多硬件设备模型的硬件/软件分区方法。 376-385

第5B部分：自动分析和验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/Sinnott04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/Sinnott04
理查德·辛诺特:
实时系统的形式化、工具支持的开发。 388-395
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/Fronk04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/Fronk04
亚历山大·弗伦克:
在基于CASE工具的方法中使用关系代数分析Petri网。 396-405
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/卡扎米亚金PR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/卡扎米亚金PR04
拉曼·卡扎米亚金，马可·皮斯托尔，马可·罗维里:
使用SPIN对需求进行形式验证：Web服务的案例研究。 406-415
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/EvansTLF04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/EvansTLF04
尼尔·埃文斯，海伦·特雷哈恩，雷金·拉劳，马克·弗拉皮耶:
如何验证信息系统的动态属性。 416-425

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。