jETI公司 swMATH ID: 471 软件作者： Margaria、Tiziana；拉尔夫·纳格尔；伯恩哈德·斯特芬 描述： 我们介绍了jETI，它是对电子工具集成平台（ETI）的重新设计，解决了七年来与工具提供商、工具用户和学生一起积累的主要问题和关注点。最重要的是减少了集成和更新工具的工作量。jETI将Eclipse与Web Services功能相结合，以提供（1）轻量级远程组件（工具）集成，（2）分布式组件（工具”库，（3）图形协调环境，以及（4）分布式执行环境。这些功能将在构建和执行远程异构工具序列的过程中进行说明。 主页： http://www.springerlink.com/content/h9x6m1x21g5lknkx/fulltext.pdf 相关软件： 班德拉；自旋蛋白；CADP公司；dSPIN公司；Java PathFinder；凯撒；csp2B型；Exp.未结；菲亚克；Yices公司；IF-2.0型；M-树；BISIMULATOR（双模拟）；学习库；EMBOS公司；自动电视；莫塞尔；BioMOBY公司；生物-SPICE；ClustalW公司 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 jETI：用于远程工具集成的工具。 Zbl 1087.68553号蒂齐亚娜·玛格丽亚；拉尔夫·纳格尔；伯恩哈德·斯特芬 2005 全部的 前5名被13位作者引用 三 伯恩哈德·斯特芬 2 蒂齐亚娜·玛格丽亚 1 沃尔克·布劳恩 1 玛丽亚·德尔马·加拉多 1 雷米·Hérilier 1 杰夫·克莱默 1 弗雷德里克·朗 1 杰夫·马吉 1 佩德罗·梅里诺 1 拉尔夫·纳格尔 1 Rüthing，奥利弗 1 格温·萨拉恩 1 大卫·萨南 2篇连载文章中引用 1 自动推理杂志 1 计算的形式方面 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文