咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

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

作者

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

语言

  • 327 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"机构=Shanghai Key Laboratory of Computer Software Evaluating and Testing"
332 条 记 录,以下是291-300 订阅
排序:
Mapping UML activity diagrams to analyzable Petri net models
Mapping UML activity diagrams to analyzable Petri net models
收藏 引用
10th International Conference on Quality software, QSIC 2010
作者: Yang, Nianhua Yu, Huiqun Sun, Hua Qian, Zhilin 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
To enhance formal analysis, activity diagrams annotated with MARTE stereotypes are mapped into timed colored Petri nets with inhibitor arcs (TCPNIA). The mapping rules for the elements of activity diagrams and MARTE s... 详细信息
来源: 评论
A lightweight semantic framework towards collaboratvie development and integration of enterprise applications
A lightweight semantic framework towards collaboratvie devel...
收藏 引用
International Conference on computer Supported Cooperative Work in Design
作者: Jiao, Yi Li, Lin Ye, Nanrong School of Computer Science Fudan University Shanghai 200433 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai 201114 China Shanghai Ruanzhong Information Technology Co. Ltd. Shanghai 200235 China
The demand for quickly delivering robust enterprise applications has increasingly become a business imperative today. Semantic web technologies have received much interest due to their prospect in facilitating seamles... 详细信息
来源: 评论
evaluating software Maintainability Using Fuzzy Entropy Theory
Evaluating Software Maintainability Using Fuzzy Entropy Theo...
收藏 引用
International Conference on computer and Information Science (ACIS)
作者: Lizhi Cai Zhenyu Liu Juan Zhang Weiqin Tong Genxing Yang Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China School of Computer Engineering and Science Shanghai University China Shanghai Key Laboratory of Computer Software Evaluating and Testing China
With the development of information technology, a large number of software products enter the maintenance phase. The maintainability of software products continues to attract people's attention. This paper propose... 详细信息
来源: 评论
Analyzing real-time schedulability of resource-oriented distributed real-time embedded software
Analyzing real-time schedulability of resource-oriented dist...
收藏 引用
2010 2nd IEEE International Conference on Information Management and Engineering, ICIME 2010
作者: Chen, Liqiong Liu, Yunxiang Fan, Guisheng Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China
As computer systems become increasingly internetworked, Distributed Real-time Embedded (DRE) software is becoming increasingly common and important, a challenging problem faced by researchers and developers of DRE sof... 详细信息
来源: 评论
A propagation model of reputation query request
A propagation model of reputation query request
收藏 引用
2010 2nd IEEE International Conference on Information Management and Engineering, ICIME 2010
作者: Sun, Hua Yu, Huiqun Department of Computer Science and Engineering East China University of Science and Technology Shanghai China School of Information Science and Engineering Xinjiang University Urumqi China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
Reputation is a key factor to enhance reliability and performance of transactions in the network. Many works have focused on rating the reputation of the entities through kinds of technologies. The entities send the r... 详细信息
来源: 评论
An aspect oriented approach to analyzing fault of service composition
An aspect oriented approach to analyzing fault of service co...
收藏 引用
2010 IEEE Asia-Pacific Services Computing Conference, APSCC 2010
作者: Fan, Guisheng Yu, Huiqun Gu, Chunhua Chen, Liqiong 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 Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China
Service composition is an effective way to achieve value-added service, which has found wide application in software system. Fault handling is critical to achieve high reliability for these applications. However, the ... 详细信息
来源: 评论
A fault-tolerant strategy for improving the reliability of service composition
A fault-tolerant strategy for improving the reliability of s...
收藏 引用
10th International Conference on Quality software, QSIC 2010
作者: Yu, Huiqun Fan, Guisheng Chen, Liqiong Liu, Dongmei 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 Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China
Service composition is an important means for integrating the individual Web services for creating new value added systems that satisfy complex demands. Since, Web services exist in the heterogeneous environments on t... 详细信息
来源: 评论
The improved research on property-based remote attestation
The improved research on property-based remote attestation
收藏 引用
2010 International Conference on computer Application and System Modeling, ICCASM 2010
作者: Chen, Ting Yu, Huiqun Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Informatization Office East China University of Political Science and Law Shanghai 201620 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China
BPBA is a remote attestation model based on elliptic curve discrete logarithm bilinear paring, which includes attribute-configuration credential protocol, sign protocol, and verification algorithm. It can shorten the ... 详细信息
来源: 评论
Test case reusability metrics model
Test case reusability metrics model
收藏 引用
2010 2nd International Conference on computer Technology and Development, ICCTD 2010
作者: Zhang, Juan Cai, Lizhi Tong, Weiqing Yuan, Song Li, Ying 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 East China University of Science and Technology Shanghai China Nanjing XiaoZhuang University NanJing China
As organizations implement systematic reuse test cases in software testing to improve productivity and quality, they must be able to measure reusability of test case and identify the most effective reuse strategies. T... 详细信息
来源: 评论
Agent-Based Online Quality Measurement Approach in Cloud Computing Environment
Agent-Based Online Quality Measurement Approach in Cloud Com...
收藏 引用
IEEE WIC ACM International Conference on Web Intelligence (WI)
作者: Zhenyu Liu Tiejiang Liu Tun Lu Lizhi Cai Genxing Yang School of Computer Science Fudan University China Shanghai Key Laboratory of Computer Software Evaluating and Testing China
This paper studies online quality measurement in cloud computing environment. The paper analyzes concentration measure evaluation method of the current software quality evaluation system. As is known to all, the exist...
来源: 评论