全校師生：
我校定于2018年3月14日舉辦研究生靈犀學(xué)術(shù)殿堂——?jiǎng)⑸儆?bào)告會(huì)，現(xiàn)將有關(guān)事項(xiàng)通知如下：
1.報(bào)告會(huì)簡(jiǎn)介
報(bào)告人：劉少英教授
時(shí)間：2018年3月14日（星期三）上午8：40（開(kāi)始時(shí)間）
地點(diǎn)：友誼校區(qū)毅字樓218
主題：Agile SOFL: Agile Formal Engineering Method for Advanced Software Engineering
內(nèi)容簡(jiǎn)介：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.歡迎各學(xué)院師生前來(lái)聽(tīng)報(bào)告。報(bào)告會(huì)期間請(qǐng)關(guān)閉手機(jī)或?qū)⑹謾C(jī)調(diào)至靜音模式。
黨委研究生工作部
軟件與微電子學(xué)院
2018年3月8日
報(bào)告人簡(jiǎn)介
劉少英，日本法政大學(xué)教授，英國(guó)曼切斯特大學(xué)計(jì)算機(jī)科學(xué)博士，英國(guó)計(jì)算機(jī)協(xié)會(huì)Fellow。先后在西安交通大學(xué)、英國(guó)約克大學(xué)、倫敦大學(xué)、貝爾法斯特女王大學(xué)、牛津大學(xué)等多所大學(xué)從事科研及教學(xué)工作。主要研究領(lǐng)域包括軟件需求分析與設(shè)計(jì)、形式化工程方法、軟件測(cè)試、程序自動(dòng)化及智能軟件工程環(huán)境。作為軟件開(kāi)發(fā)形式化工程方法領(lǐng)域的開(kāi)拓者和主要研究人員，創(chuàng)立和發(fā)展了“軟件開(kāi)發(fā)的形式化工程方法”，研制開(kāi)發(fā)了SOFL形式化工程開(kāi)發(fā)語(yǔ)言和方法，由Springer出版專(zhuān)著一本，編著由IEEE CS Press和Spring LNCS系列出版論文集9本，在包括IEEE Transactions on Software Engineering，IEEE Transactions on Reliability等國(guó)際學(xué)術(shù)期刊和國(guó)際會(huì)議發(fā)表160余篇論文。歷任多數(shù)國(guó)際會(huì)議大會(huì)主席，程序委員會(huì)主席及國(guó)際學(xué)術(shù)期刊的編委。曾獲得多個(gè)榮譽(yù)獎(jiǎng)項(xiàng)，曾被Journal of Systems and Software評(píng)為1993年至1996年期間在系統(tǒng)和軟件工程領(lǐng)域的世界Top 15名學(xué)者之一。
