搜索筛选:
搜索耗时0.7289秒,为你在为你在102,285,761篇论文里面共找到 44 篇相符的论文内容
发布年度:
[期刊论文] 作者：唐稚松,
来源：科技导报 年份：1995
我国软件产业发展中几个问题ＰｒｏｂｌｅｍｓｉｎｔｈｅＤｅｖｅｌｏｐｍｅｎｔｏｆＣｈｉｎａ＇ｓＳｏｆｔＷａｒｅＩｎｄｕｓｔｒｙ￥／／唐稚松（中国科学院软件研究所，北京１０００８０）长期以来，国内外专家均认为我国有发展软件产业的潜力，但现实情况却不尽如人.........
[期刊论文] 作者：唐稚松,
来源：大自然探索 年份：1992
...
[期刊论文] 作者：唐稚松,
来源：软件学报 年份：1999
ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现，它被用于解决某些高技术工程领域的问题，文章介绍了这个系统的目的，意义，作用和应用。......
[期刊论文] 作者：唐稚松,
来源：软件学报 年份：1990
§1.引 言 本文系根据作者应邀在1989年6月14日日本情报产业协会(JISA)与软件工程学会(SEA)联合举办的1989年软件年会(Software Symposium’89)上所作的题为“XYZ环...
[期刊论文] 作者：唐稚松,
来源：自然辩证法通讯 年份：1957
【正】 右派分子徐芻认为马列主义不能作为科学的指导思想。他攻击马列主义的办法是首先污蔑苏联的科学成就,然后说苏联科学是由于马列主义思想指导坏了。他对他的学生说:“...
[期刊论文] 作者：唐稚松,
来源：中国青年科技 年份：1995
计算机技术的普及不仅仅依靠经济的发展和硬件数量的增加,更依赖于软件的开发。目前我国在计算机软件的研究、开发、生产、销售等方面还存在着许多问题,严重地阻碍着我国计算...
[期刊论文] 作者：唐稚松,
来源：中国科学院院刊 年份：2004
十多年来,以提高软件生产率及可靠性为目标,软件工程研究主要有两方向:一是研究形式化的抽象描述语言(Specificationlanguage),以西欧学术理论界为代表;另一是研制支撑软件开...
[期刊论文] 作者：唐稚松,
来源：哲学研究 年份：1995
...
[期刊论文] 作者：李广元, 唐稚松,,
来源：软件学报 年份：2002
为了描述实时系统的性质和行为，10多年来，各种不同的时序逻辑，如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来。这些...
[期刊论文] 作者：李广元,唐稚松,
来源：软件学报 年份：2002
模型检查是一种用于并发系统的性质验证的算法技术.LTLC(linear temporal logic with clocks)是一种连续时间时序逻辑,它是线性时序逻辑LTL的一种实时扩充.讨论实时系统关于L...
[期刊论文] 作者：郭亮,唐稚松,
来源：软件学报 年份：2003
使用XYZ/E描述和验证三机冗余容错系统.考虑每台计算机加载了一个不断向外界环境输出数据的确定性顺序程序P,用XYZ/E程序SingleProcessorP刻画程序P在单机上运行,用时序逻辑...
[期刊论文] 作者：郭亮,唐稚松,
来源：软件学报 年份：2003
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语...
[期刊论文] 作者：王杉,唐稚松,
来源：软件学报 年份：1996
速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视，ＸＹＺ系统是一种以时序逻辑为基础为适应多种设计方式的ＣＡＳＥ环境，它所支持的软件开发方法是“以逐步求精方式，进行形式描述......
[期刊论文] 作者：唐稚松,赵琛,
来源：软件学报 年份：1994
ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成。ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效。特别地，它还能表示实时通信进程中的动态成分......
[期刊论文] 作者：李广元,唐稚松,
来源：软件学报 年份：2000
指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是...
[期刊论文] 作者：阎安,唐稚松,
来源：软件学报 年份：2000
混成系统是由计算机和物理设备组成的嵌入式实时计算系统。它允许在交互式实时系统中引入连续变化的单元。ＸＹＺ／Ｅ是基于Ｍａｎｎａ－；Ｐｎｕｅｌｉ的线性时序逻辑的程序设计语言。它将程序的动态语义与静态语......
[期刊论文] 作者：闫安,唐稚松,
来源：软件学报 年份：2000
XYZ／E是一个时序逻辑系统，同时也是一种时序逻辑程序设计语言．XYZ／E能够在统一的框架下表示高层和低层的描述，所以便于软件系统的描述与实现．该文对基于XYZ／E的蒸气锅炉问题进行了描......
[期刊论文] 作者：唐小平,唐稚松,
来源：软件学报 年份：1998
ＸＹＺ系统是一套以线形时序逻辑为基础的ＣＡＳＥ环境系统，其核心是时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／ＡＤＬ是ＸＹＺ系统在动画领域的应用，马华东博士采用基于时序逻辑的动画描述模型ＴＬＡＤ，提出了动画剧本描述语言。本文介绍的ＸＹＺ／ＡＤＬ语言......
[期刊论文] 作者：沈武威,唐稚松,
来源：软件学报 年份：1996
最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境，作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成，在ＸＹＺ系统中很多的工具，它们被用业......
[期刊论文] 作者：何锫,唐稚松,
来源：软件学报 年份：1993
由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理...
相关搜索：
