第六屆軟件工程理論方面國際研討會
第六屆軟件工程理論方面國際研討會
會議時間:2012/7/4~2012/7/6
會議地點:北京平樂園100號北京工業(yè)大學(xué)計算機學(xué)院信南410東
會議行業(yè):信息通信
第六屆軟件工程理論方面國際研討會會議背景:
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. 聯(lián)系人: 賀康 || 楊紅麗 聯(lián)系電話: 15210834657 || 13718741932 傳真: e-mail: 849809330@qq.com || yhl.yang@gmail.com 通訊地址: 北京市朝陽區(qū)平樂園100號北京工業(yè)大學(xué)計算機學(xué)院信南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.
第六屆軟件工程理論方面國際研討會組織單位:
會議主席: 何積豐(華東師范大學(xué))尹寶才(北京工業(yè)大學(xué)) 組織委員會主席: 廖湖聲(北京工業(yè)大學(xué)) 程序委員會主席: tiziana margaria(university potsdam,germany)& 裘宗燕(北京大學(xué)) & 楊紅麗(北京工業(yè)大學(xué))
原文地址:
http://m.legsapparelfashion.com/meeting/1565.html
軟件展會
- 第19屆中亞國際軟件與自動化服務(wù)技術(shù)展
- 2013中國(北京)國際軟件及系統(tǒng)管理展覽會
- 第19屆中亞國際軟件與自動化服務(wù)技術(shù)展 中亞總代理/哈薩克斯坦總代理/亞洲哈薩克斯坦電信展/廣播電視展/軟件自動化及設(shè)備/光纖展/光纜展/銀行金融體系
- 第19屆中亞國際軟件與自動化服務(wù)技術(shù)展(KITEL2012/Software showcase)
- 2012第十屆中國國際軟件和信息服務(wù)交易會
- 全球拍項目優(yōu)勢 全球攝影派相關(guān)行業(yè):全球拍軟件,全球拍設(shè)備,DIY快樂拍,全球拍特效攝影,快樂拍,全球拍設(shè)備價格,萬人迷全球拍,金果實全球拍,好萊塢特效攝影
- 中亞國際軟件與自動化服務(wù)技術(shù)展
軟件資訊
- 全球拍項目優(yōu)勢 全球攝影派相關(guān)行業(yè):全球拍軟件,全球拍設(shè)備,DIY快樂拍,全球拍特效攝影,快樂拍,全球拍設(shè)備價格,萬人迷全球拍,金果實全球拍,好萊塢特效攝影
- 2013中國(北京)國際軟件及系統(tǒng)管理展覽會
- 第19屆中亞國際軟件與自動化服務(wù)技術(shù)展 中亞總代理/哈薩克斯坦總代理/亞洲哈薩克斯坦電信展/廣播電視展/軟件自動化及設(shè)備/光纖展/光纜展/銀行金融體系
- 第19屆中亞國際軟件與自動化服務(wù)技術(shù)展(KITEL2012/Software showcase)
- 2012第十屆中國國際軟件和信息服務(wù)交易會
- 中亞國際軟件與自動化服務(wù)技術(shù)展
- 第19屆中亞國際軟件與自動化服務(wù)技術(shù)展
軟件新聞
軟件會議
- 軟件企業(yè)稅收優(yōu)惠政策與納稅籌劃 及“雙軟認(rèn)定”操作實務(wù)培訓(xùn)班 中國軟件行業(yè)協(xié)會文件
- Tecnomatix 10 軟件新版本介紹網(wǎng)絡(luò)研討會 (12月22日)
- 2011年北京Avangate全球軟件銷售峰會
- 2011年科學(xué)計算開源軟件國際研討會(OSSC2011)
- 第二屆IEEE軟件工程與服務(wù)科學(xué)國際學(xué)術(shù)會議
- 軟件企業(yè)稅收優(yōu)惠政策與納稅籌劃 及“雙軟認(rèn)定”操作實務(wù)培訓(xùn)班 -中國軟件行業(yè)協(xié)會文件
- QCon北京2012全球軟件開發(fā)大會
- QCon北京2012全球軟件開發(fā)大會