您所在位置： &
&nbsp&&nbsp&nbsp&&nbsp
FMICS_-jETI__LearnLib_德国-外文鲜翻译.pdf12页
本文档一共被下载：
次 ,您可免费全文在线阅读后下载本文档
文档加载中...广告还剩秒
需要金币：200 &&
你可能关注的文档：
··········
··········
在 FMICS-jETI 使用 LearnLib
Martin Leucker
Tiziana Margaria
Harald Raffelt Bernhard
计算机信息学院
服务器及软件工程主席 ,
德国慕尼黑工业大学
德国波茨坦大学
编程系统主席
margaria@cs.uni-
多特蒙德大学
potsdam.desteffen@cs.uni-dortmund.deFMICS 工作组的设施。同时,FMICS jETI 的
VSI 库本身对大挑战就是一种贡献 。
我们专注于模型的正确性,而不是在软
件(更一般的编码)的水平。 因此,足够的
FMICS JETI (Java Electronic Tool
储存库应不仅包含分析或证明是正确的软
Integration Platform ) 平台是一个协作 的,
件,但主要工具(自己的软件构件),以帮
基 于 服 务 的 演 示 工 具 和 分析 工 业 关 键 系 统 的
助确定问题的软件开始的要求,规格和型号
技术。它是 FMICS 工作组倡导的 验证软件。
的正确性。基于上 一代JETI[40] ,新一代的
在本文中, 我们扩展了 FMICS-jETI 集成
ETI[38 ,23],的核心FMICS 伙伴已设立的
异 构 平 台 的 适 用 范 围 , 以 替 代 传 统 的 工 具 和
FMICS JETI 平台作为一个协作的,基于服务
技术。 我们将展示如何整合 (1)CORBA, 一个
的演示器 。
标准独立语言的异构功能互通性。(2) 动态
?说明JETI 技术广泛适用于轻量 远程
模型学习技术,通过 LearnLib ,使用黑盒系
的 数据库存储集成工具。
统作为模型推断, 使用CORBA 作为通信机制。
?展示了如何提供注册和远程信息库工
LearnLib 的第三方应用程序, 在这种情况下,
?演示了如何尝试本地和远程的工具来
Symle , 一个从样例中学习的集群设计模型工
解决合作的核查任务
具,用 LearnLib 作为学习核心。
?演示了如何协调不同的工具(可能是一个混合的本地和远程的)没有最初
的设计合作,为解决更复杂的案例研
究。这可能需要介质的可
正在加载中，请稍后...あなたの評価
プロジェクト概要
ジェティはファイル転送, グループ チャット、絵文字、書式設定されたメッセージなど、ほとんどのチャット機能をサポートする Java の Jabber クライアントです。それは、アプリケーションまたは Web アプレットとして使用できます。
オペレーティングシステム: All 32-bit MS Windows (95/98/NT/2000/XP/Vista/7), MacOSX, POSIX (Linux,BSD,Solaris など), OS/2求少女时代cp文最新打包下载_百度知道
求少女时代cp文最新打包下载
要求最新的。。。之前下载的打包大部分都是2010年11月之前收集的
我有更好的答案
jeti的行吗？
去PKR里面嘛。。。那么多
其他类似问题
少女时代的相关知识
等待您来回答
为您推荐：
下载知道APP
随时随地咨询
出门在外也不愁进击のJeTi_土豆_高清视频在线观看天下席卷最新章节,天下席卷全集txt下载,全文阅读 - 笔下文学
小窍门：阅读时通过键盘上的左右方向键“←”或“→”可快速转到“上一章节”或“下一章节”，按回车可返回《天下席卷》最新章节目录
天下席卷 全集下载
作品《天下席卷》版权归“西门索爱”或出版社所有，笔下文学(Bxwx.Org)会员收集整理&}