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

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

帮助

条数/页：排序方式：
	基于问题模式的形式化软件规格说明生成方法期刊论文 OAI收割计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360 王昌晶; 罗海梅; 左正康 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2013/09/17 形式化软件规格说明生成方法问题模式模型精化演算算法程序
	基于Julia语言的并行计算方法初探会议论文 OAI收割 2013全国高性能计算学术年会, 桂林, 2013 巩庆奎; 张常有; 张先轶; 张云泉 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2014/12/16 Julia语言脚本并行程序程序精化性能分析
	一种将设计模式用于程序精化演算的并行程序设计方法研究期刊论文 OAI收割计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2011/07/29 设计模式精化演算并行程序设计设计模式程序设计精化演算并行程序方法研究 Refinement Calculus Design Patterns Method of 问题求解设计方法描述扩充并行开发并行计算形式化知识语言体系模型规范
	XYZ/E面向对象程序语义概述期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 3 郭亮; 唐稚松 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2010/08/26 时序逻辑语言XYZ/E 面向对象程序代理机构语义一致性精化
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 时态逻辑软件体系结构体系结构描述工具可视化软件体系结构描述工具体系结构设计模块化程序逐步过渡图形表示设计方法设计单元求精方法逻辑语言动态行为抽象层次语言能连接件交互端组件框架基础规范