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

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

帮助

条数/页：排序方式：
	基于DTE策略的安全域隔离Z形式模型期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/01 安全域隔离信息流 DTE 可信管道形式化策略安全域域隔离形式模型系统安全性形式定义隔离技术形式分析方法信息流分析验证系统状态可信系统建模问题安全状态安全性质安全目标不变量语言基础Formal languages Magnetic domains Query languages Servers Specifications Verification
	敏捷软件过程的研究期刊论文 OAI收割计算机研究与发展, 2002, 卷号: 39, 期号: 11, 页码: 1456-1463 沈备军; 陈诚; 居德华 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/29 敏捷软件过程过程建模过程分析和优化敏捷软件过程软件开发敏捷性形式化定义资源模型系统分析软件企业模拟技术快速响应开发模式静态分析基于时间合作模型过程模型功能模型抽象层次产品模型性需求全球化快速化
	迭代演进式GIS需求分析模型研究中文期刊论文 OAI收割 2001 作者: 邵全琴; 苏奋振; 杜云艳收藏 \| 浏览/下载：18/0 \| 提交时间：2012/05/22 演进迭代模型 GIS需求工程需求定义结构化形式化
	多Agent软件系统体系结构及开发方法的研究－以工控系统组态软件SYNALL为例学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999 朱军收藏 \| 浏览/下载：14/0 \| 提交时间：2011/03/17 分布式开放系统软件体系结构接口定义语言形式化描述技术模型检查软件重用软件过程