×
验证码:
换一张
Forgotten Password?
Stay signed in
China Science and Technology Network Pass Registration
×
China Science and Technology Network Pass Registration
Log In
Chinese
|
English
中国科学院数学与系统科学研究院机构知识库
KMS Of Academy of mathematics and systems sciences, CAS
Log In
Register
ALL
ORCID
Title
Creator
Date Issued
Subject Area
Keyword
Document Type
Source Publication
Date Accessioned
Indexed By
Publisher
Funding Project
MOST Discipline Catalogue
Study Hall
Image search
Paste the image URL
Home
Collections
Authors
DocType
Subjects
K-Map
News
Search in the results
Collection
Institute ... [1]
Institue o... [1]
Authors
Gao Xiaosh... [1]
Zhang Linb... [1]
Document Type
Journal a... [13]
Date Issued
2013 [1]
2011 [1]
2008 [1]
2006 [1]
2005 [2]
2003 [1]
More...
Language
英语 [13]
Source Publication
软件学报 [13]
Funding Project
Indexed By
Funding Organization
×
Knowledge Map
CSpace
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
QQ
Weibo
Feedback
Browse/Search Results:
1-10 of 13
Help
Filters
Source Publication:软件学报
Selected(
0
)
Clear
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Issue Date Ascending
Issue Date Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
Submit date Ascending
Submit date Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
一种用例控例驱动的软件分析与设计方法
期刊论文
软件学报, 2013, 卷号: 024, 期号: 004, 页码: 675
Authors:
刘春
;
张伟
;
赵海燕
;
金芝
Favorite
  |  
View/Download:62/0
  |  
Submit date:2020/01/10
基于问题框架的需求建模:一种本体制导的方法
期刊论文
软件学报, 2011, 卷号: 022, 期号: 002, 页码: 177
Authors:
尹斌
;
金芝
;
陈小红
Favorite
  |  
View/Download:19/0
  |  
Submit date:2020/01/10
需求驱动的主动网构实体聚合
期刊论文
软件学报, 2008, 卷号: 019, 期号: 005, 页码: 1083
Authors:
郑丽伟
;
金芝
Favorite
  |  
View/Download:54/0
  |  
Submit date:2020/01/10
Petri网精细化操作及其在系统设计中的应用
期刊论文
软件学报, 2006, 卷号: 017, 期号: 001, 页码: 11
Authors:
夏传良
;
焦莉
;
陆维明
Favorite
  |  
View/Download:25/0
  |  
Submit date:2020/01/10
集群网络评测模型的新探索
期刊论文
软件学报, 2005, 卷号: 016, 期号: 006, 页码: 1131
Authors:
唐渊
;
孙家昶
;
张云泉
;
张林波
Favorite
  |  
View/Download:62/0
  |  
Submit date:2020/01/10
指定验证方的门限验证签名方案及安全性证明
期刊论文
软件学报, 2005, 卷号: 016, 期号: 011, 页码: 1967
Authors:
陈伟东
;
冯登国
;
谭作文
Favorite
  |  
View/Download:70/0
  |  
Submit date:2020/01/10
参数化模型欠、过和完整约束的判定算法
期刊论文
软件学报, 2003, 卷号: 014, 期号: 012, 页码: 2092
Authors:
蒋鲲
;
高小山
;
岳晶岩
Favorite
  |  
View/Download:22/0
  |  
Submit date:2020/01/10
基于用户访问模式的WWW浏览路径优化
期刊论文
软件学报, 2001, 卷号: 012, 期号: 006, 页码: 846
Authors:
周龙镶
;
阳小华
Favorite
  |  
View/Download:28/0
  |  
Submit date:2020/01/10
电子商务协议研究综述
期刊论文
软件学报, 2001, 卷号: 012, 期号: 007, 页码: 1015
Authors:
周龙骧
Favorite
  |  
View/Download:22/0
  |  
Submit date:2020/01/10
关于并行语言Gamma的结构化扩充
期刊论文
软件学报, 2000, 卷号: 011, 期号: 011, 页码: 1560
Authors:
韦梓楚
Favorite
  |  
View/Download:47/0
  |  
Submit date:2020/01/10