加入收藏夹
联系我们
关于本站
个人主页
西电导航
西安电子科技大学
    当前位置:首页>>学术会议
2011软件工程理论与技术国际会议
时间:2011-08-10 11:01    点击:   所属单位:软件学院
【会议基本信息】
会议名称(中文) 2011软件工程理论与技术国际会议
会议名称(英文) 2011 Theoretical Aspects of Software Engineering Conference (TASE 2011)
所属学科
会议类型 国内会议
会议论文集是否检索
开始日期 2011-08-29
结束日期 2011-08-31
所在国家 China
所在城市 Xi’an
具体地点 Xi'an Hotel
主办单位 IEEE CS and IFIP
协办单位 Xidian University
会议议题
【组织结构】
会议主席 Luke Ong (Oxford University, UK)
组织委员会主席
程序委员会主席
会议嘉宾
【重要日期】
摘要截稿日期 2011-04-08
论文录用通知日期 2011-05-06
【会务组联系方式】
联系人 具体信息请查看http://ictt.xidian.edu.cn/TASE2011/
联系电话 具体信息请查看http://ictt.xidian.edu.cn/TASE2011/
E-mail tase2011@gmail.com
通讯地址
邮政编码
会议注册费
会议网站
会议背景介绍 The 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), sponsored by IEEE CS and IFIP, will be held in Xi'an, China in August, 2011. Large scale software systems and the Internet are of growing concern to academia and industry. This poses new challenges to the various aspects of software engineering, for instance, the reliability of software development, web-oriented software architecture and aspect and object-orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2011 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering. TASE 2011 is the fifth in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007. The second TASE conference was held in Nanjing, China, in June 2008. The third TASE conference was held in Tianjin, China, in June 2009, and the fourth TASE conference was held in Taipei, China, in October 2010.
征文范围及要求 Topics of Interest Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: •  Requirements Engineering •  Embedded and Real-Time Systems •  Program Analysis •  Software Architectures and Design •  Component-Based Software Engineeringg •  Reverse Engineering and Software Maintenance •  Aspect and Object Orientation •  Type System and Theory •  Dependable Concurrency •  Automata and Temporal / Modal Logic •  Petri Nets •  Domain Theory •  Type Theory •  Process Algebra and Concurrency •  Specification and Verification •  Software Testing •  Model-Driven Engineering •  Software Processes and Workflows •  Software Safety, Security and Reliability •  Service-Oriented Computing •  Semantic Web and Web Services •  Program Logics and Calculus • Software Model Checking • Probability and Randomization • Game Theory • Theorem Proving • Static Analysis and Model Checking • Testing, Simulation and other Dynamic Analyses Submission Submission should be done through the TASE 2011 submission page, handled by the EasyChair conference system. The authors are requested to submit the abstract (100 - 300 words) by April 1, 2011, and the paper (up to 8 pages) by April 8, 2011. To do submission, visit EasyChair and register as a new member. A password will be sent by e-mail shortly. Using that password, log-in and proceed to the New Submission page, where the detailed instructions can be found. When submitting the abstract, tick the "Abstract Only" box nearly at the end of the page. After submission, the authors can update abstracts and papers as well as the authors' information using the EasyChair system until the deadline. The proceedings of the conference will be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in Two-Column IEEE format. Authors should use the IEEE latex style fyles for the two-column proceedings format. The style files and instructions for using them is at http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/. (The file bare_conf.tex at http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/ may be used as a template).Submissions not accepted to the proceedings may be considered for poster presentation.
转载请注明出处:西安电子科技大学学术信息网
如果您有学术信息或学术动态,欢迎投稿。我们将在第一时间确认并收录,投稿邮箱: meeting@xidian.edu.cn
Copyright © 2011-2017 西安电子科技大学 
开发维护:电子工程学院网络信息中心  管理员:meeting@xidian.edu.cn 站长统计: