咨询与建议

限定检索结果

文献类型

  • 6,250 篇 会议
  • 1,395 篇 期刊文献
  • 24 篇 学位论文
  • 10 册 图书
  • 6 篇 科技报告

馆藏范围

  • 7,685 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5,630 篇 工学
    • 5,055 篇 计算机科学与技术...
    • 4,683 篇 软件工程
    • 504 篇 电气工程
    • 334 篇 控制科学与工程
    • 244 篇 信息与通信工程
    • 115 篇 机械工程
    • 92 篇 土木工程
    • 87 篇 建筑学
    • 86 篇 电子科学与技术(可...
    • 48 篇 材料科学与工程(可...
    • 47 篇 生物工程
    • 43 篇 仪器科学与技术
    • 42 篇 力学(可授工学、理...
    • 37 篇 化学工程与技术
    • 33 篇 生物医学工程(可授...
    • 32 篇 环境科学与工程(可...
    • 31 篇 光学工程
  • 1,130 篇 理学
    • 859 篇 数学
    • 136 篇 物理学
    • 96 篇 系统科学
    • 81 篇 统计学(可授理学、...
    • 62 篇 生物学
    • 47 篇 化学
  • 840 篇 管理学
    • 496 篇 管理科学与工程(可...
    • 399 篇 图书情报与档案管...
    • 218 篇 工商管理
  • 258 篇 教育学
    • 242 篇 教育学
  • 64 篇 法学
    • 54 篇 社会学
  • 50 篇 医学
    • 38 篇 临床医学
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 14 篇 农学
  • 13 篇 文学
  • 10 篇 军事学
  • 10 篇 艺术学

主题

  • 7,685 篇 object oriented ...
  • 908 篇 object oriented ...
  • 430 篇 computer languag...
  • 429 篇 programming prof...
  • 425 篇 application soft...
  • 388 篇 computer science
  • 375 篇 java
  • 284 篇 software enginee...
  • 202 篇 software systems
  • 148 篇 computer archite...
  • 142 篇 concurrent compu...
  • 132 篇 libraries
  • 125 篇 encapsulation
  • 121 篇 education
  • 120 篇 software design
  • 120 篇 distributed comp...
  • 117 篇 data structures
  • 116 篇 prototypes
  • 115 篇 computational mo...
  • 114 篇 object oriented ...

机构

  • 16 篇 victoria univers...
  • 15 篇 software composi...
  • 15 篇 brno university ...
  • 14 篇 department of co...
  • 11 篇 dipartimento di ...
  • 9 篇 univ of texas at...
  • 8 篇 carnegie mellon ...
  • 8 篇 eth
  • 7 篇 cwi
  • 7 篇 sun microsystems
  • 7 篇 ibm
  • 7 篇 eth zurich
  • 7 篇 carnegie mellon ...
  • 7 篇 department of ap...
  • 7 篇 natl univ of sin...
  • 7 篇 tsinghua univ
  • 6 篇 univ of tokyo
  • 6 篇 ohio state univ ...
  • 6 篇 ieee
  • 6 篇 promodel corpora...

作者

  • 38 篇 noble james
  • 19 篇 meyer bertrand
  • 16 篇 nierstrasz oscar
  • 15 篇 ducasse stéphane
  • 15 篇 aldrich jonathan
  • 14 篇 yonezawa akinori
  • 14 篇 drossopoulou sop...
  • 14 篇 de boer frank s.
  • 13 篇 ancona davide
  • 13 篇 mezini mira
  • 12 篇 chen huo yan
  • 11 篇 elrad tzilla
  • 11 篇 black andrew p.
  • 11 篇 xinogalos stelio...
  • 11 篇 masuhara hidehik...
  • 11 篇 vitek jan
  • 10 篇 potanin alex
  • 10 篇 de meuter wolfga...
  • 10 篇 naumann david a.
  • 9 篇 biddle robert

语言

  • 7,460 篇 英文
  • 151 篇 其他
  • 31 篇 中文
  • 14 篇 日文
  • 8 篇 俄文
  • 5 篇 西班牙文
  • 5 篇 法文
  • 4 篇 德文
  • 3 篇 葡萄牙文
  • 3 篇 土耳其文
  • 1 篇 乌克兰文
检索条件"主题词=Object Oriented Programming"
7685 条 记 录,以下是4681-4690 订阅
排序:
Modules and type checking in PL/LL  87
Modules and type checking in PL/LL
收藏 引用
1987 Conference on object oriented programming Systems Languages and Applications, OOPSLA 1987
作者: Thorelli, Lars-Erik StockholmS-10044 Sweden
The type system of a programming language system PL/LL is described. PL is a simple object oriented programming language and LL is a language for composing PL modules into programs. The goals of the PL/LL system are t... 详细信息
来源: 评论
RIDL: an interface language for the design and development of reliable distributed object oriented systems
RIDL: an interface language for the design and development o...
收藏 引用
Proceedings of the 1997 1st International Conference on Software Quality Engineering, SQE
作者: Exton, C. Rayner, I. Chen, J. Monash Univ Melbourne
This paper describes our research on the design and implementation of an interface definition language, called RIDL, for distributed object oriented systems. The major goal of this language is to provide more expressi... 详细信息
来源: 评论
An object-oriented approach to gas turbine performance computation
An object-oriented approach to gas turbine performance compu...
收藏 引用
ASME 1996 International Gas Turbine and Aeroengine Congress and Exhibition, GT 1996
作者: Ho, Peng Yip Ng, Poh Seng Nanyang Technological University Nanyang Avenue Singapore639798 Singapore Air Logistics Department Republic of Singapore Air Force Ministry of Defence Building Singapore669638 Singapore
This paper aims to introduce object-oriented programming (OOP) concepts in the context of gas turbine engine performance computations. objects are collections of data and functions that represents useful elements in a... 详细信息
来源: 评论
A process for combining object oriented and structured analysis and design
A process for combining object oriented and structured analy...
收藏 引用
20th Digital Avionics Systems Conference Proceedings
作者: Rickman, D.M. Raytheon Systems Company Kensington MD 20895 United States
While object oriented (OO) methodologies have some advantages over structured methods, OO is not as mature as structured analysis and design and does not contain all of the tools/techniques needed to support a large s... 详细信息
来源: 评论
Unification of active and passive objects in an object-oriented operating system
Unification of active and passive objects in an object-orien...
收藏 引用
Proceedings of the 4th International Workshop on object Orientation in Operating Systems
作者: Murata, Kenichi Horspool, R.Nigel Manning, Eric G. Yokote, Yasuhiko Tokoro, Mario Keio Univ Yokohama Japan
This paper proposes the unification of active and passive objects in object-oriented operating systems. With such a unification, programmers can concentrate on programming an algorithm without having to consider how o... 详细信息
来源: 评论
Inheritance and modularity in specification and verification of OO programs
Inheritance and modularity in specification and verification...
收藏 引用
5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
作者: Yijing, Liu Ali, Hong Zongyan, Qiu Department of Informatics School of Mathematical Sciences Peking University Beijing 100871 China
Specification and verification for object oriented (OO) programs remains a great challenge despite of decades' efforts. To address the problem, we propose a novel specification and verification framework, which su... 详细信息
来源: 评论
How can covariance in pragmatical class methods be made statically type-safe?
How can covariance in pragmatical class methods be made stat...
收藏 引用
Proceedings Technology of object-oriented Languages and Systems TOOLS 32
作者: Schmolitzky, Axel Evered, Mark Keedy, J.L. Menger, Gisela Sch. of Comp. Sci. and Software Eng. Monash University Victoria Vic. Australia
Binary class methods are often more suitable for modelling binary operations than binary instance methods. Allowing covariant parameter type adaptations in class methods can make them even more attractive. In this pap... 详细信息
来源: 评论
object oriented model of behavior encoded virtual tools
Object oriented model of behavior encoded virtual tools
收藏 引用
Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics
作者: Kesavadas, T. Subramanium, Hari V. State Univ of New York at Buffalo Buffalo NY United States
In this paper we propose a model of attribute laden virtual tools to aid manipulation, interaction and navigation in a virtual manufacturing environment for controlling robots and machines. Fundamental to the concept ... 详细信息
来源: 评论
Towards a rigorous approach to UML-based development
Towards a rigorous approach to UML-based development
收藏 引用
作者: Liu, Zhiming He, Jifeng Li, Xiaoshan Intl. Inst. for Software Technology The United Nations University China Faculty of Science and Technology University of Macau China
We discuss the promises and problems of UML-based development. We then suggest a framework in which UML can be used precisely and more disciplined so as to solve the problems and meet the promises better. © 2005 ... 详细信息
来源: 评论
Does coupling really affect complexity?
Does coupling really affect complexity?
收藏 引用
International Conference on Computer and Communication Technology
作者: Yadav, A. Khan, R.A. Department of Information Technology Babashaeb Bhimrao Ambedker University Lucknow India
This research article examines the role of coupling in making of software complex. An inference has been made that more coupling increases complexity which results unreliable system. Different kinds of coupling is pro... 详细信息
来源: 评论