[2019-12-30] Uncertainty-wise Software Engineering

文章來源:  |  發布時間:2019-12-26  |  【打印】 【關閉

  
Title: Uncertainty-wise Software Engineering
Speaker: 岳濤,教授、博導,南京航空航天大學
Time: 10:00 a.m. 2019-12-30 (Monday)
Venue: Lecture room (334),  Building 5, SKLCS, Institute of Software, CAS
 
Abstract: Cyber-Physical Systems (CPSs) typically operate in highly indeterminate environmental conditions, which require the development of various methods that must explicitly consider uncertainty all throughout system development lifecycles including requirements, model evolution, and test generation and optimization. Towards this direction, we proposed a set of uncertainty-wise software engineering methodologies that explicitly capture uncertainty and enable uncertainty-wise automation required for enabling cost-effective development of CPSs. In my talk, I will present a set of such methodologies.
 
Bio: 岳濤,教授、博導,南京航空航天大學,于1996年獲北京航空航天大學自動控制系本科學位,于1996至2003年就職于中國航空動力系統控制研究所,分別與2006和2010年獲加拿大卡爾頓大學軟件工程方向碩士及博士學位,隨后在挪威Simula Research Laboratory工作且擔任首席研究員一職。長期從事模型驅動工程在多個工業應用領域,多個國家的工業驅動科學研究,其中包括航海、能源、通訊、工業自動化、醫療健康。其他主要研究方向包括不確定性軟件工程、基于搜索的軟件工程、產品線工程、需求工程以及經驗軟件工程。在國內外重要學術刊物/會議上發表論文100余篇,包括軟件工程頂級期刊會議如TSE、TOSEM、ICSE、ISSTA和MODELS。現任國際知名期刊Empirical Software Engineering和Science of Computer Programming的編委,模型驅動工程旗艦期刊Software and Systems Modeling中國大使,MODELS大會指導委員會成員,并將擔任MODELS 2019的PC聯合主席。曾參加多個國際會議(如MODELS,RE和SPLC)的程序委員會委員,并參與及牽頭模型驅動工程領域的國際標準組織OMG的國際標準制定,包括不確定性建模(PSUM)、系統建模語言(SysML)V2以及UML Testing Profile(UTP)V2。
新浪爱彩-两元彩票 新浪爱彩-两元彩票 UU快3-两元彩票 天天乐棋牌-两元彩票 网上电玩-两元彩票 抢庄牛牛-两元彩票 内蒙古快三-两元彩票 江苏福彩 万人牛牛-两元彩票 网易彩票-两元彩票 领域棋牌 彩票网购-两元彩票 360彩票网-两元彩票