创新技术
先进软件工程技术
分布式计算
形式化开发方法
无
无
评价：
姚淑珍 是一位先进软件工程技术、分布式计算、形式化开发方法等方面的专家 ， 目前就职于北京航空航天大学计算机学院 。