咨询与建议

限定检索结果

文献类型

  • 1,829 篇 会议
  • 118 册 图书
  • 18 篇 期刊文献

馆藏范围

  • 1,965 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 811 篇 工学
    • 658 篇 计算机科学与技术...
    • 484 篇 软件工程
    • 179 篇 信息与通信工程
    • 114 篇 材料科学与工程(可...
    • 101 篇 控制科学与工程
    • 69 篇 电气工程
    • 48 篇 电子科学与技术(可...
    • 39 篇 机械工程
    • 23 篇 建筑学
    • 22 篇 生物工程
    • 20 篇 土木工程
    • 19 篇 生物医学工程(可授...
    • 17 篇 网络空间安全
    • 16 篇 安全科学与工程
    • 15 篇 化学工程与技术
    • 12 篇 光学工程
  • 160 篇 理学
    • 92 篇 数学
    • 27 篇 系统科学
    • 26 篇 生物学
    • 23 篇 物理学
    • 22 篇 统计学(可授理学、...
  • 150 篇 管理学
    • 110 篇 管理科学与工程(可...
    • 55 篇 工商管理
    • 49 篇 图书情报与档案管...
  • 25 篇 教育学
    • 25 篇 教育学
  • 17 篇 医学
    • 16 篇 临床医学
    • 13 篇 基础医学(可授医学...
  • 15 篇 法学
    • 12 篇 社会学
  • 12 篇 经济学
    • 12 篇 应用经济学
  • 10 篇 文学
    • 10 篇 新闻传播学
  • 5 篇 军事学
  • 4 篇 农学
  • 1 篇 艺术学

主题

  • 309 篇 application soft...
  • 268 篇 software enginee...
  • 234 篇 computer science
  • 166 篇 software systems
  • 161 篇 computer archite...
  • 138 篇 computer aided s...
  • 116 篇 computer softwar...
  • 106 篇 programming
  • 93 篇 hardware
  • 90 篇 control systems
  • 87 篇 artificial intel...
  • 76 篇 costs
  • 70 篇 software
  • 63 篇 information syst...
  • 59 篇 prototypes
  • 58 篇 real time system...
  • 57 篇 computational mo...
  • 56 篇 systems engineer...
  • 56 篇 testing
  • 55 篇 humans

机构

  • 10 篇 school of comput...
  • 8 篇 department of co...
  • 8 篇 department of el...
  • 7 篇 weizmann inst sc...
  • 6 篇 technion israel ...
  • 6 篇 department of co...
  • 6 篇 department of so...
  • 6 篇 state key labora...
  • 5 篇 the moise and fr...
  • 5 篇 hebrew universit...
  • 5 篇 department of el...
  • 5 篇 ben gurion univ ...
  • 5 篇 computer science...
  • 5 篇 hebrew univ jeru...
  • 5 篇 ibm research hai...
  • 4 篇 tel aviv univers...
  • 4 篇 israel aircraft ...
  • 4 篇 tel aviv univ sc...
  • 4 篇 technion haifa
  • 4 篇 university of ha...

作者

  • 10 篇 kupferman orna
  • 8 篇 exman iaakov
  • 7 篇 maoz shahar
  • 7 篇 harel david
  • 6 篇 vardi moshe y.
  • 6 篇 winokur michael
  • 6 篇 j.z. lavi
  • 6 篇 ringert jan oliv...
  • 6 篇 a. yehudai
  • 6 篇 mordechai guri
  • 6 篇 yingxu wang
  • 6 篇 rumpe bernhard
  • 6 篇 tyszberowicz shm...
  • 5 篇 david harel
  • 5 篇 shahar maoz
  • 5 篇 goldstein moshe
  • 5 篇 rajkumar buyya
  • 5 篇 pnina soffer
  • 5 篇 balaban mira
  • 5 篇 marron assaf

语言

  • 1,955 篇 英文
  • 6 篇 其他
  • 4 篇 中文
检索条件"任意字段=Fourth Israel Conference on Computer Systems and Software Engineering"
1965 条 记 录,以下是131-140 订阅
排序:
SEMI FORMAL PROCESS MODEL FOR TECHNOLOGY-TRANSFER
SEMI FORMAL PROCESS MODEL FOR TECHNOLOGY-TRANSFER
收藏 引用
12TH INTERNATIONAL CONF ON software engineering : BUILDING A FOUNDATION FOR THE FUTURE ( ICSE 12 )
作者: GLYNN, G Ferranti Computer Systems Limited UK
The author describes a semiformal process model for technology transfer at Ferranti computer systems. Experience has shown that satisfactory transition takes place only when staff members move from one group to the ne... 详细信息
来源: 评论
An approach to specifying and verifying safety-critical systems with practical formal method SOFL  4
An approach to specifying and verifying safety-critical syst...
收藏 引用
4th IEEE International conference on engineering of Complex computer systems (ICECCS 98)
作者: Liu, SY Asuka, M Komaya, K Nakamura, Y Hiroshima City Univ Hiroshima Japan
One of the primary concerns in developing computer embedded safety-critical systems is how to develop quality software. software must fulfill its functional requirements and must not contribute to the violation of saf... 详细信息
来源: 评论
AN EFFICIENT IMPLEMENTATION OF BOOLEAN FUNCTIONS AND FINITE STATE MACHINES AS SELF-TIMED CIRCUITS
AN EFFICIENT IMPLEMENTATION OF BOOLEAN FUNCTIONS AND FINITE ...
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: DAVID, I GINOSAR, R YOELI, M Technion-Israel Inst of Technol Haifa Israel
General synthesis methods for efficiently implementing self-timed combinational logic (CL) and finite-state machines (FSM) are presented. The resulting CL is shown to require fewer gates than other proposed methods. T... 详细信息
来源: 评论
The architecture tradeoff analysis method  4
The architecture tradeoff analysis method
收藏 引用
4th IEEE International conference on engineering of Complex computer systems (ICECCS 98)
作者: Kazman, R Klein, M Barbacci, M Longstaff, T Lipson, H Carriere, J Carnegie Mellon Univ Inst Software Engn Pittsburgh PA 15213 USA
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in the architectures of software-intensive systems. This method was developed to pr... 详细信息
来源: 评论
Scalable resource scheduling: Design, assessment, prototyping
Scalable resource scheduling: Design, assessment, prototypin...
收藏 引用
8th israeli conference on computer systems and software engineering
作者: Kapelevich, M Kremien, O Bar Ilan Univ Ramat Gan Israel
Resource scheduling in distributed systems aims at achieving maximal system performance by utilizing the available system resources efficiently. Large distributed systems, comprising hundreds or thousands of nodes and... 详细信息
来源: 评论
PRACTICAL VISUAL TECHNIQUES FOR JOINT REFINEMENT OF STRUCTURE AND TEMPORAL BEHAVIOR IN REACTIVE SYSTEM-DESIGN
PRACTICAL VISUAL TECHNIQUES FOR JOINT REFINEMENT OF STRUCTUR...
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: BUHR, RJA Dept of Syst & Comput Eng Carleton Univ Ottawa Ont Canada
Highlights are presented of the visual notation MachineCharts and the corresponding architectural design method. The approach has its roots in Buhr diagrams for Ada, but is both deeper than Buhr diagrams and wider in ... 详细信息
来源: 评论
Tool and method reciprocity: A case study in requirements management  7
Tool and method reciprocity: A case study in requirements ma...
收藏 引用
7th israeli conference on computer systems and software engineering, ICCSSE 1996
作者: Gallant, Reuven Winokur, Michael Kudish, Joseph Israel Aircraft Industries Ben-Gurion Airport Israel Systems and Software Engineering P.O. Box 492 Rehovot76106 Israel
This paper examines the reciprocal influence of method, process and tool as evidenced in a case study in which a requirements management method and process were defined, evolved and applied on projects. Although a too... 详细信息
来源: 评论
COMPLEXITY AND UNCERTAINTY IN software-DESIGN
COMPLEXITY AND UNCERTAINTY IN SOFTWARE-DESIGN
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: MATHIASSEN, L STAGE, J Inst for Electron Syst Aalborg Univ Denmark
The authors focus on two modes of operation, namely, rational and experimental, and on two means of expression, namely, specifications and prototypes, as key features of approaches to software design. The discussion i... 详细信息
来源: 评论
ROBOT PROGRAMMING WITH A GENETIC ALGORITHM
ROBOT PROGRAMMING WITH A GENETIC ALGORITHM
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: DAVIDOR, Y Dept of Appl Math Weizmann Inst of Sci Rehovot Israel
Robot systems are an archetype of complex process control systems where valid production programs may have any number (>2) of process commands, which are difficult to optimize with classical methods. Robot trajecto... 详细信息
来源: 评论
THE software ESTIMATION DILEMMA, A SMALL STEP FORWARD
THE SOFTWARE ESTIMATION DILEMMA, A SMALL STEP FORWARD
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: LEVY, Z Dept of Inf Syst Univ of London UK
The EEM (Effort Estimation Model) for software development is a support system to assist in the process of economic evaluation of software projects that takes place when a project is about to start. At that point the ... 详细信息
来源: 评论