全校師生：
我校定于2018年3月14日舉辦研究生靈犀學術殿堂——劉少英報告會，現將有關事項通知如下：
1.報告會簡介
報告人：劉少英教授
時間：2018年3月14日（星期三）上午8：40（開始時間）
地點：友誼校區毅字樓218
主題：Agile SOFL: Agile Formal Engineering Method for Advanced Software Engineering
內容簡介：With the rapid development and spreading applications of IoT systems, how to ensure the dependability and productivity of software adopted in IoT systems becomes a tremendous challenge to software engineering. In this talk, after reviewing and evaluating the most commonly used agile methods, model-driven methods, formal methods, and formal engineering methods, I will present a newly developed agile formal engineering method called Agile-SOFL and explain how it can be used for advanced software engineering in industry. In particular, I will focus on the introduction and discussion of the specific techniques involved in Agile-SOFL, including a three-step specification approach, specification animation for validation, incremental specification-based implementation, and testing-based formal verification. Finally, I discuss how Agile-SOFL can be efficiently supported by intelligent software engineering environment (ISEE) in the future.
2.歡迎各學院師生前來聽報告。報告會期間請關閉手機或將手機調至靜音模式。
黨委研究生工作部
軟件與微電子學院
2018年3月8日
報告人簡介
劉少英，日本法政大學教授，英國曼切斯特大學計算機科學博士，英國計算機協會Fellow。先后在西安交通大學、英國約克大學、倫敦大學、貝爾法斯特女王大學、牛津大學等多所大學從事科研及教學工作。主要研究領域包括軟件需求分析與設計、形式化工程方法、軟件測試、程序自動化及智能軟件工程環境。作為軟件開發形式化工程方法領域的開拓者和主要研究人員，創立和發展了“軟件開發的形式化工程方法”，研制開發了SOFL形式化工程開發語言和方法，由Springer出版專著一本，編著由IEEE CS Press和Spring LNCS系列出版論文集9本，在包括IEEE Transactions on Software Engineering，IEEE Transactions on Reliability等國際學術期刊和國際會議發表160余篇論文。歷任多數國際會議大會主席，程序委員會主席及國際學術期刊的編委。曾獲得多個榮譽獎項，曾被Journal of Systems and Software評為1993年至1996年期間在系統和軟件工程領域的世界Top 15名學者之一。
