CSpace

浏览/检索结果: 共5条,第1-5条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
基于时间自动机的物联网服务建模和验证 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 008, 页码: 1365
作者:  李力行;  金芝;  李戈
收藏  |  浏览/下载:106/0  |  提交时间:2020/01/10
基于问题框架的需求建模:一种本体制导的方法 期刊论文
软件学报, 2011, 卷号: 022, 期号: 002, 页码: 177
作者:  尹斌;  金芝;  陈小红
收藏  |  浏览/下载:35/0  |  提交时间:2020/01/10
知识引导的软件可信性需求的提取 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 011, 页码: 2165
作者:  王越;  刘春;  张伟;  金芝
收藏  |  浏览/下载:80/0  |  提交时间:2020/01/10
从交互情景出发的需求捕获方法及其支撑工具 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 002, 页码: 329
作者:  陈小红;  尹斌;  金芝
收藏  |  浏览/下载:35/0  |  提交时间:2020/01/10
一种服务Agent的可信性评估方法 期刊论文
软件学报, 2011, 卷号: 022, 期号: 011, 页码: 2593
作者:  朱曼玲;  金芝
收藏  |  浏览/下载:17/0  |  提交时间:2020/01/10