一、基本信息 | ||||||||||||||||||||||
|
|
|||||||||||||||||||||
二、目前主要研究方向及简介 | ||||||||||||||||||||||
1、编译技术及应用 2、软件测试方法和工具 | ||||||||||||||||||||||
三、学习经历 | ||||||||||||||||||||||
四、工作经历 | ||||||||||||||||||||||
五、社会兼职 | ||||||||||||||||||||||
六、研究成果与获奖情况 | ||||||||||||||||||||||
七、代表论著 | ||||||||||||||||||||||
1、唐稚松、赵琛,一种面向软件工程的时序逻辑语言,软件学报,Vol. 5,No.12 1994 2、赵琛, 面向媒体时序描述的带时间自动机的自动构造方法,计算机学报,1999,Vol 22, No.12, pp1289-1294。 3、赵琛,媒体时序描述的完全性和协调性,计算机学报,Vol.23,No.7, July 2000,pp750-755。 | ||||||||||||||||||||||
八、承担项目 | ||||||||||||||||||||||