咨询与建议

限定检索结果

文献类型

  • 4,791 篇 会议
  • 352 册 图书
  • 80 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 5,220 篇 电子文献
  • 4 种 纸本馆藏

日期分布

学科分类号

  • 3,591 篇 工学
    • 3,090 篇 计算机科学与技术...
    • 2,585 篇 软件工程
    • 586 篇 信息与通信工程
    • 435 篇 控制科学与工程
    • 341 篇 电气工程
    • 231 篇 机械工程
    • 199 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 141 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 107 篇 建筑学
    • 99 篇 动力工程及工程热...
    • 95 篇 土木工程
    • 82 篇 材料科学与工程(可...
    • 82 篇 交通运输工程
    • 81 篇 仪器科学与技术
  • 990 篇 理学
    • 556 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 169 篇 物理学
    • 151 篇 统计学(可授理学、...
    • 76 篇 化学
  • 802 篇 管理学
    • 569 篇 管理科学与工程(可...
    • 302 篇 工商管理
    • 289 篇 图书情报与档案管...
  • 142 篇 医学
    • 119 篇 临床医学
    • 109 篇 基础医学(可授医学...
  • 129 篇 教育学
    • 126 篇 教育学
  • 111 篇 经济学
    • 111 篇 应用经济学
  • 108 篇 法学
    • 79 篇 社会学
  • 41 篇 农学
  • 11 篇 军事学
  • 8 篇 文学
  • 2 篇 艺术学

主题

  • 374 篇 software enginee...
  • 223 篇 software
  • 173 篇 artificial intel...
  • 154 篇 computer archite...
  • 143 篇 information syst...
  • 143 篇 application soft...
  • 129 篇 computer communi...
  • 114 篇 computer science
  • 109 篇 hardware
  • 109 篇 computer softwar...
  • 107 篇 software enginee...
  • 102 篇 real-time system...
  • 94 篇 control systems
  • 89 篇 computer aided s...
  • 73 篇 software systems
  • 72 篇 computational mo...
  • 71 篇 software archite...
  • 71 篇 software design
  • 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 篇 sturm arnon
  • 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
  • 6 篇 katz guy
  • 6 篇 maoz shahar
  • 6 篇 sulaiman shahida
  • 6 篇 lakhmi c. jain
  • 5 篇 bernady o. apduh...

语言

  • 5,089 篇 英文
  • 107 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5224 条 记 录,以下是401-410 订阅
排序:
An integrated specification framework for embedded systems
An integrated specification framework for embedded systems
收藏 引用
5th IEEE International conference on software engineering and Formal Methods, SEFM 2007
作者: Bujorianu, Marius C. Bujorianu, Manuela L. University of Kent Computing Laboratory Canterbury United Kingdom University of Twente Faculty EWI Enscheds Netherlands
In this paper, we address the complex issue of representation of continuous behaviour of the environment of the embedded controllers. In our approach, we propose two novel ideas. One is to consider the weak solutions ... 详细信息
来源: 评论
Proceedings - 5th IEEE International conference on software engineering and Formal Methods, SEFM 2007
Proceedings - 5th IEEE International Conference on Software ...
收藏 引用
5th IEEE International conference on software engineering and Formal Methods, SEFM 2007
the proceedings contain 36 papers. the topic discussed include: verification of C programs using automated reasoning;formalising design patters in predicate logic;retrenchment and the atomicity pattern;verifying the M...
来源: 评论
Testing conformance on stochastic stream X-machines
Testing conformance on stochastic stream X-machines
收藏 引用
5th IEEE International conference on software engineering and Formal Methods, SEFM 2007
作者: Merayo, Mercedes G. Núñez, Manuel Dept. Sistemas Informáticos y Computación Universidad Complutense de Madrid E-28040 Madrid Spain
Stream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test se... 详细信息
来源: 评论
Formal constraints research of military conceptual model elements
Formal constraints research of military conceptual model ele...
收藏 引用
5th FTRA International conference on computer Science and its Applications, CSA 2013
作者: Ding, Xiao-Jian Xie, Bin Science and Technology on Information Systems Engineering Laboratory Nanjing 210007 China
Conceptual model is an essential part of the process of military system modeling, and less detailed description of model elements is available for conceptual model so far. Four core elements of conceptual model are de... 详细信息
来源: 评论
Interactive visualisation and testing of Jini services
Interactive visualisation and testing of Jini services
收藏 引用
5th International conference on Quality software (QSIC 2005)
作者: Quig, B Kölling, M Rosenberg, J Steele, P School of Computer Science and Software Engineering Australia Monash University Australia Computing Laboratory University of Kent United Kingdom Deakin University Australia
Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. However, their dynamic nature however provides extra challenges when understanding, deve... 详细信息
来源: 评论
Evaluation of UML MARTE, SoaML profiles for distributed embedded real-time systems development
Evaluation of UML MARTE, SoaML profiles for distributed embe...
收藏 引用
2011 5th Malaysian conference in software engineering, MySEC 2011
作者: Aziz, Muhammad Waqar Mohamad, Radziah Jawawi, Dayang N. A. Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia Skudai Johor Malaysia
the successful implementation of Service-Oriented development of Distributed Embedded Real-time systems (DERTS) in the recent years has proved the importance of Service-Orientation over previous paradigms. However, ef... 详细信息
来源: 评论
5th International Workshop on software Verification and Formal Methods for ML-Enables Autonomous systems, FoMLAS 2022 and 15th International Workshop on Numerical software Verification, NSV 2022
5th International Workshop on Software Verification and Form...
收藏 引用
5th International Workshop on software Verification and Formal Methods for ML-Enables Autonomous systems, FoMLAS 2022 and 15th International Workshop on Numerical software Verification, NSV 2022
the proceedings contain 11 papers. the special focus in this conference is on software Verification and Formal Methods for ML-Enables Autonomous systems. the topics include: Neural Network Precision Tuning Using Stoch...
来源: 评论
engineering multiagent systems based on interaction protocols: A compositional Petri net approach  5
Engineering multiagent systems based on interaction protocol...
收藏 引用
5th International conference on Enterprise Information systems, ICEIS 2003
作者: Ling, Sea Loke, Seng Wai School of Computer Science and Software Engineering Monash University Caulfield EastVIC3145 Australia
Multiagent systems are useful in distributed systems where autonomous and flexible behaviour with decentralized control is advantageous or necessary. To facilitate agent interactions in multiagent systems, a set of in... 详细信息
来源: 评论
Training agents: An architecture for reusability
收藏 引用
5th International Working conference on Intelligent Virtual Agents
作者: Mendez, G de Antonio, A Tech Univ Madrid Comp Sci Sch Madrid 28660 Spain
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. these systems involve very different technologies, ranging from computer g... 详细信息
来源: 评论
Design and Implementation of Controller Area Network-Transport Protocol software Based on C#  5
Design and Implementation of Controller Area Network-Transpo...
收藏 引用
5th International conference on Electronic Communication and Artificial Intelligence, ICECAI 2024
作者: Zhao, Wenbin Xiao, Bing School of Automation Science and Engineering South China University of Technology Guangzhou China
Performing Measurement, Calibration, and Diagnosis (MCD) work through automotive electronic control systems is a primary aspect of vehicle upgrade and maintenance. Nowadays, as the core component of automotive electro... 详细信息
来源: 评论