咨询与建议

限定检索结果

文献类型

  • 982 篇 期刊文献
  • 650 篇 会议
  • 315 册 图书
  • 38 篇 学位论文
  • 5 件 标准
  • 1 篇 科技报告
  • 1 篇 资讯

馆藏范围

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

日期分布

学科分类号

  • 1,386 篇 工学
    • 968 篇 计算机科学与技术...
    • 590 篇 软件工程
    • 394 篇 电气工程
    • 125 篇 控制科学与工程
    • 82 篇 机械工程
    • 69 篇 信息与通信工程
    • 45 篇 电子科学与技术(可...
    • 35 篇 力学(可授工学、理...
    • 33 篇 材料科学与工程(可...
    • 32 篇 土木工程
    • 21 篇 仪器科学与技术
    • 14 篇 石油与天然气工程
    • 14 篇 交通运输工程
    • 12 篇 化学工程与技术
    • 12 篇 环境科学与工程(可...
    • 10 篇 动力工程及工程热...
    • 10 篇 测绘科学与技术
  • 228 篇 理学
    • 104 篇 数学
    • 63 篇 物理学
    • 22 篇 生物学
    • 19 篇 地球物理学
    • 16 篇 化学
    • 15 篇 系统科学
    • 15 篇 统计学(可授理学、...
  • 124 篇 管理学
    • 108 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
    • 14 篇 工商管理
  • 110 篇 教育学
    • 105 篇 教育学
  • 21 篇 农学
    • 10 篇 作物学
  • 19 篇 医学
  • 16 篇 经济学
    • 15 篇 应用经济学
  • 10 篇 文学
  • 7 篇 法学
  • 3 篇 哲学
  • 3 篇 历史学
  • 3 篇 艺术学
  • 1 篇 军事学

主题

  • 1,992 篇 object-oriented ...
  • 252 篇 nasa technical r...
  • 252 篇 (ntrs)
  • 128 篇 software enginee...
  • 124 篇 java
  • 67 篇 object oriented ...
  • 55 篇 computer program...
  • 52 篇 simulation
  • 49 篇 reports
  • 48 篇 computer program...
  • 47 篇 programming lang...
  • 43 篇 design
  • 41 篇 formal specifica...
  • 40 篇 applications pro...
  • 40 篇 architecture (co...
  • 40 篇 software
  • 39 篇 design patterns
  • 38 篇 expert systems
  • 38 篇 artificial intel...
  • 37 篇 software reusabi...

机构

  • 13 篇 naval postgradua...
  • 9 篇 brno university ...
  • 5 篇 univ macedonia d...
  • 4 篇 iit dept comp sc...
  • 4 篇 georgia inst tec...
  • 4 篇 technion israel ...
  • 4 篇 univ oslo dept i...
  • 4 篇 univ calif berke...
  • 4 篇 univ auckland de...
  • 4 篇 newcastle univ d...
  • 3 篇 natl res univ hi...
  • 3 篇 international bu...
  • 3 篇 univ oslo dept m...
  • 3 篇 victoria univ we...
  • 3 篇 oak ridge natl l...
  • 3 篇 nanjing univ sta...
  • 3 篇 univ lancaster d...
  • 3 篇 nova sch sci & t...
  • 3 篇 swiss fed inst t...
  • 3 篇 carleton univ ot...

作者

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

语言

  • 1,826 篇 英文
  • 130 篇 其他
  • 32 篇 中文
  • 3 篇 德文
  • 1 篇 法文
检索条件"主题词=Object-Oriented Programming"
1992 条 记 录,以下是631-640 订阅
排序:
MODELING AND VALIDATING OFFICE INFORMATION-SYSTEMS - AN object AND LOGIC oriented APPROACH
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1989年 第2期4卷 87-94页
作者: LOUCOPOULOS, P KARAKOSTAS, V UNIV MANCHESTER INST SCI & TECHNOLDEPT COMPUTATMANCHESTER M60 1QDLANCSENGLAND
Developing information systems for the office environment of today requires powerful representation formalisms and techniques capable of modelling all office elements. Furthermore, these formalisms should provide appr... 详细信息
来源: 评论
Generic Soft-Error Detection and Correction for Concurrent Data Structures
收藏 引用
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 2017年 第1期14卷 22-36页
作者: Borchert, Christoph Schirmeier, Horst Spinczyk, Olaf Tech Univ Dortmund Dept Comp Sci D-44227 Dortmund Germany
Recent studies indicate that transient memory errors (soft errors) have become a relevant source of system failures. This paper presents a generic software-based fault-tolerance mechanism that transparently recovers f... 详细信息
来源: 评论
Parallelization of an object-oriented FEM dynamics code:: influence of the strategies on the Speedup
收藏 引用
ADVANCES IN ENGINEERING SOFTWARE 2005年 第6期36卷 361-373页
作者: Pantalé, O Ecole Natl Ingn CMAO LGP F-65016 Tarbes France
This paper presents an implementation in C + + of an explicit parallel finite element code dedicated to the simulation of impacts. We first present a brief overview of the kinematics and the explicit integration schem... 详细信息
来源: 评论
A SOFTWARE ENGINEERING ENVIRONMENT FOR DISTRIBUTED APPLICATIONS
MICROPROCESSING AND MICROPROGRAMMING
收藏 引用
MICROPROCESSING AND MICROprogramming 1989年 第1-5期27卷 327-332页
作者: MUHLHAUSER, M SCHILL, A KIENHOFER, J FRANK, H HEUSER, L UNIV KARLSRUHE INST TELEMATD-7500 KARLSRUHEFED REP GER DIGITAL EQUIPMENT GMBH CEC KARLSRUHED-7500 KARLSRUHEFED REP GER
With the recent development of powerful workstations integrated in local area networks, the need for distributed applications has increased significantly. This way, formerly autonomous applications of areas like compu... 详细信息
来源: 评论
Modeling and visualizing object-oriented programs with Codecharts
收藏 引用
FORMAL METHODS IN SYSTEM DESIGN 2013年 第1期43卷 1-28页
作者: Eden, A. H. Gasparis, E. Nicholson, J. Kazman, R. Univ Essex Sch Comp Sci & Elect Engn Colchester CO4 3SQ Essex England Univ Brighton Sch Comp Engn & Math Brighton E Sussex England Univ Hawaii Honolulu HI 96822 USA Carnegie Mellon Univ Inst Software Engn Pittsburgh PA 15213 USA
Software design, development and evolution commonly require programmers to model design decisions, visualize implemented programs, and detect conflicts between design and implementation. However, common design notatio... 详细信息
来源: 评论
Simulation of the earthquake-induced pounding of seismically isolated buildings
收藏 引用
COMPUTERS & STRUCTURES 2008年 第7-8期86卷 618-626页
作者: Komodromos, Petros Univ Cyprus Dept Civil & Environm Engn Nicosia Cyprus
Seismic isolation can significantly reduce the induced seismic loads to a relatively stiff building by inserting flexibility at its base to avoid resonance with the predominant frequencies of common earthquakes. Somet... 详细信息
来源: 评论
A C-INTERPRETER FOR SCHEME - AN EXERCISE IN object-oriented DESIGN
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1991年 第4期6卷 130-136页
作者: CAMPBELL, W Department of Mathematics and Computer Science University of Massachusetts at Boston Boston USA
We describe a production quality implementation of Scheme. Its design, and therefore the program, is based around objects although it is written in C, a language not specifically intended for object-oriented programmi... 详细信息
来源: 评论
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints
收藏 引用
NEW GENERATION COMPUTING 2011年 第1期29卷 87-124页
作者: Wehr, Stefan Thiemann, Peter Foctis Res GmbH D-79100 Freiburg Germany Univ Freiburg D-79110 Freiburg Germany
Bounded existential types are a powerful language feature for modeling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in current object-oriented langu... 详细信息
来源: 评论
PCLab - A software with interactive graphical user interface for Monte Carlo and finite element analysis of microstructure-based layered composites
收藏 引用
ADVANCES IN ENGINEERING SOFTWARE 2015年 90卷 53-62页
作者: Liu, Yunfang Cheng, Laifei Zeng, Qingfeng Feng, Zhiqiang Zhang, Litong Northwestern Polytech Univ Sci & Technol Thermostruct Composite Mat Lab Sch Mat Sci & Engn Xian 710072 Shaanxi Peoples R China Southwest Jiaotong Univ Sch Mech & Engn Chengdu 610031 Sichuan Peoples R China Univ Evry Lab Mecan & Energet F-91020 Evry France Northwestern Polytech Univ Int Ctr Mat Discovery Sch Mat Sci & Engn Xian 710072 Shaanxi Peoples R China
To effectively investigate the mechanical performance of microstructure-based layered composites, an object-oriented software with interactive graphical user interface has been developed. This software, named PCLab, i... 详细信息
来源: 评论
MOON - MODULAR object-oriented NOTATION
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1991年 第1期6卷 25-33页
作者: HULL, MEC ODONOGHUE, PG HAGAN, BJ UNIV ULSTER DEPT COMP SCIANTRIM BT37 0QBNORTH IRELAND SOFTWARE IRELAND LTD ANTRIM BT36 8PJNORTH IRELAND
MOON is a notation for designing complete systems, addressing the description of subsystems to be executed by both computer and non-computer processors. The design method is object-oriented in approach, based primaril... 详细信息
来源: 评论