停止战争！

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

对于科学家：

默认搜索操作

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

问别人

5.FASE 2002：法国格勒诺布尔（ETAPS 2002的一部分）

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/2002
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/2002
拉尔夫·德特勒夫·库切,赫伯特韦伯:
《软件工程的基本方法》，第五届国际会议，FASE 2002，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2002，法国格勒诺布尔，2002年4月8日至12日，会议记录。计算机科学课堂讲稿2306,施普林格 2002，国际标准图书编号3-540-43353-8

正式框架

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/Charpentier02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/Charpentier02网址
米歇尔·夏彭蒂尔:
由wp激发的作文方法。 1-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/BartheGH02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/BartheGH02
吉勒·巴特,迪利安·古罗夫,玛丽克·赫斯曼:
安全小程序交互的组合验证。 15-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/EhrigOBKP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/EhrigOBKP02
哈特穆特·埃里格,费尔南多·奥雷贾斯,本杰明·布拉茨,马库斯·克莱因,马尔蒂·皮拉宁:
用于系统建模的通用组件框架。 33-48

模型和程序分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/Cerone02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/Cerone02
安东尼奥·塞隆:
在循环过程代数中实现条件/事件网。 49-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/XieB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/XieB02
费雪,詹姆斯·布朗:
面向对象的可执行软件系统设计模型检查的集成状态空间约简。 64-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/HagererHNS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/HagererHNS02
安德烈亚斯·哈格勒,哈迪·亨加,奥利弗·尼塞,伯恩哈德·斯特芬:
通过适度正则外推生成模型。 80-95
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/KumarH02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/KumarH02
萨米特·库马尔,苏珊·霍维茨:
使用跳转和切换更好地分割程序。 96-112

体系结构描述

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/BernardoF02文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/BarnardoF02
马可·贝尔纳多,弗朗西斯科·弗兰泽:
重新审视建筑类型：可扩展和/或连接。 113-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/PaulaB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/PaulaB02
弗吉尼亚·C·卡内罗·德·保拉,塔斯瓦康塞洛斯·巴蒂斯塔:
将ADL映射到基于组件的应用程序开发环境。 128-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/BelaundeP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/BelaundeP02
玛丽亚诺·贝朗德,米凯尔·佩尔蒂埃:
从EDOC组件到CCM组件：精确映射规范。 143-158

元模型

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/ClarkEK02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/ClarkEK02
托尼·克拉克,安迪·埃文斯,斯图亚特·肯特:
工程建模语言：一种精确的元建模方法。 159-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/LaraV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/LaraV02
胡安·德拉拉,汉斯·旺格鲁:
自动变速箱^三：一种用于多种形式主义和元建模的工具。 174-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/BaresiP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/BaresiP02
卢西亚诺·巴雷西,毛罗·佩泽尔:
自动化可视化软件工程的工具箱。 189-202

UML的形式化方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/BradfieldFS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/BradfieldFS02
朱利安·布拉德菲尔德,朱莉安娜·库斯特·菲利佩,佩迪塔·史蒂文斯:
使用观测Mu-Calculus丰富OCL。 203-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/David02车型年款
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/DavidMY02网站
亚历山大·戴维,奥利弗·莫勒,王毅:
带有实时扩展的UML状态图的形式验证。 218-232

需求工程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/HahnleJR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/HahnleJR02
雷内·哈内尔,克里斯托弗·约翰尼森,阿内·兰塔:
非正式和正式需求规范的编写工具。 233-248
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/Bubl02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/Bubl02
费利克斯·比布尔:
引入基于上下文的约束。 249-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/NonengartRS02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/NonnengartRS02
安德烈亚斯·农纳加特,乔治·洛克,沃纳·斯蒂芬:
使用观察者模型的形式化需求工程。 264-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/LopezLG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/LopezLG02
奥斯卡·洛佩斯,米盖尔·拉古纳,弗朗西斯科·何塞·加西亚·佩纳尔沃:
从工作流自动生成用例：一种基于Petri网的方法。 279-293
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/BaresiGMP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/BaresiGMP02
卢西亚诺·巴雷西,弗朗卡·加佐托,卢卡·梅内蒂,保罗·保里尼:
元建模技术满足Web应用程序设计工具的需求。 294-307
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/NavarroFFS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/NavarroFFS02
安东尼奥·纳瓦罗,巴尔塔萨尔·费尔南德斯·曼乔恩,阿尔弗雷多·费尔南德斯·瓦尔马约尔,何塞·路易斯·塞拉:
超媒体应用程序的形式驱动概念化和原型化。 308-322

工具演示

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/GouveiaKWAF02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/GouveiaKWAF02
乔·古韦亚,乔治·库苏科斯（Georgios Koutsoukos）,米歇尔·沃梅林格,路易斯·安德拉德,何塞·路易斯·菲亚德罗:
协调发展环境。 323-326
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/AhrendtBBGHHMMS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/AhrendtBBGHHMMS02
沃尔夫冈·阿伦特,托马斯·巴尔,伯恩哈德·贝克特,马丁·吉斯,埃尔玛·哈贝马斯,雷内·哈内尔,沃尔夫拉姆·门泽尔,沃伊西奇·莫斯托夫斯基,彼得·施密特:
KeY系统：集成面向对象设计和形式化方法。 327-330
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/XieLB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/XieLB02
费雪,弗拉基米尔莱温,詹姆斯·布朗:
ObjectCheck：用于可执行面向对象软件系统设计的模型检查工具。 331-335
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/HagererHMNSI02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/HagererHMNSI02
安德烈亚斯·哈格勒,哈迪·亨加,蒂齐亚娜·玛格丽亚,奥利弗·尼塞,伯恩哈德·斯特芬,汉斯·戴特（Hans-Dieter Ide）:
CTI系统基于模型测试的操作程序演示。 336-340

服务

管理网站设置

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