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

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

帮助

条数/页：排序方式：
	面向儿童的图形化编程语言和工具期刊论文 OAI收割计算机辅助设计与图形学学报, 2013, 卷号: 25, 期号: 4, 页码: 584-591 王婷婷; 王丹力; 路璐; 何亮; 王宏安; 戴国忠 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2013/09/17 图形化编程语言描述图形化编程工具儿童
	基于场景方法的笔式界面软件设计工具期刊论文 OAI收割计算机工程与设计, 2009, 卷号: 30, 期号: 8, 页码: 2011-2014,2039 刘健; 邓昌智; 戴国忠 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2010/06/01 笔式交互用户界面基于场景的设计设计工具文档描述规范
	笔式交互系统的最终用户开发方法学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 秦严严收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 笔式交互系统最终用户开发交互特征活动认知领域模型界面模型任务描述语言开发工具代码自动生成
	基于模型检查实现J2EE规范的实例研究期刊论文 OAI收割计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/13 J2EE规范模型检查 SPIN 基于模型检查工具规范要求 Model Checking 应用服务器描述方式设计方案兼容性测试形式化模型分析与验证自然语言证明使用模型技术设计规范描述规范方法多层应用中科院分布式二义性
	笔式用户界面开发方法研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 李杰收藏 \| 浏览/下载：28/0 \| 提交时间：2011/03/17 笔式用户界面开发方法交互设计软件工具交互信息模型以户为中心的设计交互技术多通道用户界面构件重用界面描述语言
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 时态逻辑软件体系结构体系结构描述工具可视化软件体系结构描述工具体系结构设计模块化程序逐步过渡图形表示设计方法设计单元求精方法逻辑语言动态行为抽象层次语言能连接件交互端组件框架基础规范