第六届软件工程理论方面国际研讨会

会议时间：2012/7/4~2012/7/6
会议地点：北京平乐园100号北京工业大学计算机学院信南410东
会议行业：信息通信
第六届软件工程理论方面国际研讨会会议背景：
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 2012 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering. TASE 2012 is the sixth in a series of symposiums, sponsored by IEEE CS and IFIP. The first TASE symposium was held in Shanghai, China, in June 2007. The second TASE symposium was held in Nanjing, China, in June 2008. The third TASE symposium was held in Tianjin, China, in July 2009. The fourth TASE symposium was held in Taipei, in August 2010, and the fifth TASE symposium was held in Xi'an, China, in August 2011. 联系人： 贺康 || 杨红丽 联系电话： 15210834657 || 13718741932 传真： e-mail： [email protected] || [email protected] 通讯地址： 北京市朝阳区平乐园100号北京工业大学计算机学院信南410东 邮政编码： 100022
第六届软件工程理论方面国际研讨会征文要求：
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 * Specification and Verification * Program Analysis * Software Testing * Model-Driven Engineering * Software Architectures and Design * Aspect and Object Orientation * Embedded and Real-Time Systems * Software Processes and Workflows * Component-Based Software Engineering * Software Safety, Security and Reliability * Reverse Engineering and Software Maintenance * Service-Oriented Computing * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Dependable Concurrency * Software Model Checking * Probability and Randomization All accepted papers will be included in IEEE Xplore and indexed by Ei Compendex. It is envisaged to invite the best tool-related contributions to a Special Section of STTT, Springer Verlag's Intern. Journal on Software Tools for Technology Transfer.
第六届软件工程理论方面国际研讨会组织单位：
会议主席： 何积丰(华东师范大学)尹宝才(北京工业大学) 组织委员会主席： 廖湖声(北京工业大学) 程序委员会主席： tiziana margaria(university potsdam,germany)& 裘宗燕(北京大学) & 杨红丽(北京工业大学)
原文地址：
/meeting/1565.html