`
touchinsert
  • 浏览: 1319851 次
  • 性别: Icon_minigender_1
  • 来自: 北京
文章分类
社区版块
存档分类
最新评论

T4CIA’09 国际会议论文征集

阅读更多

国际会议论文征集

"关键工业应用的测试技术和工具",集中在性能测试、可靠性测试方面的技术和工具

论文提交截止日期:4月20日

http://cn.siemens.com/cms/cn/English/it-solutions/home/Pages/UpcomingEvents.aspx#CallforPapers

Call for Papers

Testing Technologies and Tools for Critical Industry Applications (T4CIA’09)

The 1st Workshop in conjunction withSSIRI 2009
(3rd IEEE Conference on Secure Software Integration and Reliability Improvement)

General Information

The large amount of applications in industrial sectors (e.g. telecom, medical, and energy) has many mission critical issues (e.g. security, reliability). The competence of industry applications to ensure the critical missions determines the competitive strengths in the market. On one hand, industrial companies have introduced and developed testing technologies and tools in industrial contexts, and applied them in these applications. On the other hand, academic researchers have produced and performed theoretical or experimental research for the similar topics. This workshop aims to increase scientific interaction and cooperation between academic researchers and industrial practitioners in the area of critical industry applications. It provides an excellent platform for the exchange of ideas, discussion, cross-fertilization, inspiration, and co-operation. Both researchers and practitioners will present their results and experience to a broader audience.

Scope of the Workshop

The topics of interest include, but are not limited to:
•Methods, techniques and tools to support testing
•Different aspects of testing including functional, performance, security, etc.
•System specification and validation
•Application of model checking in testing
•Model based testing
•Testing processes in industry
•Theoretical foundations in testing
•Case studies and experience reports on critical industrial applications

Important Dates

April 20: Submission deadline
May 7: Notification date
May 20: Camera-ready

Submission, Workshop Proceedings, Paper Presentation

Submit original papers (not published or submitted elsewhere) with a maximum of 10 pages. Include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 8 keywords. The format of your submission must follow the IEEE conference proceedings format.

Please submit your paper at http://paris.utdallas.edu/ssiri09/start/www/T4CIA/.
Or visit the conference website http://paris.utdallas.edu/ssiri09, click on "Paper Submission" in the left menu, and select “Submit papers to Testing Technologies and Tools for Critical Industry Applications (T4CIA’09)"

Accepted submissions will be published by IEEE Press and available in the IEEE digital library. One of the authors needs to register and present the accepted submission. Each paper has 30 minutes, with 20-25 minute presentation.

Organizers

Bao Tang (bao.tang@siemens.com) Siemens IT Solutions and Services, China
Jun Pang (jun.pang@uni.lu) University of Luxembourg, Luxembourg

Please do not hesitate to contact us by email if you have any question or remarks.

分享到:
评论

相关推荐

    Unity T4M 地形插件

    Unity T4M(Terrain Tools for Modeling)是一款专为Unity引擎设计的强大地形编辑插件,它极大地扩展了Unity原生地形系统的功能,使开发者能够创建出更逼真、更精细的地形场景。这款插件适用于游戏开发、虚拟现实、...

    免费T4编辑器Devart.T4Editor.Vs

    **T4编辑器Devart.T4Editor.Vs详解** 在软件开发过程中,Text Template Transformation Toolkit(简称T4)是一种强大的代码生成工具,它允许开发者在Visual Studio中编写模板,将这些模板转换为动态生成的代码。T4...

    unity非常好用的T4M地表插件

    Unity中的T4M(Terrain Texture 4 Modular)是一款强大的地表纹理插件,它为开发者提供了高效、灵活的地形纹理管理工具,适用于构建大规模、细节丰富的游戏世界。T4M插件是专为Unity3D(u3d)设计的,能够帮助开发者...

    c# Winform通过T4模板生成model、数据库访问层、业务层

    为了提高开发效率,开发者可以利用T4模板(Text Template Transformation Toolkit)来自动化生成这些代码。T4模板是一种强大的文本生成功能,它允许我们在代码中编写模板,根据需要动态生成输出文本,例如代码、配置...

    ITU-T4一个三类传真机规范

    - **ITU-T4**:这一标准属于国际电信联盟(ITU)电信标准化部门(ITU-T)制定的一系列技术标准之一。其中,“T4”特指适用于三类传真机的技术规范。 #### 描述解读 - **三类传真机规范**:此规范详细定义了三类传真...

    T4Toolbox.0.0.0.0.vsix

    t4 toolbox for visual studio 2019

    英伟达T4 显卡驱动

    英伟达T4显卡驱动,win10 系统可用。欢迎大家前来下载!

    CodeGenerator-T4模板代码生成器

    5.选择对应的模板(选中模板后点VIEW可以打开模板进行查看/编辑) 模板是T4模板,置于Templete文件夹下,程序运行时会自动把此目录下的所有T4文件读出来. 6.点TEST查看根据第一个模板生成的效果 7.设置命名参数/数据...

    T4模板.zip

    T4模板技术是一种文本转换工具,它允许程序员和开发者通过编写模板代码来自动生成代码或者其他形式的文本输出。在.NET框架中,T4被广泛应用于构建动态代码生成,比如数据库访问层、实体模型、配置文件等。这个“T4...

    T4模板:体系架构

    T4模板,全称为Text Template Transformation Toolkit,是微软提供的一种代码生成工具,广泛应用于软件开发领域,特别是.NET框架中。T4模板体系架构的核心在于它允许开发者通过编写文本模板来动态生成代码或者其他...

    T4模板实例工具

    T4模板,全称为Text Template Transformation Toolkit,是.NET框架中的一种文本生成技术。它允许开发者创建可执行的代码模板,这些模板在运行时能够转换成其他形式的文本,如C#、VB.NET或其他任何文本格式。T4模板的...

    高亮显示T4EditorPlusModellingToolsVS2012

    标题中的“高亮显示T4EditorPlusModellingToolsVS2012”指的是一个针对Visual Studio 2012(VS2012)的扩展工具,它专门优化了T4模板引擎的编辑体验。T4模板是.NET开发中一种强大的文本生成功能,它允许开发者在代码...

    T4 Template 自动生成代码

    **T4模板(Text Template Transformation Toolkit)**是Visual Studio中的一种功能,用于在代码生成过程中实现文本转换。T4模板允许开发人员编写混合了编程逻辑和文本输出的模板文件,这些模板可以动态生成源代码、...

    T4模板提示工具

    T4模板提示工具是一款专为Visual Studio 2012设计的插件,它极大地提升了开发者在使用T4模板时的效率和体验。T4模板是Microsoft提供的一种文本生成功能,广泛应用于代码生成、配置文件自动生成以及动态UI等方面。这...

    T4生成实体类

    学习了前面三章的内容现在我们可以利用T4模板做一些小工具了,今天这里要讲的就是利用T4模板生成实体类。在写这一部分的时候,我发现统一编码格式是一件麻烦事,因为T4代码里边有“”这样的东西,试验了几种方法之后...

    T4模板生成邮件

    T4模板生成邮件是一种在C#开发环境中利用T4 Text Template Transformation Toolkit进行动态代码生成的技术,结合邮件发送功能,能够自动生成用于发送邮件的代码或文本。T4模板是一种强大的工具,它允许开发者在设计...

    T4M unity 地形插件

    《T4M Unity地形插件详解》 在Unity引擎的3D开发领域,地形系统是构建庞大、生动游戏世界的关键部分。随着技术的发展,开发者们不断寻找更高效、更便捷的方式来处理地形。其中,T4M(Terrain 4 Materials)Unity...

    VS各种版本 T4模版编辑器

    **T4模板编辑器在Visual Studio中的应用** T4模板编辑器是Visual Studio(VS)中的一种强大工具,尤其适用于代码生成和动态文本处理。它允许开发者编写模板文本,这些模板可以包含静态文本和可执行的C#或VB.NET代码...

    高清锐视T4固件

    高清锐视T4固件是很好的固件,值得下载。

    .NetCore Petapoco(SqlServer) T4模板(含表字段注释).rar

    《.NetCore与Petapoco ORM:T4模板在Sqlserver环境中的应用》 在现代软件开发中,ORM(对象关系映射)框架扮演着重要的角色,它将数据库操作抽象化,使得开发者可以使用面向对象的方式处理数据。.NetCore是微软推出...

Global site tag (gtag.js) - Google Analytics