贵州大学计算机科学与信息学院导师介绍：杨静

　　杨静，博士，教授，硕士生导师。毕业于贵州大学计算机软件与理论专业。曾在华中理工大学进修,澳门联合国大学国际软件研究所客座研究员，香港科技大学访问学者,华东师范大学访问学者。在《Lecture Notes in Computer Science》、《计算机科学》、《Journal of Communication and Computer》、 《数学研究与评论》、《西南大学学报》、FCST2009、上海市计算机学会年会等杂志上和会议上发表二十余篇文章。
主要研究方向：软件工程、形式化方法、可信软件。

　　发表文章如下：
　　1．《A Predicative Semantic Model For Integrating UML Models》,2005, LNCS 3407.SCI
　　2．《授权中异常冲突的一种解决方法》，计算机科学, 2008，vol.35, No.8核心
　　3．《基于．ＮＥＴ的单元测试自动化方法研究》微计算机信息，２００８，No.7 核心
　　4．《UML 模型的协调性检查》计算机科学,　2006,vol.33,NO.9 核心
　　5．《精化UML模型》 计算机科学,　2007,Vol.34, No.3 核心
　　6．《H-KKM 映像及抽象拟凸(凹)性》 西南大学学报(自然科学版),（原西南农业大学学报） 2007,Vol.29,No.4 核心　
　　7．《用Hoare逻辑验证程序的一般方法及实例》 通讯和计算机,2007,Vol.4,No.2
　　8．《函数图形的对称轴与周期》 贵州大学学报(自然科学版),　2006,Vol.23,sup
　　9．《A Predicative Semantic Model For Integrating UML Models》 国际会议“Fist International Colloquium On Theoretical Aspects Of Computing”论文集,2004.9
　　10．《基于整数小波变换的准无失真图象压缩技术》 通讯和计算机, Apr,2006,vol.3,No.4
　　11．《基于整数小波变换和DPCM的混合图像编码》 贵州大学学报
　　(自然科学版) May,2001,vol.18, No.2
　　12．《高维时序数据的相似搜索》 贵州大学学报(自然科学版),Feb 2006, vol.23 ,No.1
　　13.《A Framework for Formalizing UML Models with Formal Language rCOS》,国际会议FCST2009,EI.
　　14.《Analyzing UML Sequence Diagrams with UTP》,国际会议FCST2009,EI.
　　15.《多级环境建模下的一种改进区域分割算法》上海市计算机学会第八届年会,2009.
　　16.《需求开发过程研究》,上海市计算机学会第八届年会,2009.
　　17.《Nonarchimedean PN 空间中的两点收缩与方程》贵州大学学报(自然科学版),　1994, vol.11 ,No.4
　　18.《两点概率收缩偶及N.A.PN空间中非线性集值映象方程组的解》,贵州大学学报(自然科学版),　1994, vol.11 ,No.2
　　19.《Ky Fan 极大极小不等式在H-空间的进一不推广和应用》,数学研究与评论,1999,No.4 重要学术期刊