学院动态
最新动态
当前位置: 首页>>学院动态>>通知公告>>正文

关于日本法政大学计算机与信息科学研究生院刘少英教授来我院做学术报告的通知

2016年09月01日   点击:[]

报告题目:Agile Formal Engineering Methods for Software Productivity and Reliability

报告时间:2016年9月6日星期二上午9:00-10:30

报告地点:西北工业大学友谊校区毅字楼218

报告人:刘少英

摘要:

Conventional software engineering on the basis of informal or semi-formal methods is facing tremendous challenges in ensuring software quality and productivity. Formal methods have attempted to address those challenges by introducing mathematical notation and calculus to support formal specification, refinement, and verification in software development. The theoretical contributions of formal methods to the discipline of software engineering are significant. However, in spite of their potential in improving the controllability of software process and reliability, formal methods are generally difficult to apply to large-scale and complex systems in practice because of many constraints (e.g., limited expertise, complexity, changing requirements, and theoretical limitations.)

We have developed the “Formal Engineering Methods” (FEM) as a research area since 1989 to study how formal methods can be effectively integrated into conventional software engineering technologies and process models so that formal techniques can be tailored, revised, or extended to fit the need for improving software productivity and quality in practice (e.g., through the enhancement of the usability of formalism and the tool supportability of the relevant methods). We have also developed a specific FEM called Agile Structured Object-Oriented Formal Language (Agile-SOFL) that offers rigorous but practical techniques for system modeling, transformation, and verification, including a three-step formal specification approach, specification animation, transformation from structured specification to object-oriented implementation, and specification-based inspection and testing. The effective combination of these techniques can significantly enhance software productivity and reliability. The SOFL method has also achieved a good balance among simplicity, visualization, and precision to allow engineers to easily use the method. In this talk, I will first discuss the challenges in software engineering and give a brief introduction to FEM, and then focus on the explanation of the Agile-SOFL techniques. Finally, I will point out future research directions in the field.

报告人简介:

刘少英,日本法政大学计算机科学教授,1982年1月毕业于西安交通大学并于1987年4月获同校计算机科学硕士学位,1992年获英国曼彻斯特大学计算机科学博士学位。主要研究领域包括软件工程、软件开发的形式化工程方法、软件设计方法、程序验证、软件测试以及智能软件工程环境。自1994年以来,已领导和主持由日本文部科学省、国立信息研究所(NII)、大川情报科学财团、SCAT财团、以及日本信号、NTT Data和三菱电机等日本政府,财团和大企业分别资助的20个以上的研究项目,创立和发展了“软件开发的形式化工程方法”,研制开发了SOFL形式化工程开发语言和方法,由Springer出版专著一本,编著由IEEE CS Press和Springer LNCS系列出版的论文集8本,在IEEE Transactions on Software Engineering, IEEE Transactions on Reliability等国际学术期刊和国际会议发表160多篇论文。历任多数国际会议大会主席,程序委员会主席,以及国际学术期刊的编委。曾被Journal of Systems and Software评为1993年至1996年期间的在系统和软件工程领域的世界top 15名学者之一,在1996年获得由IEEE国际会议授予的``优秀论文奖’’,在2010年6月被英国计算机协会授予Fellow.

 
西北工业大学 就业信息网 芹菜网 三航四方BBS 西北工业大学微博 校园公告 西工大新闻网 电子邮件

版权所有 © 2009 西北工业大学软件与微电子学院  
陕西省西安市友谊西路127号 邮编:710072