咨询与建议

限定检索结果

文献类型

  • 4,801 篇 会议
  • 355 册 图书
  • 80 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 5,233 篇 电子文献
  • 4 种 纸本馆藏

日期分布

学科分类号

  • 3,596 篇 工学
    • 3,093 篇 计算机科学与技术...
    • 2,589 篇 软件工程
    • 586 篇 信息与通信工程
    • 437 篇 控制科学与工程
    • 343 篇 电气工程
    • 230 篇 机械工程
    • 200 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 142 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 107 篇 建筑学
    • 100 篇 动力工程及工程热...
    • 94 篇 土木工程
    • 83 篇 交通运输工程
    • 82 篇 仪器科学与技术
    • 82 篇 材料科学与工程(可...
  • 994 篇 理学
    • 559 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 170 篇 物理学
    • 152 篇 统计学(可授理学、...
    • 77 篇 化学
  • 803 篇 管理学
    • 569 篇 管理科学与工程(可...
    • 302 篇 工商管理
    • 290 篇 图书情报与档案管...
  • 143 篇 医学
    • 120 篇 临床医学
    • 110 篇 基础医学(可授医学...
  • 129 篇 教育学
    • 126 篇 教育学
  • 111 篇 经济学
    • 111 篇 应用经济学
  • 108 篇 法学
    • 79 篇 社会学
  • 41 篇 农学
  • 11 篇 军事学
  • 8 篇 文学
  • 2 篇 艺术学

主题

  • 374 篇 software enginee...
  • 224 篇 software
  • 175 篇 artificial intel...
  • 154 篇 computer archite...
  • 143 篇 information syst...
  • 143 篇 application soft...
  • 130 篇 computer communi...
  • 114 篇 computer science
  • 110 篇 software enginee...
  • 109 篇 hardware
  • 109 篇 computer softwar...
  • 102 篇 real-time system...
  • 94 篇 control systems
  • 90 篇 computer aided s...
  • 74 篇 software systems
  • 72 篇 computational mo...
  • 72 篇 software design
  • 71 篇 software archite...
  • 61 篇 software testing
  • 61 篇 logics and meani...

机构

  • 21 篇 college of compu...
  • 10 篇 school of softwa...
  • 9 篇 univ york dept c...
  • 9 篇 dublin city univ...
  • 8 篇 department of co...
  • 8 篇 state key labora...
  • 7 篇 school of comput...
  • 7 篇 faculty of compu...
  • 6 篇 school of comput...
  • 6 篇 school of comput...
  • 6 篇 shanghai key lab...
  • 6 篇 college of compu...
  • 6 篇 university of ne...
  • 6 篇 faculty of compu...
  • 6 篇 carleton univ de...
  • 6 篇 univ haifa dept ...
  • 6 篇 school of inform...
  • 5 篇 univ chinese aca...
  • 5 篇 hebrew universit...
  • 5 篇 nanjing univ sta...

作者

  • 14 篇 kupferman orna
  • 14 篇 labiche yvan
  • 12 篇 david lo
  • 8 篇 mylopoulos john
  • 8 篇 yilmaz murat
  • 8 篇 reinhartz-berger...
  • 8 篇 xin xia
  • 8 篇 paige richard f.
  • 7 篇 o'connor rory v.
  • 7 篇 vardi moshe y.
  • 7 篇 clarke paul m.
  • 7 篇 biffl stefan
  • 7 篇 briand lionel c.
  • 7 篇 exman iaakov
  • 7 篇 sturm arnon
  • 6 篇 katz guy
  • 6 篇 maoz shahar
  • 6 篇 sulaiman shahida
  • 6 篇 lakhmi c. jain
  • 5 篇 bernady o. apduh...

语言

  • 5,054 篇 英文
  • 155 篇 其他
  • 40 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5237 条 记 录,以下是4241-4250 订阅
排序:
Test driven development (TDD)  4th
收藏 引用
4th International conference on Extreme Programming and Agile Processes in software engineering, XP 2003
作者: Fraser, Steven Beck, Kent Caputo, Bill Mackinnon, Tim Newkirk, James Poole, Charlie
this panel brings together practitioners with extensive experience in agile/XP methodologies to discuss the approaches and benefits of applying TDD. the goal of test driven development (TDD) is clean code that works. ... 详细信息
来源: 评论
IEEE-CS/ACM computing curriculum software engineering volume project
IEEE-CS/ACM computing curriculum software engineering volume...
收藏 引用
conference on software engineering Education & Training (CSEE&T)
作者: R. LeBlanc S. Mengel A. Sobel M. Ben-Menachem T.C. Lethbridge J.L. Diaz-Herrera T.B. Hilburn B. thompson Georgia Institute of Technology USA Texas Tech University USA Miami University USA Ben-Gurion University of the Negev Israel University of Ottawa Canada Rochester Institute of Technology USA Embrey-Riddle Aeronautical University USA University of Sunderland UK
来源: 评论
Protocols for malicious host revocation
Protocols for malicious host revocation
收藏 引用
5th International conference on Information and Communications Security, ICICS 2003
作者: Esparza, Oscar Soriano, Miguel Muñoz, Jose L. Forné, Jordi Department of Telematics Engineering Technical University of Catalonia C/ Jordi Girona 1 i 3. Campus Nord Mod C3 UPC Barcelona08034 Spain
Mobile agents are software entities that consist of code, data and state, and that can migrate autonomously from host to host executing their code. Security issues restrict the use of code mobility despite its benefit... 详细信息
来源: 评论
Design of embedded control systems
Design of embedded control systems
收藏 引用
IEEE International conference on Industrial Technology (ICIT)
作者: M. Colnaric Faculty of Electrical Engineering and Computer Science University of Maribor Maribor Slovenia
the paper presents some guidelines supported by a case study of a design of a fault tolerant computer control system. It was devised and implemented as a laboratory platform for the 5th framework project IFATIS. Inste... 详细信息
来源: 评论
A behavioural notion of subtyping for object-oriented programming in SPARK95
A behavioural notion of subtyping for object-oriented progra...
收藏 引用
8th Ada-Europe International conference on Reliable software Technologies, Ada-Europe 2003
作者: Lin, Tse-Min McDermid, John A. Real-Time Systems Research Group Department of Computer Science The University of York Heslington YorkYO10 5DD United Kingdom High Integrity Systems Engineering Research Group Department of Computer Science The University of York Heslington YorkYO10 5DD United Kingdom
the dynamic aspects of the object-oriented paradigm have prevented the adoption of the latter for the implementation of high integrity systems using the SPARK approach. this paper presents a proposal that allows objec... 详细信息
来源: 评论
Interoperability of hospital information systems: a case study
Interoperability of hospital information systems: a case stu...
收藏 引用
International conference on e-health Networking, Applications and Services (HealthCom)
作者: B. Vargas Pradeep Ray Westmead Childrens Hospital Australia University of New South Wales Australia
Like many other enterprises, hospitals and healthcare organizations are now adopting networked information systems that incorporate heterogeneous hardware, software, and other elements (e.g., conceptual models). It is... 详细信息
来源: 评论
Convincing the inconvincable  4th
收藏 引用
4th International conference on Extreme Programming and Agile Processes in software engineering, XP 2003
作者: Oliphant, Geoff ThoughtWorks Inc. Peek House 20 Eastcheap LondonEC3M 1EB United Kingdom
Despite the increasing knowledge base within the IT industry worldwide about the tremendous benefits of XP and Agile processes, there is still a long way to go to convince a lot of developers. A side effect of this po... 详细信息
来源: 评论
Electric field in power system substation during the capacitor bank switching-off
Electric field in power system substation during the capacit...
收藏 引用
UPEC 2003, 38th International Universities' Power engineering conference
作者: Tusaliu, Petre Coelho, C. Dias Pinto, J.A. University of Craiova Romania DEE Inst. Sup. de Engenharia de Coimbra Portugal Electrical Faculty University of Craiova Lapus Street no. 5 Craiova 1100 Romania
In this paper, it is evaluated the electric field at the ground level of a 220 kV overhead transmission line and the corresponding busbars in a substation, under the capacitor bank switching-off effect. the simulation... 详细信息
来源: 评论
Towards automated support for deriving test data from UML statecharts
Towards automated support for deriving test data from UML st...
收藏 引用
6th International conference on Unified Modeling Language, UML 2003
作者: Briand, Lionel C. Cui, Jim Labiche, Yvan Software Quality Engineering Laboratory Systems and Computer Engineering Department Carleton University 1125 Colonel By Drive OttawaONK1S5B6 Canada
Many statechart-based testing strategies result in specifying a set of paths to be executed through a (flattened) statechart. these techniques can usually be easily automated so that the tester does not have to go thr... 详细信息
来源: 评论
Using function points in XP – considerations  4th
收藏 引用
4th International conference on Extreme Programming and Agile Processes in software engineering, XP 2003
作者: Fuqua, Andrew M. Internet Security Systems 6303 Barfield Rd AtlantaGA30328 United States
I set out to discover whether function points (FP) would be useful on an Extreme Programming (XP) project. I wanted to know if using function points would produce a more accurate schedule, would be a fair predictor of... 详细信息
来源: 评论