西南民族大学教授崔梦天博士受邀作学术讲座

作者: 时间:2017-11-16 审核人:汪潜 点击数:

    11月14日下午三点,全民彩票投注平台邀请西南民族大学教授崔梦天博士在华凤校区学院会议室B402作“形式化可信软件开发思路”学术讲座。党委书记王锦、院长贺春林、副院长赖晓风、全体教职工及部分学生一起聆听了此次讲座。
    崔梦天为大家普及了可信软件领域的相关知识并指出形式化方法的优缺点及发展趋势。接着就“可信软件开发的研究思路”、“研究的技术路线和方法”展开详细的讲解。最后她向大家展示了自己的四个主要研究工作—— “实现UML模型图到B方法形式规约的比较全面的转换”、“形式化B方法的精化研究”、“研究形式化B方法验证技术”、“软件体系结构切片”,使讲座变得更加形象化,加深了听众对这一领域的了解。
    贺春林在总结讲话中对崔梦天博士的到来和演讲致以最诚挚的感谢,并希望在座师生都能在此次讲座中有所收获,拓展自己的知识领域。

版权所有 © 全民彩票投注平台-澳门正规彩票平台  地址:四川省南充市顺庆区师大路1号

行政办公电话:0817-2568358     招生就业电话:0817-2568363      学院邮箱:jsjxy@cwnu.edu.cn

ICP备案号:蜀ICP备09023703号