杰蒂

我们介绍了jETI,这是电子工具集成平台(ETI)的重新设计,它解决了在与工具提供商、工具用户和学生的七年经验中积累的主要问题和关注点。最重要的是减少了集成和更新工具的工作量。jETI将Eclipse与Web服务功能结合起来,以提供(1)轻量级远程组件(工具)集成,(2)分布式组件(工具)库,(3)图形化协调环境,以及(4)分布式执行环境。这些特性将在构建和执行远程异构工具序列的过程中加以说明。


zbMATH中的参考文献(参考 15篇文章,1标准件)

显示第1到15个结果,共15个。
按年份排序(引用)

  1. Steffen,Bernhard;Rüthing,Oliver:《质量工程:利用异构信息》(2011)
  2. Lang,Frédéric;Salaün,Gwen;Hérilier,Rémi;Kramer,Jeff;Magee,Jeff:将FSP转换为LOTO和automata网络(2010)
  3. del Mar Gallardo,María;Merino,Pedro;Sanán,David:操作系统中的模型检查动态内存分配(2009)
  4. Lamprecht,Anna Lena;Margaria,Tiziana;Steffen,Bernhard:基于语义的服务组合框架(2009)ioport公司
  5. 哈拉尔德,拉斐特;斯特芬,伯恩哈德;伯格,特雷斯;玛格丽亚,蒂齐亚纳:学习:外推行为模型的框架(2009年)ioport公司
  6. Jörges,Sven;Margaria,Tiziana;Steffen,Bernhard:Genesys:面向服务的构建符合属性的代码生成器(2008)ioport公司
  7. Fernandes,Abilio;Ciarlini,Angelo E.M.;Furtado,Antonio L.;Hinchey,Michael G.;Casanova,Marco A.;Breitman,Karin K.:通过增量计划增加工作流的灵活性(2007年)ioport公司
  8. Grumberg,Orna;Katz,Shmuel:VeriTech:a framework for translation in model description notations(2007年)ioport公司
  9. Jürjens,Jan;Shabalin,Pasha:用UML进行安全系统开发的工具(2007)ioport公司
  10. Bajohr,Markus;Margaria,Tiziana:MaTRICS:用于远程智能配置系统的基于服务的管理工具(2006)ioport公司
  11. Mateescu,Radu:(CAESAR_SOLVE:)无交替布尔方程组动态求解的通用库(2006)ioport公司
  12. Margaria,Tiziana:eti平台中基于Web服务的工具集成(2005)ioport公司
  13. Margaria,Tiziana;Nagel,Ralf;Steffen,Bernhard:jETI:用于远程工具集成的工具(2005)
  14. Margaria,Tiziana;Steffen,Bernhard:轻量级粗粒度协调:可伸缩的系统级方法(2003)ioport公司
  15. Steffen,Bernhard;Margaria,Tiziana;Braun,Volker:电子工具集成平台:概念与设计(1997)