|
已选(0)清除
条数/页： 排序方式：
|
| 求解非对称广义特征问题的非准确精化位移求逆IRA方法 学位论文
2011, 2011
邱廷月
  收藏 | 浏览/下载：3/0 | 提交时间：2016/02/14
|
| 安全应用系统的形式化规范与求精过程研究 期刊论文
信息网络安全, 2009
李改成
收藏 | 浏览/下载：1/0 | 提交时间：2015/10/23
|
| 公平交换协议分析与实现技术研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
李改成
收藏 | 浏览/下载：13/0 | 提交时间：2011/03/17
|
| 结合搜索空间划分和抽象进行LTL模型检测 期刊论文
中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520
蒲飞; 张文辉
收藏 | 浏览/下载：5/0 | 提交时间：2011/07/01
|
| 形式化与可视化相结合的软件体系结构描述方法研究 期刊论文
2005, 卷号: 32, 期号: [db:dc_citation_issue], 页码: 205
作者: 戎玫 [1]; 张广泉 [2]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/03
|
| 软件体系结构求精方法研究 期刊论文
2003, 卷号: 30, 期号: [db:dc_citation_issue], 页码: 108
作者: 戎玫[1]; 张广泉[2]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/03
|
| 一种基于构件的软件体系结构求精方法及其应用 期刊论文
重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5
晏荣杰; 张广泉
收藏 | 浏览/下载：11/0 | 提交时间：2011/07/29
|
| 基于Tableau方法的Z规格说明求精 会议论文
2003'全国软件与应用学术会议, 2003-10-01
作者: 高晓雷[1]; 缪淮扣[2]
收藏 | 浏览/下载：1/0 | 提交时间：2019/05/10
|
| 可视化软件体系结构描述工具XYZ/ADL的设计与实现 期刊论文
重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6
张广泉; 骆华俊; 郑建丹
收藏 | 浏览/下载：8/0 | 提交时间：2011/07/29
|
| 基于组件的逐步求精程序设计方法 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
郑建丹
收藏 | 浏览/下载：14/0 | 提交时间：2011/03/17
|
