咨询与建议

限定检索结果

文献类型

  • 86,124 篇 会议
  • 2,723 册 图书
  • 1,726 篇 期刊文献
  • 4 篇 学位论文
  • 2 篇 科技报告

馆藏范围

  • 90,573 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 46,771 篇 工学
    • 38,459 篇 计算机科学与技术...
    • 31,975 篇 软件工程
    • 6,391 篇 控制科学与工程
    • 6,351 篇 信息与通信工程
    • 5,584 篇 电气工程
    • 3,219 篇 机械工程
    • 2,960 篇 电子科学与技术(可...
    • 2,058 篇 生物工程
    • 1,600 篇 生物医学工程(可授...
    • 1,488 篇 安全科学与工程
    • 1,408 篇 动力工程及工程热...
    • 1,374 篇 仪器科学与技术
    • 1,271 篇 建筑学
    • 1,203 篇 土木工程
    • 1,161 篇 材料科学与工程(可...
    • 1,037 篇 光学工程
    • 1,031 篇 交通运输工程
  • 13,183 篇 理学
    • 7,373 篇 数学
    • 2,662 篇 物理学
    • 2,365 篇 系统科学
    • 2,244 篇 生物学
    • 1,768 篇 统计学(可授理学、...
  • 11,156 篇 管理学
    • 7,852 篇 管理科学与工程(可...
    • 4,112 篇 工商管理
    • 4,085 篇 图书情报与档案管...
  • 2,145 篇 教育学
    • 2,119 篇 教育学
  • 1,384 篇 医学
    • 1,180 篇 临床医学
    • 1,034 篇 基础医学(可授医学...
  • 1,377 篇 法学
    • 1,076 篇 社会学
  • 1,312 篇 经济学
    • 1,303 篇 应用经济学
  • 382 篇 农学
  • 257 篇 文学
  • 194 篇 军事学
  • 62 篇 艺术学
  • 2 篇 哲学
  • 2 篇 历史学

主题

  • 8,329 篇 application soft...
  • 7,111 篇 software enginee...
  • 5,921 篇 computer archite...
  • 5,292 篇 software
  • 5,225 篇 computer science
  • 4,425 篇 software systems
  • 4,162 篇 hardware
  • 3,534 篇 computer aided s...
  • 3,262 篇 control systems
  • 2,660 篇 computational mo...
  • 2,223 篇 costs
  • 2,093 篇 programming
  • 1,809 篇 artificial intel...
  • 1,744 篇 computer softwar...
  • 1,740 篇 real time system...
  • 1,619 篇 testing
  • 1,508 篇 real-time system...
  • 1,418 篇 software design
  • 1,371 篇 protocols
  • 1,350 篇 information syst...

机构

  • 197 篇 college of compu...
  • 114 篇 school of comput...
  • 59 篇 school of comput...
  • 56 篇 college of compu...
  • 54 篇 school of comput...
  • 49 篇 department of co...
  • 40 篇 college of compu...
  • 37 篇 department of el...
  • 37 篇 school of comput...
  • 36 篇 school of electr...
  • 36 篇 department of el...
  • 34 篇 institute of inf...
  • 33 篇 state key labora...
  • 32 篇 school of comput...
  • 32 篇 department of el...
  • 31 篇 department of co...
  • 31 篇 department of el...
  • 29 篇 department of co...
  • 28 篇 school of comput...
  • 27 篇 department of co...

作者

  • 49 篇 anon
  • 37 篇 bernady o. apduh...
  • 35 篇 bosch jan
  • 34 篇 o'connor rory v.
  • 28 篇 shaoying liu
  • 28 篇 li yang
  • 26 篇 dubinsky yael
  • 26 篇 ebrahim babaei
  • 22 篇 zhu huibiao
  • 21 篇 lei wang
  • 21 篇 dong jin song
  • 20 篇 katz guy
  • 19 篇 zhang lei
  • 17 篇 levent yilmaz
  • 17 篇 rui wang
  • 17 篇 wenyun zhao
  • 17 篇 shahar maoz
  • 17 篇 vardi moshe y.
  • 16 篇 weiming shen
  • 16 篇 noraziah a.

语言

  • 89,054 篇 英文
  • 1,053 篇 其他
  • 436 篇 中文
  • 32 篇 西班牙文
  • 18 篇 葡萄牙文
  • 15 篇 德文
  • 14 篇 土耳其文
  • 13 篇 俄文
  • 9 篇 法文
  • 4 篇 捷克文
  • 4 篇 日文
  • 2 篇 乌克兰文
  • 1 篇 朝鲜文
检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"
90579 条 记 录,以下是4961-4970 订阅
排序:
Beyond utility and usability: Towards affectability in agile software requirements engineering
Beyond utility and usability: Towards affectability in agile...
收藏 引用
2018 International conference on Computational Science and Computational Intelligence, CSCI 2018
作者: Kamthan, Pankaj Shahmir, Nazlie Department of Computer Science and Software Engineering Concordia University Montreal Canada WestJet Airlines Limited Calgary Canada
As the relationship between users and interactive software systems becomes increasingly personal, the users are expecting more from these systems than just utility and usability. To that effect, in the context of agil... 详细信息
来源: 评论
An integrated expert system framework for software quality assurance
An integrated expert system framework for software quality a...
收藏 引用
Proceedings of the 14th Annual International computer software and Applications conference - COMPSAC 90
作者: Yau, Stephen S. Wang, Yeou-Wei Huang, Jules G. Lee, Jinshuan E. Comput & Inf Sci Dept Univ of Florida Gainesville FL USA
A software quality assurance framework using knowledge-based engineering technology is described. The knowledge engineering technology uses an object-oriented data base to store the knowledge (the software quality inf... 详细信息
来源: 评论
A framework for counterexample generation and exploration
A framework for counterexample generation and exploration
收藏 引用
8th International conference on Fundamental Approaches to software engineering
作者: Chechik, M Gurfinkel, A Univ Toronto Dept Comp Sci Toronto ON M5S 3G4 Canada
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the "Check/Analyze/Fix" loop: check the system against a desired property, producing a coun... 详细信息
来源: 评论
Language Design with Intent  17
Language Design with Intent
收藏 引用
ACM/IEEE 20th International conference on Model Driven engineering Languages and systems (MODELS)
作者: Zaytsev, Vadim Raincode Labs Brussels Belgium
software languages have always been an essential component of model-driven engineering. Their importance and popularity has been on the rise thanks to language workbenches, language-oriented development and other meth... 详细信息
来源: 评论
Hypertext-a new challenge
Hypertext-a new challenge
收藏 引用
israel conference on computer systems and software engineering
作者: Y. Cohen RAFAEL Advanced Defense Systems Limited Haifa Israel
The author discusses the hypertext concept, which is of interest as an electronic writing, reading, thinking, and communication tool that uses the power of computers for more than display and editing. The hypertext fe... 详细信息
来源: 评论
More Accurate Semantics Defining Constraint Combination for software systems Having Client-Server Relationships  18
More Accurate Semantics Defining Constraint Combination for ...
收藏 引用
18th International conference on computers and Their Applications, CATA 2003
作者: Ricks, Kenneth G. Jackson, D. Jeff Wells, B. Earl Department of Electrical and Computer Engineering The University of Alabama Box 870286 TuscaloosaAL35487 United States Department of Electrical and Computer Engineering The University of Alabama Huntsville United States
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types of software systems, the combination ... 详细信息
来源: 评论
Guidelines for user interface design for military reserve computer operators
Guidelines for user interface design for military reserve co...
收藏 引用
israel conference on computer systems and software engineering
作者: A. Harel RAFAEL Advanced Defense Systems Limited Haifa Israel
The operators of DBMSs (database management systems) at battlefield command centers in military reserve units are initially novice and then occasional users. Failure modes in using these systems are analyzed in terms ... 详细信息
来源: 评论
Modeling and analyzing publish-subscribe architecture using Petri nets  27
Modeling and analyzing publish-subscribe architecture using ...
收藏 引用
27th International conference on software engineering and Knowledge engineering, SEKE 2015
作者: Ding, Junhua Zhang, Dongmei Dept. of Computer Science East Carolina University GreenvilleNC27587 United States School of Computer Sciences China University of Geosciences Wuhan Hubei China
software architecture is the foundation for the development of software systems. Its correctness is important to the quality of the software systems that have been developed based on it. Formally modeling and analyzin... 详细信息
来源: 评论
TRANSPUTER IMPLEMENTATION OF FAULT TOLERANT DISTRIBUTED ARCHITECTURE FOR CRITICAL REAL-TIME APPLICATION
TRANSPUTER IMPLEMENTATION OF FAULT TOLERANT DISTRIBUTED ARCH...
收藏 引用
3RD INTERNATIONAL CONF ON software engineering FOR REAL TIME systems
作者: SINHA, A CHAUDHURI, A DAS, PK Jadavpur Univ Jadavpur India
The systems which perform mission-critical functions, as used in close-loop guidance and event sequencing for various real-time applications consider fault-tolerance as one of their desirable architectural attributes.... 详细信息
来源: 评论
Evolution Style: Framework for Dynamic Evolution of Real-Time software Architecture  10th
Evolution Style: Framework for Dynamic Evolution of Real-Tim...
收藏 引用
10th European conference on software Architecture (ECSA)
作者: Hassan, Adel Queudet, Audrey Oussalah, Mourad Univ Nantes LINA CNRS UMR 6241 Nantes France Univ Nantes IRCCyN UMR CNRS 6597 Nantes France
software systems need to be continuously maintained and evolved in order to cope with ever-changing requirements and environments. Introducing these changes without stopping the system is a critical requirement for ma... 详细信息
来源: 评论