咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4531-4540 订阅
排序:
Modelling an industrial software process using a commercially available tool  7
Modelling an industrial software process using a commerciall...
收藏 引用
7th israeli conference on computer systems and software engineering, ICCSSE 1996
作者: Martin, D. Nilsson, R. Hallstrand, J. Jauhiainen, P. Malm, H. Broadcom Eireann Research Clanwilliam Place Dublin 2 Ireland Ericsson Telecommunications System Laboratories P.O.Box 1505 AlvsjoS-125 25 Sweden
Although there has been much interest in process modelling and automation within the software industry, there have been few independent reports of experience gained an the application of this technology to industrial ... 详细信息
来源: 评论
GEO-WASA-combining GIS technology with workflow management  7
GEO-WASA-combining GIS technology with workflow management
收藏 引用
7th israeli conference on computer systems and software engineering, ICCSSE 1996
作者: Medeiros, Claudia Bauzer Vossen, Gottfried Weske, Mathias Campinas13081 Brazil Lehrstuhl Fuer Informatik University of Muenster MuensterD-48159 Germany
Geoprocessing environments require the cooperation of experts in different fields, using heterogeneous, distributed data, by means of specialized tools, among which GIS-geographic information systems-play a prominent ... 详细信息
来源: 评论
Testing concurrent programs:A formal evaluation of coverage criteria  7
Testing concurrent programs:A formal evaluation of coverage ...
收藏 引用
7th israeli conference on computer systems and software engineering, ICCSSE 1996
作者: Factor, Michael Farchi, Eitan Lichtenstein, Yossi Maka, Yossi Haifa Research Laboratory MATAM IBM Israel Science and Technology Haifa31905 Israel
While the literature on testing sequential programs is rich, there has been very little work on testing concurrent programs. One major trend in testing sequential code is to define program-based, test data adequacy cr... 详细信息
来源: 评论
TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems  5th
TERSE: A visual environment for supporting analysis, verific...
收藏 引用
Proceedings of the 1996 5th International conference on Algebraic Methodology and software Technology, AMAST'96
作者: Kawaguchi, N. Sakabe, T. Inagaki, Y. Department of Information Engineering Nagoya University Furo-cho Chikusa-ku Nagoya 464-01 Japan
来源: 评论
computer science apprenticeship  7
Computer science apprenticeship
收藏 引用
7th israeli conference on computer systems and software engineering, ICCSSE 1996
作者: Shabo, Amnon Guzdial, Mark Stasko, John Graphics Visualization and Usability Center College of Computing Georgia Institute of Technology United States
One of the old and effective ways of training is the apprenticeship way. the effectiveness of training people in the workplace comes from different reasons. One reason may be the engagement of the apprentice in real-w... 详细信息
来源: 评论
A system for document reuse  7
A system for document reuse
收藏 引用
7th israeli conference on computer systems and software engineering, ICCSSE 1996
作者: Barta, David Gil, Joseph Faculty of Computer Science Technion-Israel Institute of Technology Israel
this paper is concerned with issues and methods for reusing document pieces in the process of constructing other document. Asserting that the practice of reuse deserves a central role in the process of document creati... 详细信息
来源: 评论
Creating transient hypertextual access structures for C programs  7
Creating transient hypertextual access structures for C prog...
收藏 引用
7th israeli conference on computer systems and software engineering, ICCSSE 1996
作者: Koskinen, Jussi Department of Computer Science and Information Systems University of Jyvaskyla P.O.Box 35 JyvaskylaSF-40351 Finland
the paper describes how hypertextual access structures can be formed to support the maintenance of C programs. the access structures are formed automatically based on the HyperSoft model and method developed earlier. ... 详细信息
来源: 评论
Understanding large-scale behaviour patterns in complex systems
Understanding large-scale behaviour patterns in complex syst...
收藏 引用
2nd IEEE International conference on engineering of Complex computer systems / 6th CSESAW / 4th IEEE RTAW / SES 96
作者: Buhr, RJA CARLETON UNIV DEPT SYST & COMP ENGNOTTAWAON K1S 5B6CANADA
Understanding how a complex system works as a whole can be difficult because it requires blending information about structure and behaviour into a coherent whole that can be understood without reference to details of ... 详细信息
来源: 评论
computer based expert system for battle damage repair of composite structures
Computer based expert system for battle damage repair of com...
收藏 引用
Proceedings of the 1996 5th International conference on computer Aided Design in Composite Material Technology
作者: Gali, S. Kressel, I. Karuchro, Z. Lebovitz, H. IAI Engineering Div Ben Gurion International Airport Israel
the computerized System, REPCOMP, developed for damage repair of composite structures is an expert system for the design of damage repair. REPCOMP provides detail repair instructions and drawings, taking into consider... 详细信息
来源: 评论
Using heterogeneous formal methods in distributed software engineering education  5th
Using heterogeneous formal methods in distributed software e...
收藏 引用
Proceedings of the 1996 5th International conference on Algebraic Methodology and software Technology, AMAST'96
作者: Kramer, B.J. FernUniversität Hagen D-58084 Germany
At FernUniversität we developed a new distance education course on Distributed software engineering especially designed for graduate students of the Electrical engineering faculty. the course focuses on reactive ... 详细信息
来源: 评论