唐稚松
【姓名】 唐稚松
【职称】 研究员;
【研究领域】 计算机软件及计算机应用;数学;计算机硬件技术;
【研究方向】 计算机科学与软件工程等研究
【发表文献关键词】 线性时序逻辑,时间自动机,XYZ/E,性质验证,系统描述语言,时序逻辑语言,实时系统,时钟变量,模型检查,体系结构风格,规范语言,连接件,软件体系结构,验证,时序逻辑语言XYZ/E,规范,容错转换,求...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院计算技术研究所;中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/38 20 17 15 515 4912
中国期刊全文数据库    共找到38篇
[1]晏荣杰;李广元;徐雨波;刘春明;唐稚松;.有限精度时间自动机的可达性检测[J]软件学报.2006,(01)
[2]朱雪阳;唐稚松;.Statecharts的组合语义与求精[J]软件学报.2006,(04)
[3]李广元,唐稚松.反应系统的连续时序逻辑表示和验证[J]计算机学报.2003,(11)
[4]郭亮,唐稚松.三机冗余容错系统的描述和验证[J]软件学报.2003,(01)
[5]郭亮,唐稚松.XYZ/E面向对象程序语义概述[J]软件学报.2003,(03)
[6]朱雪阳,唐稚松.基于时序逻辑的软件体系结构描述语言XYZ/ADL[J]软件学报.2003,(04)
[7]朱雪阳,唐稚松.UML活动图的时序逻辑语义[J]计算机研究与发展.2005,(09)
[8]阎安,唐稚松.基于 XYZ/ E的混成系统(英文)[J]软件学报.2000,(01)
[9]李广元,唐稚松.时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)[J]软件学报.2000,(03)
[10]闫安,唐稚松.在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文)[J]软件学报.2000,(06)
更多
承担国家科研项目    共找到1个
[1]唐稚松;.基于XYZ/E的可视化软件体系结构描述语言研究[A].中国科学院软件研究所;.项目经费 16万元.2000-03-31.资助文献数 30 篇
更多