咨询与建议

限定检索结果

文献类型

  • 4,365 篇 会议
  • 406 篇 期刊文献
  • 22 篇 学位论文
  • 15 册 图书

馆藏范围

  • 4,808 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,968 篇 工学
    • 2,606 篇 计算机科学与技术...
    • 2,375 篇 软件工程
    • 290 篇 控制科学与工程
    • 247 篇 电气工程
    • 149 篇 信息与通信工程
    • 47 篇 电子科学与技术(可...
    • 46 篇 机械工程
    • 41 篇 建筑学
    • 38 篇 土木工程
    • 26 篇 生物工程
    • 23 篇 材料科学与工程(可...
    • 20 篇 航空宇航科学与技...
    • 18 篇 仪器科学与技术
    • 15 篇 光学工程
    • 12 篇 环境科学与工程(可...
    • 11 篇 化学工程与技术
    • 10 篇 交通运输工程
  • 415 篇 理学
    • 294 篇 数学
    • 49 篇 系统科学
    • 43 篇 物理学
    • 37 篇 生物学
    • 22 篇 统计学(可授理学、...
    • 15 篇 化学
  • 362 篇 管理学
    • 193 篇 图书情报与档案管...
    • 192 篇 管理科学与工程(可...
    • 74 篇 工商管理
  • 44 篇 教育学
    • 43 篇 教育学
  • 25 篇 法学
    • 24 篇 社会学
  • 17 篇 医学
    • 13 篇 临床医学
  • 11 篇 经济学
    • 11 篇 应用经济学
  • 9 篇 文学
  • 5 篇 农学
  • 4 篇 军事学
  • 1 篇 艺术学

主题

  • 1,686 篇 object oriented ...
  • 859 篇 object oriented ...
  • 444 篇 application soft...
  • 436 篇 computer languag...
  • 305 篇 java
  • 268 篇 programming
  • 236 篇 software systems
  • 233 篇 computer science
  • 207 篇 programming prof...
  • 188 篇 software enginee...
  • 176 篇 computer archite...
  • 161 篇 unified modeling...
  • 140 篇 object oriented ...
  • 135 篇 object-oriented ...
  • 118 篇 database systems
  • 96 篇 computational mo...
  • 93 篇 prototypes
  • 90 篇 real time system...
  • 89 篇 concurrent compu...
  • 88 篇 hardware

机构

  • 9 篇 software composi...
  • 8 篇 ibm
  • 8 篇 carnegie mellon ...
  • 8 篇 univ bern softwa...
  • 8 篇 swiss fed inst t...
  • 8 篇 univ texas austi...
  • 7 篇 purdue universit...
  • 6 篇 cwi
  • 6 篇 ibm thomas j. wa...
  • 6 篇 school of comput...
  • 6 篇 ibm corp thomas ...
  • 6 篇 university of il...
  • 5 篇 school of comput...
  • 5 篇 university of te...
  • 5 篇 georgia inst tec...
  • 5 篇 univ waterloo wa...
  • 5 篇 ibm t.j. watson ...
  • 5 篇 department of co...
  • 5 篇 victoria univers...
  • 5 篇 siemens ag

作者

  • 13 篇 noble james
  • 12 篇 aldrich jonathan
  • 11 篇 de meuter wolfga...
  • 10 篇 biddle robert
  • 10 篇 cook william r.
  • 9 篇 ricci alessandro
  • 9 篇 de champeaux den...
  • 9 篇 yonezawa akinori
  • 9 篇 nierstrasz oscar
  • 9 篇 johnson ralph
  • 9 篇 chambers c
  • 8 篇 coad peter
  • 8 篇 madsen ole lehrm...
  • 8 篇 abi-antoun marwa...
  • 8 篇 salvaneschi guid...
  • 8 篇 vitek jan
  • 8 篇 s.s. yau
  • 7 篇 hirschfeld rober...
  • 7 篇 visser eelco
  • 7 篇 ancona davide

语言

  • 4,688 篇 英文
  • 107 篇 其他
  • 12 篇 中文
  • 1 篇 日文
检索条件"任意字段=Conference on Object-Oriented Programming Systems, Languages, and Applications"
4808 条 记 录,以下是331-340 订阅
排序:
Agent-oriented programming languages as a High-Level Abstraction Facilitating the Development of Intelligent Behaviours for Component-Based applications  18th
Agent-Oriented Programming Languages as a High-Level Abstrac...
收藏 引用
18th International conference on Principles and Practice of Multi-Agent systems (PRIMA)
作者: Russell, Sean O'Hare, G. M. P. Collier, Rem W. Univ Coll Dublin Sch Comp Sci Dublin 2 Ireland
Developing behaviours for complex component based systems is a difficult task. This paper evaluates the use of agent-oriented programming languages as a high level abstraction for performing this task. Evaluation carr... 详细信息
来源: 评论
Detecting Redundant CSS Rules in HTML5 applications: A Tree Rewriting Approach  2015
Detecting Redundant CSS Rules in HTML5 Applications: A Tree ...
收藏 引用
ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications (OOPSLA)
作者: Hague, Matthew Lin, Anthony W. Ong, C. -H. Luke Univ London London WC1E 7HU England Yale NUS Coll Singapore Singapore Univ Oxford Oxford OX1 2JD England
HTML5 applications normally have a large set of CSS (Cascading Style Sheets) rules for data display. Each CSS rule consists of a node selector and a declaration block (which assigns values to selected nodes' displ... 详细信息
来源: 评论
Versatile yet Lightweight Record-and-Replay for Android  2015
Versatile yet Lightweight Record-and-Replay for Android
收藏 引用
ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications (OOPSLA)
作者: Hu, Yongjian Azim, Tanzirul Neamtiu, Iulian Univ Calif Riverside Riverside CA 92521 USA
Recording and replaying the execution of smartphone apps is useful in a variety of contexts, from reproducing bugs to profiling and testing. Achieving effective record-and-replay is a balancing act between accuracy an... 详细信息
来源: 评论
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015)
Workshop preview of the 2015 workshop on reactive and event-...
收藏 引用
ACM SIGPLAN International conference on systems, programming, languages and applications: Software for Humanity, SPLASH 2015
作者: Salvaneschi, Guido De Meuter, Wolfgang Eugster, Patrick Ziarek, Lukasz Technische Universität Darmstadt Germany Vrije Universiteit Brussel Belgium Purdue University United States State University of New York United States
Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HCI technology and the ever increasing requirement for appl... 详细信息
来源: 评论
Fostering Software Architect and Programmer Collaboration
Fostering Software Architect and Programmer Collaboration
收藏 引用
IEEE International conference on Engineering of Complex Computer systems
作者: Van Cam Pham Shuai Li Ansgar Radermacher Sébastien Gérard Chokri Mraidha CEA LIST Saclay France
Model-Driven Engineering (MDE) is a development paradigm that brings the benefits of increased automation to the software development cycle. The MDE community tries to promote MDE adoption by pushing models written in... 详细信息
来源: 评论
Automated formal verification of the refined specification of digital systems in HSSL
Automated formal verification of the refined specification o...
收藏 引用
International conference on Emerging eLearning Technologies and applications (ICETA)
作者: L. Maron D. Macko Slovenska Technicka Univerzita Bratislava SK
Design of modern hardware systems becomes difficult because of the increasing complexity. As a result, more abstraction is used in the design process. However, an error made at a higher abstraction level is transferre... 详细信息
来源: 评论
An Opportunistic Approach to Retaining Use Cases in object-oriented Source Code  4
An Opportunistic Approach to Retaining Use Cases in Object-O...
收藏 引用
Eastern European Regional conference on the Engineering of Computer-Based systems ECBS-EERC
作者: Greppel, Jan Vranic, Valentino Slovak Univ Technol Bratislava Fac Informat & Informat Technol Inst Informat & Software Engn Bratislava Slovakia
Use cases are widely used to express what software systems are supposed to provide in terms of an interaction between the users and the system. Without a particular effort to preserve them, use cases dissolve in sourc... 详细信息
来源: 评论
Connecting object constraints with context-oriented programming: Scoping constraints with layers and activating layers with constraints
Connecting object constraints with context-oriented programm...
收藏 引用
International Workshop on Context-oriented programming, COP 2015
作者: Lehmann, Stefan Felgentreff, Tim Hirschfeld, Robert Hasso Plattner Institute University of Potsdam Germany
Context-oriented programming extends object-oriented languages with a mechanism to dynamically adapt behavior. object Constraint programming orthogonally extends object-oriented run-times by integrating constraints, i... 详细信息
来源: 评论
A Logical Theory of Belief Dynamics for Resource-Bounded Agents  16
A Logical Theory of Belief Dynamics for Resource-Bounded Age...
收藏 引用
International conference on Autonomous Agents and Multiagent systems
作者: Philippe Balbiani David Fernandez-Duque Emiliano Lorini IRIT-CNRS Toulouse University IRIT Toulouse University
The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief fro... 详细信息
来源: 评论
Ruby Benchmark Tool using Docker
Ruby Benchmark Tool using Docker
收藏 引用
Federated conference on Computer Science and Information systems (FedCSIS)
作者: Ludvigh, Richard Rebok, Tomas Tunka, Vaclav Nguyen, Filip Masaryk Univ Fac Informat Bot 68a Brno 60200 Czech Republic JBoss Middleware Red Hat Czech Brno 61245 Czech Republic
The purpose of this paper is to introduce and describe a new Ruby benchmarking tool. We will describe the background of Ruby benchmarking and the advantages of the new tool. The paper documents the benchmarking proces... 详细信息
来源: 评论