中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	时态逻辑形式化描述并发系统性质期刊论文 OAI收割海军工程大学学报, 2004, 卷号: 16, 期号: 5, 页码: 2'10-13 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 形式化方法并发系统时态逻辑模型检测时态逻辑形式化描述系统性质并发系统状态迁移序列形式化方法逻辑描述反应式运用语义语法应用验证模型检测基础
	基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述期刊论文 OAI收割重庆师范学院学报：自然科学版, 2002, 卷号: 19.0, 期号: 1.0, 页码: 1 作者: 张广泉; 朱雪阳; 郑建丹 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2023/12/04 时态逻辑语言 XYZ／E 软件体系结构体系结构风格组件连接件软件开发
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 时态逻辑软件体系结构体系结构描述工具可视化软件体系结构描述工具体系结构设计模块化程序逐步过渡图形表示设计方法设计单元求精方法逻辑语言动态行为抽象层次语言能连接件交互端组件框架基础规范
	基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述期刊论文 OAI收割重庆师范学院学报(自然科学版), 2001, 卷号: 18, 期号: 3, 页码: 1-4 张广泉; 郑建丹; 舒明 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 时态逻辑语言 XYZ/E 软件体系结构组件连接件逻辑语言软件体系结构结构研究基本组件连接件描述体系 Temporal Logic Language 静态语义结构风格分层描述动态语义特征基础程序
	Verilog语言形式化语义研究期刊论文 OAI收割软件学报, 2001, 卷号: 12, 期号: 10 李勇坚; 孙永强; 何积丰 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2010/08/26 混合系统 Verilog 区间时态逻辑离散事件调度交叠式并发语义