搜索筛选:
搜索耗时0.2508秒,为你在为你在102,262,844篇论文里面共找到 50 篇相符的论文内容
发布年度:
[期刊论文] 作者：勇牵,靳绍,,
来源：科学学与科学技术管理 年份：1983
【正】 一九八三年夏初,我们访问了唐稚松同志。由于事前打过招呼,刚一坐下就交谈起来,唐稚松说:“现在研究所的研究室、大学的教研室的设置多是从学科的抽象概念出发的,这样...
[期刊论文] 作者：唐稚松,
来源：科技导报 年份：1995
我国软件产业发展中几个问题ＰｒｏｂｌｅｍｓｉｎｔｈｅＤｅｖｅｌｏｐｍｅｎｔｏｆＣｈｉｎａ＇ｓＳｏｆｔＷａｒｅＩｎｄｕｓｔｒｙ￥／／唐稚松（中国科学院软件研究所，北京１０００８０）长期以来，国内外专家均认为我国有发展软件产业的潜力...
[期刊论文] 作者：谢泳,,
来源：江淮文史 年份：2013
一、唐稚松 一位台湾朋友要我代寻一册唐稚松的诗集《桃蹊诗存》，我很快为他觅得。此书2005年作家出版社曾印过，我估计是自费印刷，所以不常见。最早版本为1995年6月自印本，大十...
[期刊论文] 作者：沈孝龙,龚世生,
来源：计算机科学 年份：1998
ＸＹＺ系统是唐稚松教授提出并领导实现的。该系统的核心...
[期刊论文] 作者：邹崇理,
来源：重庆理工大学学报：社会科学 年份：2018
唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言。从创新的视角评价：XYZ/E是逻辑思想方法和计算...
[期刊论文] 作者：唐稚松,
来源：大自然探索 年份：1992
...
[期刊论文] 作者：唐稚松,
来源：软件学报 年份：1999
ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现，它被用于解决某些高技术工程领域的问题，文章介绍了这个系统的目的，意义，作用和应用。......
[期刊论文] 作者：唐稚松,
来源：软件学报 年份：1990
§1.引 言 本文系根据作者应邀在1989年6月14日日本情报产业协会(JISA)与软件工程学会(SEA)联合举办的1989年软件年会(Software Symposium’89)上所作的题为“XYZ环...
[期刊论文] 作者：唐稚松,
来源：自然辩证法通讯 年份：1957
【正】 右派分子徐芻认为马列主义不能作为科学的指导思想。他攻击马列主义的办法是首先污蔑苏联的科学成就,然后说苏联科学是由于马列主义思想指导坏了。他对他的学生说:“...
[期刊论文] 作者：唐稚松,
来源：中国青年科技 年份：1995
计算机技术的普及不仅仅依靠经济的发展和硬件数量的增加,更依赖于软件的开发。目前我国在计算机软件的研究、开发、生产、销售等方面还存在着许多问题,严重地阻碍着我国计算...
[期刊论文] 作者：唐稚松,
来源：中国科学院院刊 年份：2004
十多年来,以提高软件生产率及可靠性为目标,软件工程研究主要有两方向:一是研究形式化的抽象描述语言(Specificationlanguage),以西欧学术理论界为代表;另一是研制支撑软件开...
[期刊论文] 作者：唐稚松,
来源：哲学研究 年份：1995
...
[期刊论文] 作者：肖绮晖,
来源：湘潮 年份：2004
我的案头摆着两部书，一本清新雅致——《桃蹊诗存》，一本质朴庄重——《时序逻辑程序设计与软件工程》。诗集言志感物，讲述着诗人人生经历与历史风云；专著行文严谨，记载着科学家以......
[期刊论文] 作者：李广元, 唐稚松,,
来源：软件学报 年份：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既是一个时序逻辑系统也是...
相关搜索：
