时序逻辑语言

作品数：19被引量：115H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：唐稚松张广泉郭亮王小兵骆华俊更多>>
相关机构：中国科学院软件研究所西安电子科技大学苏州大学中国科学院更多>>
相关期刊：《西安电子科技大学学报》《电子科技大学学报》《计算机应用研究》《淮阴师范学院学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
框架时序逻辑语言MSVL中面向对象机制的实现被引量：1
《西安电子科技大学学报》2010年第3期559-564,575,共7页王小兵 段振华 
国家重点基础研究发展计划973资助项目(2010CB328102);国家自然科学基金重大国际合作资助项目(60910004);国家自然科学基金资助项目(60873018);武汉大学软件工程国家重点实验室开放基金资助项目(SKLSE20080713);陕西省科技攻关计划资助项目(2009K01-36);中央高校基本科研业务费专项资金资助项目(JY10000903004;JY10000903014)
针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支持面向对象的程序设计.基于正则形和正则图,给出了MSVL解...
关键词：框架 时序逻辑 时序逻辑语言 面向对象程序设计 解释器 
基于时序逻辑的软件体系结构描述语言XYZ/ADL被引量：40
《软件学报》2003年第4期713-720,共8页朱雪阳 唐稚松 
国家自然科学基金;国家高技术研究发展计划(863);国家重点基础研究发展规划(973)~~
体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于...
关键词：时序逻辑 软件体系结构 描述语言 XYZ/ADL 软件开发 体系结构描述语言 时序逻辑语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部