小贴士:学术会议云是学术会议查询检索的第三方门户网站。它是会议组织发布会议信息、众多学术爱好者参加会议、找会议的双向交流平台。它可提供国内外学术会议信息预报、分类检索、在线报名、论文征集、资料发布以及了解学术资讯,查找会服机构等服务,支持PC、微信、APP,三媒联动。
- 云南欧亿骏机电设备有限公司 17403
- 北京体育大学 22430
- 中国人民大学 1412
- 发的54她 1391
- WILL 23382
- 青阳邮政储蓄 17381
- 南方科技大学 20402
- 中态纵横(北京)国际投资管理中心 22426
- 安徽省合肥市中国科学技术大学自动 22428
- ICAIOT2021 7413
- 美国科研出版社 1450
- 中国科学院光电技术研究所 17409
- 中华医学会行为医学分会 20418
- 莎益博工程商贸 1401
- 上海广告有限公司 7385
第二届IEEE软件工程理论基础国际会仪
2008/01/04
所属学科:计算机科学技术
会议类型:国际会议
所在城市:江苏省 南京市
主办单位:IEEE
协办单位:IFIP
承办单位:南京大学计算机科学与技术系
会务组联系方式
联系人:王老师
联系电话:025-83594683
E-mail:tase08@seg.nju.edu.cn
会议背景介绍:
Large scale software systems and 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 & object-orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2008 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering.
TASE 2008 is the second in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007.
TASE 2008 is the second in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007.
征文范围及要求:
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 Validation
* Software Testing
* Component-based Development
* Model Checking for Software
* Software Processes and Workflows
* Software Frameworks and Middleware
* Software Architectures and Design
* Software safety and reliability
* Reverse Engineering and Software Maintenance
* Aspect and Objected –orientation Techniques
* Embedded and Real-time Software
* Service-oriented Computing and Web Services
* Model-driven Development
* Coordination and Feature Interaction
* Parallel and Distributed Computing
* Logics of Programs
* Program Analysis
* Semantics and Design of Programming Languages
* Type Theory
* Requirements Engineering
* Specification and Validation
* Software Testing
* Component-based Development
* Model Checking for Software
* Software Processes and Workflows
* Software Frameworks and Middleware
* Software Architectures and Design
* Software safety and reliability
* Reverse Engineering and Software Maintenance
* Aspect and Objected –orientation Techniques
* Embedded and Real-time Software
* Service-oriented Computing and Web Services
* Model-driven Development
* Coordination and Feature Interaction
* Parallel and Distributed Computing
* Logics of Programs
* Program Analysis
* Semantics and Design of Programming Languages
* Type Theory
版权声明:
来源本站整理,分享只为学术交流,如涉及侵权问题请联系我们,我们将及时修改或删除。
来源本站整理,分享只为学术交流,如涉及侵权问题请联系我们,我们将及时修改或删除。
相关期刊推荐
《基础设施、政策与发展杂志》Journal of Infrastructure, Policy and Development (JIPD)
《镁合金学报》Journal of Magnesium and Alloys
《高等教育教学学报》Journal of Higher Education Teaching
《高等职业教育学报》Journal of Higher Vocational Education
《工程系统学报》Journal of Engineering System
《工业与工程管理学报》Journal of Industry and Engineering Management
《智能与知识工程学报》Journal of Intelligence and Knowledge Engineering
相关会议信息
高价值专利布局专利检索分析及科技成果转化运用能力提升培训班(6月4-6日成都)
第十五届全球金融年会暨第五届中国(杭州)WTO与金融工程国际会议