您的位置： 专家智库 > >

唐稚松

作品数：34 被引量：253H指数：10
供职机构：中国科学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术经济管理兵器科学与技术文学更多>>

合作作者

文献类型

  • 29篇期刊文章
  • 2篇科技成果
  • 1篇会议论文

领域

  • 30篇自动化与计算...
  • 1篇经济管理
  • 1篇语言文字

主题

  • 18篇时序逻辑
  • 11篇逻辑语言
  • 10篇时序逻辑语言
  • 8篇XYZ/E
  • 6篇软件工程
  • 6篇XYZ系统
  • 5篇体系结构
  • 5篇计算机
  • 5篇XYZ
  • 4篇软件体系结构
  • 4篇描述语言
  • 4篇结构描述语言
  • 3篇形式化
  • 3篇英文
  • 3篇实时系统
  • 3篇体系结构描述...
  • 3篇可视化
  • 2篇形式语义
  • 2篇语言
  • 2篇容错

机构

  • 31篇中国科学院软...
  • 2篇北京邮电大学
  • 2篇中国科学院
  • 1篇贵州大学
  • 1篇长沙交通学院

作者

  • 32篇唐稚松
  • 6篇李广元
  • 4篇朱雪阳
  • 4篇郭亮
  • 3篇张广泉
  • 3篇赵琛
  • 3篇晏荣杰
  • 2篇马华东
  • 1篇徐雨波
  • 1篇唐小平
  • 1篇何锫
  • 1篇缪旭
  • 1篇郑建丹
  • 1篇闫安
  • 1篇李广元
  • 1篇柳军飞
  • 1篇阎安
  • 1篇沈伟
  • 1篇骆华俊
  • 1篇龚洁

传媒

  • 22篇软件学报
  • 2篇计算机学报
  • 1篇大自然探索
  • 1篇哲学研究
  • 1篇计算机研究与...
  • 1篇科技导报
  • 1篇淮阴师范学院...
  • 1篇2000年中...

年份

  • 1篇2008
  • 2篇2006
  • 1篇2005
  • 1篇2004
  • 4篇2003
  • 4篇2002
  • 1篇2001
  • 6篇2000
  • 1篇1999
  • 1篇1998
  • 2篇1996
  • 2篇1995
  • 2篇1994
  • 1篇1993
  • 1篇1992
  • 2篇1990
共 34 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于时序逻辑的软件体系结构描述语言XYZ/ADL被引量：55
2003年
体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格.
朱雪阳唐稚松
关键词：时序逻辑软件体系结构描述语言XYZ/ADL体系结构描述语言时序逻辑语言
一种面向软件工程的时序逻辑语言被引量：20
1994年
ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成．ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效．特别地，它还能表示实时通信进程中的动态成分．在统一的框架下，不仅能表示不同层次的抽象描述，而且能表示普通高级语言的各种重要性质．本文是关于这一时序逻辑语言最新、最完整的介绍．
唐稚松赵琛
关键词：软件工程时序逻辑语言CASE
基于 XYZ/ E的混成系统(英文)被引量：5
2000年
混成系统是由计算机和物理设备组成的嵌入式实时计算系统 .它允许在交互式实时系统中引入连续变化的单元 .XYZ/ E是基于 Manna- Pnueli的线性时序逻辑的程序设计语言 .它将程序的动态语义与静态语义统一在同一框架中 ,支持从抽象的程序规范到可执行代码的逐步求精的全过程 .该文使用 XYZ/ E语言描述和验证混成系统 .首先介绍了计算模型 ,然后介绍了 XYZ语言对混成系统的形式化描述 ,最后介绍了混成系统的验证 .与同类工作相比 ,XYZ/ E支持状态转换 ,从而可以方便地描述复杂的控制算法 .
阎安唐稚松
关键词：混成系统时序逻辑语言
一种新的软件体系结构描述语言
分析了现有常见软件体系结构描述语言的特性,提出一种新的可视化体系结构描述语言XYZ/ADL,它由组件、连接件和交互端等基本设计单元构成,可表示常见的不同风格的软件体系结构.
张广泉唐稚松
关键词：结构描述语言可视化
文献传递
我国软件产业发展中几个问题被引量：1
1995年
我国软件产业发展中几个问题ＰｒｏｂｌｅｍｓｉｎｔｈｅＤｅｖｅｌｏｐｍｅｎｔｏｆＣｈｉｎａ＇ｓＳｏｆｔＷａｒｅＩｎｄｕｓｔｒｙ￥／／唐稚松（中国科学院软件研究所，北京１０００８０）长期以来，国内外专家均认为我国有发展软件产业的潜力，但现实情况却不尽如人...
唐稚松
关键词：软件开发软件工程计算机工业
XYZ:一种系列化语言族及其软件工程环境
1992年
一、历史背景多年来一直困扰程序技术研究领域的一个根本问题是计算机程序难写、难读、易错、难以维护,致使软件生产率很低。对比之下,计算机应用的发展及硬件生产率的提高却非常快,很不匹配,针对这个问题,30多年来,程序技术的研究可分为三个阶段。1.高级语言时期。从60年代初起,人们认识到,为了解决程序难写、难读、易错,难以维护的困难,应将书写程序所用的程序语言与在计算机上执行的机器语言区分开来。
唐稚松
关键词：计算机软件工程
UML活动图的时序逻辑语义被引量：24
2005年
UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZE是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在统一的逻辑框架下分析活动图的性质.定义了一个有向图结构用以表示UML活动图,再给出其XYZE语义,并用一个例子说明活动图到XYZE的语义转换,为进一步的分析提供形式化基础.
朱雪阳唐稚松
关键词：活动图形式化语义时序逻辑XYZ/E
N_L:松弛时序逻辑自然推理系统被引量：2
1993年
由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理带来了某些困难。本文提出了N_L松弛时序逻辑自然推理系统,它为以上两类推理提供了统一视角,我们可以证明:N_L与N等价;有N的证明则必有长度不超过它的N_L证明。
何锫唐稚松
关键词：时序逻辑
XYZ／CFC与XYZ／PAD：图形一文本程序设计环境被引量：1
1994年
ＸＹＺ系统是一个ＣＡＳＥ工具系统．它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ．它们均有其相应的图形表示．ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步求精方法进行程序设计的交互式的图形环境．每步均可由图形程序自动生成时序逻辑形式的程序．
龚洁唐若鹰王霄唐稚松
关键词：程序设计
基于线性时序逻辑的实时系统模型检查被引量：15
2002年
模型检查是一种用于并发系统的性质验证的算法技术.LTLC(linear temporal logic with clocks)是一种连续时间时序逻辑,它是线性时序逻辑LTL的一种实时扩充.讨论实时系统关于LTLC公式的模型检查问题,将实时系统关于LTLC公式的模型检查化归为有穷状态转换系统关于LTL公式的模型检查,从而可以利用LTL的模型检查工具来对LTLC进行模型检查.由于LTLC既能表示实时系统的性质,又能表示实时系统的实现,这就使得时序逻辑LTLC的模型检查过程既能用于实时系统的性质验证,又能用于实时系统之间的一致性验证.
李广元唐稚松
关键词：实时系统时间自动机线性时序逻辑
全选 清除 导出
共4页<1234>
聚类工具0