CSpace

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

限定条件    
已选(0)清除 条数/页:   排序方式:
问题框架方法的可靠性关注点及系统可靠性增强模式 期刊论文
计算机学报, 2013, 卷号: 036, 期号: 001, 页码: 074
作者:  尹斌;  金芝;  李智
收藏  |  浏览/下载:40/0  |  提交时间:2020/01/10
基于时间自动机的物联网服务建模和验证 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 008, 页码: 1365
作者:  李力行;  金芝;  李戈
收藏  |  浏览/下载:106/0  |  提交时间:2020/01/10
知识引导的软件可信性需求的提取 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 011, 页码: 2165
作者:  王越;  刘春;  张伟;  金芝
收藏  |  浏览/下载:80/0  |  提交时间:2020/01/10
从交互情景出发的需求捕获方法及其支撑工具 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 002, 页码: 329
作者:  陈小红;  尹斌;  金芝
收藏  |  浏览/下载:34/0  |  提交时间:2020/01/10
面向服务的建模:一种全过程复用的方法 期刊论文
计算机学报, 2008, 卷号: 031, 期号: 008, 页码: 1293
作者:  吴步丹;  金芝;  赵彬
收藏  |  浏览/下载:103/0  |  提交时间:2020/01/10
视点合成中重叠需求的不一致优先级处理 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1379-1387
作者:  牟克典;  金芝;  陆汝钤
收藏  |  浏览/下载:76/0  |  提交时间:2021/01/14
需求工程  多视点  需求优先级  不一致性  
基于本体的需求自动获取 期刊论文
计算机学报, 2000, 卷号: 023, 期号: 005, 页码: 486
作者:  金芝
收藏  |  浏览/下载:20/0  |  提交时间:2020/01/10
客户/服务器风格的体系结构描述语言NEWCOM 期刊论文
计算机学报, 1998, 卷号: 021, 期号: 012, 页码: 1101
作者:  ;  赖辉;  金芝;  蒋爱军;  陆汝钤
收藏  |  浏览/下载:80/0  |  提交时间:2020/01/10
客户/服务器风格的体系结构描述语言NEWCOM 期刊论文
计算机学报, 1998, 卷号: 21.0, 期号: 012, 页码: 1101-1111
作者:  ;  赖辉;  金芝;  蒋爱军;  陆汝钤
收藏  |  浏览/下载:101/0  |  提交时间:2021/01/14
体系结构  描述语言  客户/服务器  NEWCOM语言  MIS