咨询与建议

限定检索结果

文献类型

  • 276 篇 会议
  • 60 篇 期刊文献

馆藏范围

  • 336 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 209 篇 工学
    • 185 篇 计算机科学与技术...
    • 140 篇 软件工程
    • 30 篇 控制科学与工程
    • 21 篇 信息与通信工程
    • 16 篇 交通运输工程
    • 15 篇 机械工程
    • 14 篇 生物工程
    • 11 篇 建筑学
    • 9 篇 土木工程
    • 8 篇 材料科学与工程(可...
    • 8 篇 网络空间安全
    • 7 篇 电气工程
    • 6 篇 动力工程及工程热...
    • 4 篇 电子科学与技术(可...
    • 4 篇 石油与天然气工程
    • 4 篇 安全科学与工程
  • 97 篇 理学
    • 73 篇 数学
    • 16 篇 生物学
    • 13 篇 统计学(可授理学、...
    • 9 篇 系统科学
    • 8 篇 物理学
  • 73 篇 管理学
    • 42 篇 管理科学与工程(可...
    • 32 篇 图书情报与档案管...
    • 14 篇 工商管理
    • 5 篇 公共管理
  • 9 篇 医学
    • 8 篇 公共卫生与预防医...
    • 4 篇 基础医学(可授医学...
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 8 篇 法学
    • 6 篇 社会学
  • 5 篇 艺术学
    • 5 篇 设计学(可授艺术学...
  • 2 篇 农学
  • 1 篇 教育学

主题

  • 29 篇 software testing
  • 23 篇 testing
  • 21 篇 petri nets
  • 20 篇 software
  • 20 篇 web services
  • 15 篇 model checking
  • 13 篇 software quality
  • 10 篇 analytical model...
  • 10 篇 cloud computing
  • 9 篇 laboratories
  • 9 篇 quality of servi...
  • 9 篇 computational mo...
  • 9 篇 semantics
  • 8 篇 algorithm design...
  • 8 篇 feature extracti...
  • 8 篇 security
  • 7 篇 software reliabi...
  • 7 篇 costs
  • 7 篇 business
  • 7 篇 training

机构

  • 165 篇 shanghai key lab...
  • 73 篇 school of comput...
  • 55 篇 department of co...
  • 40 篇 shanghai key lab...
  • 24 篇 department of co...
  • 19 篇 shanghai key lab...
  • 19 篇 school of comput...
  • 16 篇 school of inform...
  • 16 篇 shanghai key lab...
  • 10 篇 school of comput...
  • 10 篇 school of cyber ...
  • 9 篇 shanghai key lab...
  • 8 篇 east china unive...
  • 7 篇 shanghai jiao to...
  • 7 篇 school of inform...
  • 7 篇 guangxi collabor...
  • 7 篇 computing center...
  • 6 篇 shanghai enginee...
  • 6 篇 shanghai key lab...
  • 6 篇 faculty of engin...

作者

  • 37 篇 lizhi cai
  • 32 篇 yu huiqun
  • 31 篇 miao huaikou
  • 30 篇 cai lizhi
  • 29 篇 fan guisheng
  • 24 篇 zhenyu liu
  • 21 篇 chen liqiong
  • 19 篇 liu zhenyu
  • 16 篇 huaikou miao
  • 14 篇 chen mingang
  • 13 篇 chen shengbo
  • 11 篇 gao honghao
  • 10 篇 mingang chen
  • 10 篇 liu pan
  • 10 篇 zhang juan
  • 9 篇 genxing yang
  • 9 篇 hongwei zeng
  • 9 篇 yun hu
  • 9 篇 chunhe xia
  • 9 篇 tianbo wang

语言

  • 331 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"机构=Shanghai Key Laboratory of Computer Software Testing and Evaluation"
336 条 记 录,以下是241-250 订阅
排序:
Securing personal health records in clouds by enforcing sticky policies
收藏 引用
Telkomnika - Indonesian Journal of Electrical Engineering 2013年 第4期11卷 2200-2208页
作者: Leng, Chunxia Yu, Huiqun Wang, Jingming Huang, Jianhua Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China School of Computer and Information Engineering Chuzhou University Anhui 239012 China
The personal health records (PHR) always contain much health-related privacy information in different categories. When storing the PHR data in the cloud, the PHR owner losescontrol to the sensitive information and is ... 详细信息
来源: 评论
Application and method of quality management for small-size software project
Application and method of quality management for small-size ...
收藏 引用
IET International Conference on Information Science and Control Engineering 2012, ICISCE 2012
作者: Yang, Lin Liu, Zhenyu Cai, Lizhi Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
This paper studies the quality management method in small-size software project. In traditional method, test and evaluation are prerequisite methods to improve the project quality. The paper analyses characteristics a... 详细信息
来源: 评论
PWMDS: A system supporting provenance-based matching and discovery of workflows in proteomics data analysis
PWMDS: A system supporting provenance-based matching and dis...
收藏 引用
2012 IEEE 16th International Conference on computer Supported Cooperative Work in Design, CSCWD 2012
作者: Zhai, Guangmeng Lu, Tun Huang, Xing Chen, Zhaocan Ding, Xianghua Gu, Ning School of Computer Science Fudan University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
Provenance plays a fundamental role in e-science to keep track of the data processing execution, evaluate the data quality, reproduce the analysis results, and especially share and re-use workflows. How to take full a... 详细信息
来源: 评论
Cloud and SNS supported collaboration in AEC industry
Cloud and SNS supported collaboration in AEC industry
收藏 引用
2012 IEEE 16th International Conference on computer Supported Cooperative Work in Design, CSCWD 2012
作者: Jiao, Yi Wang, Yinghui Yuan, Lei Li, Lin School of Computer Science Fudan University Shanghai 200433 China Shanghai Key Laboratory of Software Testing and Evaluation Shanghai 201114 China Shanghai Ruanzhong Information Technology Co. Ltd. Shanghai 200235 China
The intrinsic construction project nature of one-of-a-kind and the requirement of massive data exchange make collaboration one of the critical factors towards success. However, due to the complexity of multiple phases... 详细信息
来源: 评论
An evaluation model in software testing based on AHP
An evaluation model in software testing based on AHP
收藏 引用
2012 IEEE/ACIS 11th International Conference on computer and Information Science, ICIS 2012
作者: Zhang, Juan Tong, Wei Qin Cai, Li Zhi School of Computer Engineering and Science Shanghai University Shanghai China Jiangxi University of Finance and Economics Jiangxi China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
In this paper, a novel software testing evaluation model is proposed for specification based software testing. The proposed model uses Analytic Hierarchy Process (AHP) to analyze the weight of influence each individua... 详细信息
来源: 评论
Research on VAF of IFPUG method based on Fuzzy Analytic Hierarchy Process
Research on VAF of IFPUG method based on Fuzzy Analytic Hier...
收藏 引用
2012 IEEE/ACIS 11th International Conference on computer and Information Science, ICIS 2012
作者: Peng, Hong Yang, GenXing Cai, Lizhi School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
As the weight of the general system characteristics (GSC) in IFPUG method is the same in the different types of software systems. To solve the problem, this article uses the Fuzzy AHP (Analytic Hierarchy Process) appr... 详细信息
来源: 评论
Non-structure data storage technology-An discussion
Non-structure data storage technology-An discussion
收藏 引用
2012 IEEE/ACIS 11th International Conference on computer and Information Science, ICIS 2012
作者: Huang, Shidong Cai, Lizhi Liu, Zhenyu Hu, Yun School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
The traditional database is designed for the structured data and the complex query. In the environment of the cloud, the scale of data is very large, the data is nonstructured, the request of the data is dynamic, thes... 详细信息
来源: 评论
Application and method of quality management for small-size software project
Application and method of quality management for small-size ...
收藏 引用
IET International Conference on Information Science and Control Engineering 2012 (ICISCE 2012)
作者: Lin Yang Zhenyu Liu Lizhi Cai Shanghai Key Laboratory of Computer Software Evaluating and Testing China
This paper studies the quality management method in small-size software project. In traditional method, test and evaluation are prerequisite methods to improve the project quality. The paper analyses characteristics a... 详细信息
来源: 评论
An evaluation Model in software testing Based on AHP
An Evaluation Model in Software Testing Based on AHP
收藏 引用
International Conference on computer and Information Science (ACIS)
作者: Zhang Juan Tong Weiqin Cai Lizhi School of Computer Engineering and Science Shanghai University Shanghai China Jiangxi University of Finance and Economics Jiangxi China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
In this paper, a novel software testing evaluation model is proposed for specification based software testing. The proposed model uses Analytic Hierarchy Process (AHP) to analyze the weight of influence each individua... 详细信息
来源: 评论
LTL model checking probabilistic Petri net system
收藏 引用
International Journal of Advancements in Computing Technology 2012年 第1期4卷 172-178页
作者: Liu, Yang Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200072 China School of Information Science and Technology Taishan University Taian Shandong 271021 China
Nonfunctional property verification is becoming more and more important to computer system. In recent decades, in order to describe not only the system function but also the system performance, researchers in the area... 详细信息
来源: 评论