咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是101-110 订阅
排序:
Applying slicing technique to software architectures  4
Applying slicing technique to software architectures
收藏 引用
4th IEEE International conference on engineering of Complex computer systems (ICECCS 98)
作者: Zhao, JJ Fukuoka Inst Technol Dept Comp Sci & Engn Higashi Ku Fukuoka 8110214 Japan
software architecture is receiving increasingly attention as a critical design level for software systems. As software architecture design resources (in the form of architectural specifications) are going to be accumu... 详细信息
来源: 评论
A LITERATE PROGRAMMING DESIGN LANGUAGE
A LITERATE PROGRAMMING DESIGN LANGUAGE
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: BROWN, M CORDES, D Dept of Comput Sci Univ of Alabama AL USA
A literate programming paradigm that provides an environment suitable for documenting and organizing the low-level design of a system is presented. It is shown that a literate program design language (PDL) strengthens... 详细信息
来源: 评论
Design of a library for simulations
Design of a library for simulations
收藏 引用
5th israel conference on computer systems and software engineering
作者: Pollatschek, M.A. Fac of Ind Eng & Manage Technion Haifa Israel
A methodology for library design is outlined and it is implemented for the domain of discrete event simulations. The top-down approach consists of five stages: (1) state the users' needs, (2) state the general goa... 详细信息
来源: 评论
STEPWISE OBJECT-ORIENTED SYSTEM-DESIGN
STEPWISE OBJECT-ORIENTED SYSTEM-DESIGN
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: MRDALJ, S Dept of Operations Res & Inf Syst Eastern Michigan Univ Ypsilanti MI USA
A structured method is presented for object-oriented system design, with special emphasis on discovering objects within the system and creating an object-oriented model of the system. First, a technique is introduced ... 详细信息
来源: 评论
A NEW software TOOL FOR TESTABILITY ANALYSIS OF COMPLEX VLSI DEVICES
A NEW SOFTWARE TOOL FOR TESTABILITY ANALYSIS OF COMPLEX VLSI...
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: BUONANNO, G SCIUTO, D Dipartimento di Elettronica Politecnico di Milano Italy
A testability analysis tool is presented that uses a set of testability conditions which allow qualitative evaluation of the testability of a VLSI device from the earliest phases of the circuit's design. The tool ... 详细信息
来源: 评论
Visual data flow language based on iterative constructs
Visual data flow language based on iterative constructs
收藏 引用
8th israeli conference on computer systems and software engineering
作者: Auguston, M New Mexico State Univ Las Cruces United States
Iterative control constructs in data flow programming languages have always been a challenging part of language design. We suggest a solution for iterative processing in data flow diagrams based on the notion of a con... 详细信息
来源: 评论
The problem of tested elements reduction in structural program testing
The problem of tested elements reduction in structural progr...
收藏 引用
5th israel conference on computer systems and software engineering
作者: Lin, Jin-Cherng Chen, Wu-Chiang
An approach to the tested elements reduction problem, in which a set of reduction rules is developed to detect the dominated tested elements and remove them is proposed. The dominant elements are then manifested. Thes... 详细信息
来源: 评论
A procedure for risk management with reference to software
A procedure for risk management with reference to software
收藏 引用
5th israel conference on computer systems and software engineering
作者: Ben-Menachem, Mordechai Quality Awareness Ltd
The author examines risk management through use of analysis disciplines. A method for risk management is presented which consists of a three-dimensional classification schema. This classification method is based on ri... 详细信息
来源: 评论
Parallel design verification using standard hardware and sequential software
Parallel design verification using standard hardware and seq...
收藏 引用
5th israel conference on computer systems and software engineering
作者: Shiran, Yehuda Silvar-Lisco
A novel algorithm for parallel design verification is described. Its data model is that of the data flow computer and is based on the partitioning of the design verification cycle into independent tasks that can be ru... 详细信息
来源: 评论
EXECUTING JSD SPECIFICATIONS - THE SPECIFICATION PRESENTATION TOOL
EXECUTING JSD SPECIFICATIONS - THE SPECIFICATION PRESENTATIO...
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: FLYNN, D WARHURST, R Dept of Comput Univ of Manchester Inst of Sci & Technol Manchester UK
A specification presentation tool which is founded on the specification execution approach is described. The purpose of the presentation tool is to give automated assistance to the system analyst in the presentation o... 详细信息
来源: 评论