中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文
中国科学E辑:信息科学, 2006, 页码: 1189-1219
作者:  侯丽珊;  金芝;  吴步丹
收藏  |  浏览/下载：96/0  |  提交时间：2021/01/14
Web服务  环境本体  自动组合  π演算  形式化验证  
视点合成中重叠需求的不一致优先级处理 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1379-1387
作者:  牟克典;  金芝;  陆汝钤
收藏  |  浏览/下载：75/0  |  提交时间：2021/01/14
需求工程  多视点  需求优先级  不一致性  
线性系统静态输出反馈镇定的LMI方法(英文) 期刊论文
控制理论与应用, 2001, 页码: 843
作者:  王金枝;  张纪峰
收藏  |  浏览/下载：68/0  |  提交时间：2021/01/14
线性矩阵不等式  静态输出反馈  不确定性  
客户／服务器风格的体系结构描述语言NEWCOM 期刊论文
计算机学报, 1998, 卷号: 21.0, 期号: 012, 页码: 1101-1111
作者:  刘;  赖辉;  金芝;  蒋爱军;  陆汝钤
收藏  |  浏览/下载：101/0  |  提交时间：2021/01/14
体系结构  描述语言  客户／服务器  NEWCOM语言  MIS  
The Structure and Semantics of an Object—Oriented Logic Programming Language：SCKE 期刊论文
计算机科学技术学报：英文版, 1995, 卷号: 10.0, 期号: 1.0, 页码: 74-84
作者:  金芝
收藏  |  浏览/下载：65/0  |  提交时间：2021/01/14
程序设计  逻辑语言  SCKE语言