停止战争！

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

对于科学家：

默认搜索操作

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

问别人

1997年第1届ICFEM：日本广岛

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/icfem/1997
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/1997
第一届IEEE正式工程方法国际会议，ICFEM 1997，日本广岛，1997年11月12-14日，会议记录。 IEEE计算机学会 1997，十亿0-8186-8002-4

受邀演讲人

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/琼斯97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/Jones97
克利夫·琼斯:
Whither Formal Methods:请求调查新应用程序。 5-

对象定向

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/FranceBLGS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/FranceBLGS97网址
罗伯特·B·法国,Jean-Michel布鲁尔,玛丽亚·拉罗多·佩特里,伊曼纽尔·格兰特,米尼卡·萨克塞纳:
走向一种严谨的面向对象的分析和设计方法。 7-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/KatwijkDG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/KatwijkDG97
扬·范·卡特维克,尤金·杜尔,斯蒂芬·戈德萨克:
基于VDM的混合面向对象实时软件开发⁺⁺. 17-27

方法集成1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/ScholzP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/ScholzP97
德克·舒尔茨,卡斯塔·彼得森:
集成SA/RT&Z规范语言的形式语义。 28-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/BerryW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/BerryW97
丹尼尔·贝里,韦伯:
结构和行为建模符号的实用、严格集成。 38-49

协议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/DebbabiMTY97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/DebababiMTY97
穆拉德·德巴比,穆罕默德·梅杰里,纳迪娅·塔比,I.亚赫马迪:
身份验证密码协议的形式化自动验证。 50-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/MermetM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/MermetM97
布鲁诺·梅梅特,多米尼克·梅里:
电信服务增量规范。 60-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/GeppertR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/GeppertR97
比吉特·格佩特,弗兰克·罗勒:
通信协议通用工程-当前经验和未来问题。 70-80

测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/SinghCS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/SinghCS97
哈巴詹·辛格,米尔科·康拉德,Sadegh-Sadeghipour先生:
基于Z和分类树方法的测试用例设计。 81-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/Parissis97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/Parissis97
Ioannis Parissis公司:
测试LUSTRE规范的正式方法。 91-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/AertryckBM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/AertryckBM97
莱昂内尔·范·阿尔特里克,马克·本文尼斯特（Marc V.Benveniste）,丹尼尔·勒·梅泰勒:
CASTING：一种基于形式的软件测试生成方法。 101-111

受邀演讲人

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/Kemmerer97会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/Kemmer97网址
理查德·凯默勒:
正式指定和验证实时系统。 112-121

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/LindsayH97会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/LindsayH97
彼得·林赛,大卫·海默:
使用CARE构建经过验证的软件。 122-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/XueD97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/XueD97
薛锦云,鲁斯·戴维斯:
一个简单的程序，其推导和证明也是如此。 132-139
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/CyrlukRS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/CyrlukRS97
大卫·赛卢克,约翰·拉什比,曼达扬·K·斯利瓦斯:
口译员的系统形式验证。 140-150

经验1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/FordBSS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/FordBSS97
理查德·福特,威廉·贝维尔,理查德·西蒙,劳伦斯·史密斯:
基于规范的可信内核测试：MK++。 151-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/DongFZC97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/DongFZC97
金松洞,尼尔·富尔顿,林·祖科尼,约翰·科尔顿:
正式确定飞机运行飞行计划的过程调度要求。 161-169

受邀演讲人

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/FutatsugiN97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/FutatsugiN97
Kokichi Futatsugi公司,中川Ataru T.Nakagawa:
CAFE规范环境概述-在网络上创建、验证和维护形式规范的代数方法。 170-182

嵌入式系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/LatemanL97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/LatemannL97
弗兰克·拉特曼,埃格伯特·莱曼:
嵌入式系统需求规格说明的方法学方法。 183-191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/HeimdahlT97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/HeimdahlT97
艾瑞克·海姆达尔的垫子,杰弗里·汤普森:
系统级组件间通信的规范与分析。 192-202

方法集成2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/飞利浦R97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/PhilippsR97
简·菲利普斯,伯恩哈德·伦普:
信息流体系结构的优化。 203-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/LauOW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/LauOW97
刘恭桥,马里奥·奥尔纳吉,阿伦·威尔斯:
催化框架：图形符号和形式语义。 213-221

应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/dConvernoL97文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/dInvernoL97网址
马克·德·因弗诺,迈克尔·勒克:
一种形式化代理框架的开发与应用。 222-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/Barjaktarovic97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/Barjaktarovic97网址
米利卡·巴贾克塔罗维奇:
使用SPIN对MISSI发送器和本地缓存进行形式化规范和验证。 232-242

规范要求

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/JinZ97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/JinZ97
铃子金,洪朱:
从需求定义自动生成形式规范。 243-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/PeperGK97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/PeperGK97
克里斯蒂安·佩珀,莱因哈德·戈哲因,马丁·科伦伯格:
需求形式规范的通用方法。 252-262

受邀演讲者

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/BjornerKNS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/BjornerKNS97
Dines Björner餐厅,S.Koussoube公司,R.努西,G.沙特克:
迈克尔·杰克逊的问题框架：走向选择和应用正式软件开发技术和工具的方法论原则。 263-271

组合状态代数和过程代数

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/加洛韦S97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/GallowayS97
安迪·加洛韦,比尔·斯托达特:
ZCCS的操作语义。 272-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/田口A97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/田口A97
田口贤治,荒木惠次郎:
并发Z规范的基于状态的CCS语义。 283-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/SmithD97会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/SmithD97
格雷姆·史密斯,约翰·德里克:
Object-Z和CSP中指定的并发系统的改进和验证。 293-303

经验2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/HabriasG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/HabriasG97
亨利·哈布里亚斯,B.格里奇:
动态约束的B方法形式化描述。 304-314
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/BriandM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/BriandM97
莱昂内尔·布赖恩,桑德罗·莫拉斯卡:
软件度量与形式化方法：以TRIO+规范为中心的案例研究。 315-

服务

管理网站设置

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