咨询与建议

限定检索结果

文献类型

  • 85,796 篇 会议
  • 2,718 册 图书
  • 1,774 篇 期刊文献
  • 4 篇 学位论文
  • 2 篇 科技报告

馆藏范围

  • 90,287 篇 电子文献
  • 9 种 纸本馆藏

日期分布

学科分类号

  • 46,660 篇 工学
    • 38,358 篇 计算机科学与技术...
    • 31,921 篇 软件工程
    • 6,346 篇 控制科学与工程
    • 6,278 篇 信息与通信工程
    • 5,538 篇 电气工程
    • 3,208 篇 机械工程
    • 2,944 篇 电子科学与技术(可...
    • 2,051 篇 生物工程
    • 1,600 篇 生物医学工程(可授...
    • 1,479 篇 安全科学与工程
    • 1,407 篇 动力工程及工程热...
    • 1,373 篇 仪器科学与技术
    • 1,265 篇 建筑学
    • 1,198 篇 土木工程
    • 1,149 篇 材料科学与工程(可...
    • 1,034 篇 光学工程
    • 1,025 篇 交通运输工程
  • 13,133 篇 理学
    • 7,331 篇 数学
    • 2,658 篇 物理学
    • 2,362 篇 系统科学
    • 2,237 篇 生物学
    • 1,757 篇 统计学(可授理学、...
  • 11,137 篇 管理学
    • 7,839 篇 管理科学与工程(可...
    • 4,104 篇 工商管理
    • 4,077 篇 图书情报与档案管...
  • 2,139 篇 教育学
    • 2,113 篇 教育学
  • 1,376 篇 法学
    • 1,075 篇 社会学
  • 1,376 篇 医学
    • 1,176 篇 临床医学
    • 1,031 篇 基础医学(可授医学...
  • 1,312 篇 经济学
    • 1,303 篇 应用经济学
  • 382 篇 农学
  • 256 篇 文学
  • 194 篇 军事学
  • 62 篇 艺术学
  • 3 篇 哲学
  • 2 篇 历史学

主题

  • 8,330 篇 application soft...
  • 7,093 篇 software enginee...
  • 5,889 篇 computer archite...
  • 5,249 篇 software
  • 5,220 篇 computer science
  • 4,407 篇 software systems
  • 4,153 篇 hardware
  • 3,534 篇 computer aided s...
  • 3,258 篇 control systems
  • 2,641 篇 computational mo...
  • 2,216 篇 costs
  • 2,087 篇 programming
  • 1,806 篇 artificial intel...
  • 1,774 篇 computer softwar...
  • 1,740 篇 real time system...
  • 1,607 篇 testing
  • 1,438 篇 real-time system...
  • 1,414 篇 software design
  • 1,370 篇 protocols
  • 1,350 篇 information syst...

机构

  • 196 篇 college of compu...
  • 114 篇 school of comput...
  • 60 篇 school of comput...
  • 56 篇 college of compu...
  • 54 篇 school of comput...
  • 49 篇 department of co...
  • 40 篇 college of compu...
  • 37 篇 department of el...
  • 37 篇 school of comput...
  • 36 篇 school of electr...
  • 36 篇 department of el...
  • 33 篇 institute of inf...
  • 33 篇 state key labora...
  • 32 篇 school of comput...
  • 32 篇 department of el...
  • 31 篇 department of co...
  • 31 篇 department of el...
  • 29 篇 department of co...
  • 28 篇 school of comput...
  • 27 篇 department of co...

作者

  • 49 篇 anon
  • 38 篇 bernady o. apduh...
  • 36 篇 bosch jan
  • 34 篇 o'connor rory v.
  • 28 篇 shaoying liu
  • 28 篇 li yang
  • 26 篇 dubinsky yael
  • 26 篇 ebrahim babaei
  • 22 篇 zhu huibiao
  • 21 篇 lei wang
  • 21 篇 dong jin song
  • 20 篇 katz guy
  • 19 篇 zhang lei
  • 17 篇 levent yilmaz
  • 17 篇 rui wang
  • 17 篇 wenyun zhao
  • 17 篇 shahar maoz
  • 17 篇 vardi moshe y.
  • 16 篇 weiming shen
  • 16 篇 noraziah a.

语言

  • 88,855 篇 英文
  • 963 篇 其他
  • 434 篇 中文
  • 32 篇 西班牙文
  • 18 篇 葡萄牙文
  • 17 篇 德文
  • 14 篇 土耳其文
  • 13 篇 俄文
  • 9 篇 法文
  • 4 篇 捷克文
  • 4 篇 日文
  • 2 篇 乌克兰文
  • 1 篇 朝鲜文
检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"
90294 条 记 录,以下是4981-4990 订阅
排序:
srcSlice: A Tool for Efficient Static Forward Slicing  16
srcSlice: A Tool for Efficient Static Forward Slicing
收藏 引用
38th IEEE/ACM International conference on software engineering Companion (ICSE)
作者: Newman, Christian D. Sage, Tessandra Collard, Michael L. Alomari, Hakam W. Maletic, Jonathan I. Kent State Univ Dept Comp Sci Kent OH 44242 USA Univ Akron Dept Comp Sci Akron OH 44325 USA Miami Univ Dept Comp Sci & Software Engn Oxford OH 45056 USA
An efficient lightweight forward static slicing tool is presented. The tool is implemented on top of srcML, an XML representation of source code. The approach does not compute the full program dependence graph but ins... 详细信息
来源: 评论
Adaptive stabilization of reactive protocols
Adaptive stabilization of reactive protocols
收藏 引用
24th International conference on Foundations of software Technology and Theoretical computer Science
作者: Kutten, S Patt-Shamir, B Technion Israel Inst Technol IL-32000 Haifa Israel Tel Aviv Univ IL-69978 Tel Aviv Israel
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the number of processors hit by the fault. Ge... 详细信息
来源: 评论
Optimized design methodology for an integration of electrical control systems
Optimized design methodology for an integration of electrica...
收藏 引用
20th Annual Canadian conference on Electrical and computer engineering
作者: Kebbati, Y. Souffl, H. K. LPCE CNRS Orleans France
VLSI circuits design allows today to consider new modes of implementation for electrical controls. However, design techniques require an adaptation effort that few designers, too accustomed to the software approach, p... 详细信息
来源: 评论
software Reliability Prediction Based on a Formal Requirements Specification
收藏 引用
13th International-computer-Society-of-Iran-computer conference
作者: Alipour, Hooshmand Isazadeh, Ayaz Islamic Azad Univ Pars Abad Moghan Pars Abad Moghan Iran Tabriz Univ Dept Comp Sci Tabriz Iran
software reliability models are mostly used at the test phased there are only a few models that are employed at early phase of software development. Early prediction, however, is very important for better prognosis an... 详细信息
来源: 评论
Architectural level risk assessment tool based on UML specifications
Architectural level risk assessment tool based on UML specif...
收藏 引用
25th International conference on software engineering (ICSE 2003)
作者: Wang, T Hassan, A Guedem, A Abdelmoez, W Goseva-Popstojanova, K Ammar, H W Virginia Univ Lane Dept Comp Sci & Elect Engn Morgantown WV 26506 USA
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an organization to focus on defect detection... 详细信息
来源: 评论
software requirements prioritizing
Software requirements prioritizing
收藏 引用
2nd International conference on Requirements engineering
作者: Karlsson, J SOFTLAB AB S-58330 LINKOPINGSWEDEN
The importance of candidate software requirements can vary by orders of magnitude, yet most software providers do not have accurate and efficient means for selecting among them. This papers describes a case study at E... 详细信息
来源: 评论
Rigorous approach to metrication: A field trial using kindra
Rigorous approach to metrication: A field trial using kindra
收藏 引用
software engineering 88
作者: Bache, R. Tinker, R. Cent for Systems & Software Engineering
The authors argue that only by formulating and validating software metrics in a more rigorous way can one understand and measure important software attributes and find predictions of the development process. They disc... 详细信息
来源: 评论
How to teach practical software Quality Assurance - An experience report  1
How to teach practical Software Quality Assurance - An exper...
收藏 引用
1st Asia-Pacific conference on Quality software
作者: Thompson, JB Edwards, HM Univ Sunderland Sch Comp Engn & Technol Sunderland SR6 0DD England
The product/process duality of software Quality is highlighted and problems of providing computing students, whether on undergraduate or postgraduate courses, with experiences analogous to those found in industry are ... 详细信息
来源: 评论
Formally specifying engineering design rationale
Formally specifying engineering design rationale
收藏 引用
Proceedings of the 1997 12th IEEE International Automated software engineering conference, ASE
作者: Williamson, Keith Healy, Michael Boeing Co Seattle United States
This paper briefly describes our initial experiences in applied research of formal approaches to the generation and maintenance of software systems supporting structural engineering tasks. We describe the business con... 详细信息
来源: 评论
Adaptive reconstruction of freeform objects with 3D SOM neural network grids  9
Adaptive reconstruction of freeform objects with 3D SOM neur...
收藏 引用
9th Pacific conference on computer Graphics and Applications (Pacific Graphics 01)
作者: Barhak, J Fischer, A Technion Israel Inst Technol Dept Mech Engn CMSR Lab Comp Graph & CAD IL-32000 Haifa Israel
Reverse engineering is an important process in CAD systems today. Yet several open problems lead to a bottleneck in the reverse engineering process. First, because the topology of the object to be reconstructed is unk... 详细信息
来源: 评论