咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
AN EXCEPTION HANDLING MECHANISM FOR COMMUNICATING SEQUENTIAL PROCESS AND ITS VERIFICATION RULES
AN EXCEPTION HANDLING MECHANISM FOR COMMUNICATING SEQUENTIAL...
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: BANATRE, JP ISSARNY, V IRISA/INRIA Rennes France
An exception-handling mechanism for communicating sequential processes is proposed and its verification rules are detailed. The proposed mechanism is directly expressible in the embedding programming language. Consequ... 详细信息
来源: 评论
DEVELOPMENT AND MANAGEMENT OF LARGE-SCALE CORPORATE DATA-PROCESSING systems IN INDUSTRIAL COMPANIES
DEVELOPMENT AND MANAGEMENT OF LARGE-SCALE CORPORATE DATA-PRO...
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: WINDFUHR, M Hoesch AG Dortmund West Germany
The development and management of an information system is described using examples taken from the steel and mining company Hoesch AG. A discussion of the information processing organization is followed by an examinat... 详细信息
来源: 评论
Variations on parallel control structures
Variations on parallel control structures
收藏 引用
5th israel conference on computer systems and software engineering
作者: Bahat, Eran Barak, Amnon
The authors introduce control structures for parallel programming designed to facilitate the process of developing parallel programs. These basic control structures are listed, and are given intuitive sequential and p... 详细信息
来源: 评论
Building soft real-time monitors based on software reuse  4
Building soft real-time monitors based on software reuse
收藏 引用
4th IEEE International conference on engineering of Complex computer systems (ICECCS 98)
作者: Hsu, ML Kuo, TW Natl Chung Cheng Univ Dept Comp Sci & Informat Engn Chiayi 621 Taiwan
This paper proposes an integration framework to develop real-time monitor programs based on software reuse. A custom-made real-time monitor program can be quickly built by integrating existing monitor programs in comm... 详细信息
来源: 评论
A concurrent approach to systems development and requirements specifications: A case study
A concurrent approach to systems development and requirement...
收藏 引用
5th israel conference on computer systems and software engineering
作者: Winokur, M. Engel, A. Gallant, R.
At israel Aircraft Industries (IAI), a variety of system development processes have been used to address the various phases of computer-based system (CBS) system development. These include methodologies and techniques... 详细信息
来源: 评论
Understanding large-scale software systems - structure and flows
收藏 引用
EMPIRICAL software engineering 2021年 第3期26卷 1-39页
作者: Levy, Omer Feitelson, Dror G. Hebrew Univ Jerusalem Dept Comp Sci IL-91904 Jerusalem Israel
Program comprehension accounts for a large portion of software development costs and effort. The academic literature contains mainly research on program comprehension of short code snippets, but comprehension at the s... 详细信息
来源: 评论
QUISAP - AN ENVIRONMENT FOR RAPID PROTOTYPING OF REAL-TIME systems
QUISAP - AN ENVIRONMENT FOR RAPID PROTOTYPING OF REAL-TIME S...
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: ESPINOSA, A GARCIAFORNES, A CRESPO, A DELAPUENTE, JA Grupo de Automatica e Informatica Industrial Univ Politecnica de Valencia Spain
An environment for rapid prototyping and analysis of real-time systems is presented. The real-time system is specified using the language QUISAP and, from this specification, a model based on timed Petri nets for form... 详细信息
来源: 评论
METHODOLOGIES AND CASE TOOLS - THE MISSING LINK
METHODOLOGIES AND CASE TOOLS - THE MISSING LINK
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: GOLDSTEIN, R Sivan Computers Ltd Tel-Aviv Israel
A generalized logical model for CASE tools, which is designed as a 'methodology generator' for system development, is presented. The model is applied using the SuitCASE workstation, which enables all parties i... 详细信息
来源: 评论
An undergraduate program in embedded systems engineering
An undergraduate program in embedded systems engineering
收藏 引用
18th conference on software engineering Education and Training
作者: Haberman, B Trakhtenbrot, M Computer Science Dept. Holon Academic Institute of Technology Israel
The area of Embedded systems (ES) has been gaining momentum in recent years. Such systems are used in a wide spectrum of application areas in industry. According to experts, the demand for knowledgeable and skilled ac... 详细信息
来源: 评论
TEMPORAL-CAUSAL SYSTEM SPECIFICATION
TEMPORAL-CAUSAL SYSTEM SPECIFICATION
收藏 引用
1990 IEEE INTERNATIONAL CONF ON computer systems AND software engineering
作者: CASTRO, J KRAMER, J Dept of Comput Imperial Coll London UK
A temporal-causal framework that addresses specification, construction and evolution of concurrent and distributed systems in a unified way is presented. A pluralistic approach to specification is pursued, and three d... 详细信息
来源: 评论