咨询与建议

限定检索结果

文献类型

  • 980 篇 期刊文献
  • 649 篇 会议
  • 314 册 图书
  • 26 篇 学位论文
  • 5 件 标准
  • 1 篇 资讯

馆藏范围

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

日期分布

学科分类号

  • 1,375 篇 工学
    • 912 篇 计算机科学与技术...
    • 573 篇 软件工程
    • 366 篇 电气工程
    • 125 篇 控制科学与工程
    • 83 篇 机械工程
    • 64 篇 信息与通信工程
    • 49 篇 电子科学与技术(可...
    • 36 篇 力学(可授工学、理...
    • 34 篇 材料科学与工程(可...
    • 33 篇 土木工程
    • 21 篇 仪器科学与技术
    • 14 篇 交通运输工程
    • 13 篇 石油与天然气工程
    • 11 篇 化学工程与技术
    • 11 篇 环境科学与工程(可...
    • 10 篇 建筑学
  • 227 篇 理学
    • 104 篇 数学
    • 64 篇 物理学
    • 23 篇 生物学
    • 19 篇 地球物理学
    • 16 篇 化学
    • 15 篇 系统科学
    • 15 篇 统计学(可授理学、...
  • 124 篇 管理学
    • 108 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
    • 13 篇 工商管理
  • 110 篇 教育学
    • 105 篇 教育学
  • 19 篇 医学
    • 10 篇 基础医学(可授医学...
  • 18 篇 农学
  • 15 篇 经济学
    • 14 篇 应用经济学
  • 10 篇 文学
    • 9 篇 新闻传播学
  • 7 篇 法学
  • 3 篇 哲学
  • 3 篇 历史学
  • 3 篇 艺术学
  • 1 篇 军事学

主题

  • 1,975 篇 object-oriented ...
  • 252 篇 nasa technical r...
  • 252 篇 (ntrs)
  • 136 篇 java
  • 123 篇 software enginee...
  • 55 篇 simulation
  • 55 篇 computer program...
  • 53 篇 software enginee...
  • 48 篇 computer program...
  • 48 篇 programming lang...
  • 46 篇 reports
  • 44 篇 object oriented ...
  • 43 篇 design
  • 40 篇 applications pro...
  • 39 篇 software archite...
  • 39 篇 architecture (co...
  • 39 篇 formal specifica...
  • 39 篇 software
  • 39 篇 artificial intel...
  • 36 篇 design patterns

机构

  • 13 篇 naval postgradua...
  • 5 篇 univ macedonia d...
  • 5 篇 univ calif berke...
  • 4 篇 iit dept comp sc...
  • 4 篇 georgia inst tec...
  • 4 篇 univ oslo dept i...
  • 4 篇 newcastle univ d...
  • 3 篇 natl res univ hi...
  • 3 篇 international bu...
  • 3 篇 univ oslo dept m...
  • 3 篇 victoria univ we...
  • 3 篇 city univ hong k...
  • 3 篇 oak ridge natl l...
  • 3 篇 nanjing univ sta...
  • 3 篇 univ lancaster d...
  • 3 篇 nova sch sci & t...
  • 3 篇 technion israel ...
  • 3 篇 univ coll dublin...
  • 3 篇 oak ridge natl l...
  • 3 篇 univ macedonia d...

作者

  • 6 篇 kindler eugene
  • 6 篇 abdalla hs
  • 6 篇 ducasse s
  • 5 篇 sokas algirdas
  • 5 篇 xinogalos stelio...
  • 5 篇 yang jeong
  • 5 篇 budiardja reuben...
  • 5 篇 cardall christia...
  • 5 篇 romanovsky a
  • 5 篇 lee young
  • 5 篇 giacaman nasser
  • 5 篇 chatzigeorgiou a...
  • 4 篇 tan wee hoe
  • 4 篇 kramer matthias
  • 4 篇 brinda torsten
  • 4 篇 chang jm
  • 4 篇 noble j
  • 4 篇 fong anthony s.
  • 4 篇 meyer bertrand
  • 4 篇 lanza m

语言

  • 1,794 篇 英文
  • 145 篇 其他
  • 31 篇 中文
  • 3 篇 德文
  • 1 篇 法文
检索条件"主题词=Object-Oriented Programming"
1975 条 记 录,以下是681-690 订阅
KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels  35
KCoFI: Complete Control-Flow Integrity for Commodity Operati...
收藏 引用
35th IEEE Symposium on Security and Privacy (SP)
作者: Criswell, John Dautenhahn, Nathan Adve, Vikram Univ Illinois Dept Comp Sci 1304 W Springfield Ave Urbana IL 61801 USA
We present a new system, KCoFI, that is the first we know of to provide complete Control-Flow Integrity protection for commodity operating systems without using heavyweight complete memory safety. Unlike previous syst... 详细信息
来源: 评论
Fostering Functional Safety of Real-time Systems with Concepts of object Orientation  19
Fostering Functional Safety of Real-time Systems with Concep...
收藏 引用
19th International Conference on Methods and Models in Automation and Robotics (MMAR)
作者: Houben, Christina K. Fernuniv Chair Comp Engn Hagen Germany
Hard-wired control systems are increasingly replaced by program-controlled embedded systems. The programming languages currently employed for their implementation lack constructs and design patterns enforcing intellig... 详细信息
来源: 评论
An ACM 2013 Exemplar Course Integrating Fundamentals, Languages, and Software Engineering  14
An ACM 2013 Exemplar Course Integrating Fundamentals, Langua...
收藏 引用
45th ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE)
作者: Hallstrom, Jason O. Hochrine, Cathy Sorber, Jacob Sitaraman, Murali Clemson Univ Sch Comp Clemson SC 29634 USA
This paper summarizes our experiences integrating topics in the software development fundamentals (SDF), programming languages (PL), and software engineering (SE) knowledge areas of the ACM 2013 curriculum within a si... 详细信息
来源: 评论
Broken Promises: An Empirical Study into Evolution Problems in Java Programs Caused by Library Upgrades
Broken Promises: An Empirical Study into Evolution Problems ...
收藏 引用
Software Evolution Week / IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)
作者: Dietrich, Jens Jezek, Kamil Brada, Premek Massey Univ Sch Engn & Adv Technol Palmerston North New Zealand Univ W Bohemia Fac Sci Appl CR-30614 Plzen Czech Republic
It has become common practice to build programs by using libraries. While the benefits of reuse are well known, an often overlooked risk are system runtime failures due to API changes in libraries that evolve independ... 详细信息
来源: 评论
Handling Cyclic Execution Paths in Timing Analysis of Component-based Software  40
Handling Cyclic Execution Paths in Timing Analysis of Compon...
收藏 引用
40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
作者: Lednicki, Luka Carlson, Jan Malardalen Univ Malardalen Real Time Res Ctr Vasteras Sweden
Usage of model-driven and component-based development approaches in embedded systems allows timing analysis to be performed using system models. One of the problems rarely addressed by model-level analysis is support ... 详细信息
来源: 评论
A Modeling Profile for Availability analysis of Composite Cloud Services  9
A Modeling Profile for Availability analysis of Composite Cl...
收藏 引用
NINTH INTERNATIONAL CONFERENCE ON P2P, PARALLEL, GRID, CLOUD AND INTERNET COMPUTING (3PGCIC)
作者: Amato, Flora Moscato, Francesco Univ Naples Federico II DIETI Naples Italy Univ Naples 2 DiSciPol Caserta Italy
Service oriented Architectures and service-centric models arose in the last years as a standard de-facto in IT enterprises for offering practically any kind of services to users world-wide. Heterogeneity (of operating... 详细信息
来源: 评论
Towards the Curry-Howard Protocol Implementation for the Component-Based Paradigm  2
Towards the Curry-Howard Protocol Implementation for the Com...
收藏 引用
2nd IEEE Workshop on Advances in Information, Electronic and Electrical Engineering (AIEEE)
作者: Giedrimas, Vaidas Siauliai Univ Dept Informat Shiauliai Lithuania
The CBSE enables to reduce the time required for the development and testing, to create robust systems. However not all existing component-based software synthesis methods focus on the software quality. There is the n... 详细信息
来源: 评论
The PLC UML State-chart Design Pattern  19
The PLC UML State-chart Design Pattern
收藏 引用
19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA)
作者: Racchetti, Lorenzo Fantuzzi, Cesare Tacconi, Lorenzo Bonfe, Marcello Univ Modena & Reggio Emilia I-42122 Reggio Emilia Italy Tetra Pak Packaging Solut SpA I-41123 Modena Italy Univ Ferrara I-44100 Ferrara Italy
We developed an UML-State-charts object oriented Design Pattern for PLCs IEC61131-3. This PLC UML-State-chart Design Pattern aims to explore the advantage of object oriented programming by IEC61131-3 in PLCs, and to p... 详细信息
来源: 评论
A Framework for Generation of Inter-node Communication in Component-based Distributed Embedded Systems  19
A Framework for Generation of Inter-node Communication in Co...
收藏 引用
19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA)
作者: Lednicki, Luka Carlson, Jan Malardalen Univ Malardalen Real Time Res Ctr Vasteras Sweden
In component-based and model-driven development it is common to model embedded applications in a platform-independent manner. As an example, some approaches allow development of distributed applications while abstract... 详细信息
来源: 评论
programming Course Design: Phenomenographic Approach to Learning and Teaching
Programming Course Design: Phenomenographic Approach to Lear...
收藏 引用
International Conference on Teaching and Learning in Computing and Engineering (LaTiCE)
作者: Thota, Neena Univ St Joseph Fac Creat Ind Macau Peoples R China
Phenomenography is a well-known empirical research approach that is often used to investigate students' ways of learning programming. Phenomenographic pedagogy is an instructional approach to plan learning and tea... 详细信息
来源: 评论