咨询与建议

限定检索结果

文献类型

  • 6,253 篇 会议
  • 1,401 篇 期刊文献
  • 24 篇 学位论文
  • 11 册 图书
  • 6 篇 科技报告

馆藏范围

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

日期分布

学科分类号

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

主题

  • 7,695 篇 object oriented ...
  • 909 篇 object oriented ...
  • 429 篇 computer languag...
  • 427 篇 programming prof...
  • 424 篇 application soft...
  • 388 篇 computer science
  • 375 篇 java
  • 284 篇 software enginee...
  • 203 篇 software systems
  • 148 篇 computer archite...
  • 142 篇 concurrent compu...
  • 131 篇 libraries
  • 125 篇 encapsulation
  • 121 篇 education
  • 121 篇 software design
  • 121 篇 distributed comp...
  • 117 篇 data structures
  • 116 篇 prototypes
  • 114 篇 object oriented ...
  • 114 篇 logic programmin...

机构

  • 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 篇 英文
  • 159 篇 其他
  • 31 篇 中文
  • 14 篇 日文
  • 8 篇 俄文
  • 5 篇 西班牙文
  • 5 篇 法文
  • 4 篇 德文
  • 3 篇 葡萄牙文
  • 3 篇 土耳其文
  • 1 篇 乌克兰文
检索条件"主题词=Object oriented programming"
7695 条 记 录,以下是1101-1110 订阅
排序:
Finding abnormal behaviors of object-oriented programs based on cumulative analysis
Finding abnormal behaviors of object-oriented programs based...
收藏 引用
2009 11th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2009
作者: Liu, Xuemei Liu, Shuangmei Department of Software and Information Management Beijing City University Beijing China College of Science and Information Qingdao Agriculture University Qingdao Shandong China
In this paper, several cumulative analysis methods that are used in fault localization based on program behaviors were analyzed and compared. Because these methods did not take into account the features of object-orie... 详细信息
来源: 评论
Tracking behavioral constraints during object-oriented software evolution
Tracking behavioral constraints during object-oriented softw...
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Dovland, Johan Johnsen, Einar Broch Yu, Ingrid Chieh Department of Informatics University of Oslo Norway
An intrinsic property of real world software is that it needs to evolve. The software is continuously changed during the initial development phase, and existing software may need modifications to meet new requirements... 详细信息
来源: 评论
Secure implementation of asynchronous method calls and futures
Secure implementation of asynchronous method calls and futur...
收藏 引用
4th International Conference on Trusted Systems, INTRUST 2012
作者: Laud, Peeter Cybernetica AS Estonia
programming languages suitable for distributed computation contain constructs that should map well to the structure of the underlying system executing the programs, while being easily usable by the programmers and ame... 详细信息
来源: 评论
Verified operational patterns with graph transformation
Verified operational patterns with graph transformation
收藏 引用
5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012
作者: Mészáros, Tamás Levendovszky, Tihamér Department of Automation and Applied Informatics Budapest University of Technology and Economics Magyar Tudósok krt.2 1117 Budapest Hungary Institute for Software Integrated Systems Vanderbilt University Nashville TN United States
Using object-oriented patterns such as design patterns, architectural patterns, and refactoring operations has considerably simplified the design process of software systems. With the proliferation of Domain-Specific ... 详细信息
来源: 评论
Do crosscutting concerns cause modularity problems?
Do crosscutting concerns cause modularity problems?
收藏 引用
20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2012
作者: Walker, Robert J. Rawal, Shreya Sillito, Jonathan University of Calgary Calgary AB Canada
It has been claimed that crosscutting concerns are pervasive and problematic, leading to difficulties in program comprehension, evolution, and long-term design degradation. To consider whether this theory bears out, w... 详细信息
来源: 评论
3DCG authoring system using Extended Turtle Metaphor
3DCG authoring system using Extended Turtle Metaphor
收藏 引用
1st IEEE Global Conference on Consumer Electronics, GCCE 2012
作者: Hirai, Shiro Ueno, Masayuki Nanamura, Keisuke Tsushima, Katsuhide Faculty of Information Science and Arts Osaka Electro-Communication University Shijionawate Osaka Japan BLT Inc. Nantan Hyogo Japan Graduate School of Information Science and Arts Osaka Electro-Communication University Shijionawate Osaka Japan
3DCG authoring system is developed to realize Direct Manipulation Interface for 3DCG. The Extended Turtle Metaphor proposed by us is derived from LOGO language strongly helps user in their creation using our system. T... 详细信息
来源: 评论
Marathon: Detecting atomic-set serializability violations with conflict graphs
Marathon: Detecting atomic-set serializability violations wi...
收藏 引用
2nd International Conference on Runtime Verification, RV 2011
作者: Sumner, William N. Hammer, Christian Dolby, Julian Purdue University West Lafayette IN United States Utah State University Logan UT United States IBM T.J. Watson Research Center Hawthorne NY United States
Recent research has proposed several analyses to mitigate the fact that finding concurrency bugs in multi-threaded software is notoriously hard. This work proposes a new analysis based on a correctness criterion calle... 详细信息
来源: 评论
Reconciling interface design and software design: Towards "system-oriented design"  12
Reconciling interface design and software design: Towards "s...
收藏 引用
24th Conference on Ergonomie, Interaction Homme-Machine et Ingenierie Systemes, Ergo'IHM 2012 - 24th Conference on Ergonomics, Human-Computer Interaction and Systems Engineering, Ergo'IHM 2012
作者: Chatty, Stéphane Université de Toulouse - ENAC 7 avenue Edouard Belin 31055 Toulouse Cedex France
object-oriented design has failed to avoid a rift between interface design and software design, because the messages used in object-oriented poorly describe the interactions between between users and their environment... 详细信息
来源: 评论
Semi-automatic search-based test generation
Semi-automatic search-based test generation
收藏 引用
5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012
作者: Pavlov, Yury Fraser, Gordon Saarland University Saarbrücken Germany
Search-based testing techniques can efficiently generate test data to achieve high code coverage. However, when the fitness function does not provide sufficient guidance, the search will only generate optimal results ... 详细信息
来源: 评论
programming techniques and environments in a technology management department  12
Programming techniques and environments in a technology mana...
收藏 引用
5th Balkan Conference in Informatics, BCI 2012
作者: Xinogalos, Stelios Dept. of Technology Management Loggou-Tourpali Area University of Macedonia 59200 Naoussa Greece
Teaching and learning programming is widely known to be quite problematic. Designing and deploying programming courses is also quite complex. Several choices have to made, such as selecting the first programming techn... 详细信息
来源: 评论