咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4701-4710 订阅
排序:
Semantic analysis of virtual classes and nested classes
Semantic analysis of virtual classes and nested classes
收藏 引用
Proceedings of the 1999 Conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA-99
作者: Madsen, Ole Lehrmann Aarhus Univ Arhus Denmark
Virtual classes and nested classes are distinguishing features of BETA. Nested classes originated from Simula, but until recently they have not been part of main stream object-oriented languages. C++ has a restricted ... 详细信息
来源: 评论
Bunches for object-oriented, concurrent, and real-time specification  1st
Bunches for object-oriented, concurrent, and real-time speci...
收藏 引用
1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999
作者: Paige, Richard F. Hehner, Eric C. R. Dept. Of Computer Science York University Canada Dept. Of Computer Science University of Toronto Canada
We show how a collection of object-oriented concepts can be directly expressed in predicative programming 6.. We demonstrate how these feature scan be used in cooperation with the existing real-time and concurrency fe... 详细信息
来源: 评论
Unifying genericity: Combining the benefits of virtual types and parameterized classes  13th
收藏 引用
13th European Conference on object-oriented programming, ECOOP 1999
作者: Thorup, Kresten Krab Torgersen, Mads Center for Experimental Computer Science Department of Computer Science University of Aarhus Ny Munkegade Aarhus CDK-8000 Denmark
Generic types in programming languages are most often supported with various forms of parametric polymorphism, i.e. functions on types. Within the framework of object-oriented languages, virtual types present an alter... 详细信息
来源: 评论
object-oriented Distributed Computing on the OOPVM  14
Object-Oriented Distributed Computing on the OOPVM
收藏 引用
14th International Conference on Computers and Their Applications, CATA 1999
作者: Xu, Chong-Wei Lu, Xuebin Shiue, Wei-Kei Mathematics and Computer Science Georgia Southern University StatesboroGA30460-8093 United States Mathematics and Statistics Southern Illinois University at Edward EdwardsvilleIL62026 United States
A technique which combines object-oriented programming with Distributed Computing on a Parallel Virtual Machine is illustrated through a sample application. Copyright© (1999) by the International Society for Comp... 详细信息
来源: 评论
A straightforward approach to effort estimation for updating programs in object-oriented prototyping development  6
A straightforward approach to effort estimation for updating...
收藏 引用
6th Asia Pacific Software Engineering Conference, APSEC 1999
作者: Uehara, Satoru Mizuno, Osamu Kikuno, Tohru Department of Informatics and Mathematical Science Graduate School of Engineering Science Osaka University Japan
Discusses the estimation of the effort needed to update programs according to a given requirement change. In object-oriented prototyping development (OO prototyping), the requirement changes occur frequently and regul... 详细信息
来源: 评论
Proceedings: Technology of object-oriented languages and systems - TOOLS 32
Proceedings: Technology of object-oriented languages and sys...
收藏 引用
Proceedings Technology of object-oriented Languages and Systems TOOLS 32
The proceedings contains 26 papers from the conference on Technology of object-oriented Languages and Systems - Tools 32. The topics discussed include: software architectures;graphical user interfaces;multiple domain ... 详细信息
来源: 评论
Breaking through the n3 barrier:: Faster object type inference
收藏 引用
THEORY AND PRACTICE OF object SYSTEMS 1999年 第1期5卷 57-72页
作者: Henglein, F Univ Copenhagen DIKU DK-2100 Copenhagen E Denmark
Abadi and Cardelli [1] present a series of type systems for their object calculi, four of which are first-order. Palsberg [22] has shown how typability in each one of these systems can be decided in time O(n(3)) and s... 详细信息
来源: 评论
Type inference with constrained types
收藏 引用
THEORY AND PRACTICE OF object SYSTEMS 1999年 第1期5卷 35-55页
作者: Odersky, M Sulzmann, M Wehr, M Univ S Australia Sch Comp & Informat Sci The Levels SA 5095 Australia Yale Univ Dept Comp Sci New Haven CT 06520 USA Univ Edinburgh LFCS Edinburgh EH7 3JZ Midlothian Scotland
We present a general framework HM(X) for type systems with constraints. The framework stays in the tradition of the Hindley/Milner type system. Its type system instances are sound under a standard untyped compositiona... 详细信息
来源: 评论
An entropy-based complexity measure for object-oriented designs
收藏 引用
THEORY AND PRACTICE OF object SYSTEMS 1999年 第2期5卷 111-118页
作者: Bansiya, J Davis, C Etzkorn, L Calif State Univ Hayward Dept Math & Comp Sci Hayward CA 94542 USA Univ Alabama Dept Comp Sci Huntsville AL 35899 USA
The use of entropy as a measure of information content has led to its use in measuring the code complexity of functionally developed software products;however, no similar capability exists for evaluating complexities ... 详细信息
来源: 评论
Reliable object-oriented software effort estimates using function point analysis
收藏 引用
ALCATEL TELECOMMUNICATIONS REVIEW 1999年 第1期 11-12页
作者: Desoblin, G Alcatel Corp Res Ctr Marcoussis France
One key activity in the early phases of software development is the production of accurate, reliable effort estimates for an optimal efficiency of project management. However, producing such estimates relies mainly on... 详细信息
来源: 评论