设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
馆藏期刊(1)
CNKI学位论文(35)
知网期刊论文(21)
中图分类法(35)
文化、科学、教育、体育(1)
数理科学和化学(1)
工业技术(32)
交通运输(1)
在“
CNKI学位论文
”中,
命中:
35
条,耗时:小于0.01 秒
在所有数据库中总计命中:
57
条
1.
多视点需求工程的形式化方法研究
作者:
邵婧
关键词:
多视点需求工程
;
物资管理系统
;
Z语言
;
视点代理
论文级别:
硕士
学位年度:2007
2.
Z规格说明中序列和包的自动求精研究与实现
作者:
古丽
关键词:
Z规格说明
;
序列
包 ;
自动求精
论文级别:
硕士
学位年度:2007
3.
基于Isabelle平台的一般拓扑学机械化及自动定理证明研究
作者:
王建林
关键词:
数学机械化
;
定理机器证明
;
一般拓扑学
;
Isabelle
;
形式化
;
高阶逻辑
论文级别:
博士
学位年度:2012
4.
嵌入式软件需求规约到软件体系结构模型的转换研究
作者:
祝义
关键词:
嵌入式软件
;
需求规约
;
软件体系结构
;
形式化方法
;
模型驱动工程
;
非功能需求
;
进程代数
论文级别:
博士
学位年度:2011
5.
OCL约束验证与实现方法研究
作者:
罗清胜
关键词:
OCL
;
约束冲突
;
约束验证
;
Java解析器
论文级别:
硕士
学位年度:2006
6.
面向信息系统的需求获取研究
作者:
范里程
关键词:
软件需求工程
;
需求获取
;
需求建模
;
信息系统
论文级别:
硕士
学位年度:2006
7.
多媒体课件开发需求管理研究
作者:
何露露
关键词:
多媒体课件
;
需求开发
;
需求管理
;
应用
论文级别:
硕士
学位年度:2007
8.
B方法和构件技术在信息系统形式化开发中的应用研究
作者:
张志锋
关键词:
信息系统
;
构件
;
形式化
;
B方法
论文级别:
硕士
学位年度:2006
9.
基于形式方法面向服务的Web软件开发技术研究
作者:
孙军梅
关键词:
面向服务的软件体系结构
;
形式方法
;
本体
;
服务组合
;
服务发现
;
设计模式
;
基于模式的软件开发
;
形式化验证
论文级别:
博士
学位年度:2008
10.
基于描述逻辑的UML行为图的形式化研究
作者:
荣先球
关键词:
UML活动图
;
形式化方法
;
描述逻辑
;
时序扩展
;
时序描述逻辑
论文级别:
硕士
学位年度:2012
1
2
3
4
按检索点细分(35)
作者(1)
引文(35)
按论文级别细分(35)
博士(6)
硕士(29)
按学位年度细分(35)
2004年(1)
2005年(1)
2006年(3)
2007年(6)
2008年(6)
2009年(6)
2010年(3)
2011年(5)
2012年(4)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.