咨询与建议

限定检索结果

文献类型

  • 738 篇 会议
  • 127 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 866 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 777 篇 工学
    • 742 篇 软件工程
    • 568 篇 计算机科学与技术...
    • 35 篇 控制科学与工程
    • 19 篇 电气工程
    • 19 篇 信息与通信工程
    • 16 篇 生物工程
    • 8 篇 土木工程
    • 6 篇 建筑学
    • 4 篇 化学工程与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 电子科学与技术(可...
    • 3 篇 环境科学与工程(可...
    • 2 篇 机械工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 59 篇 理学
    • 33 篇 数学
    • 18 篇 生物学
    • 6 篇 物理学
    • 6 篇 化学
    • 6 篇 系统科学
    • 1 篇 大气科学
    • 1 篇 地球物理学
    • 1 篇 统计学(可授理学、...
  • 58 篇 管理学
    • 34 篇 图书情报与档案管...
    • 26 篇 管理科学与工程(可...
    • 8 篇 工商管理
  • 12 篇 法学
    • 12 篇 社会学
    • 1 篇 法学
  • 6 篇 教育学
    • 6 篇 教育学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 医学

主题

  • 250 篇 languages
  • 111 篇 object oriented ...
  • 83 篇 performance
  • 83 篇 design
  • 52 篇 algorithms
  • 46 篇 verification
  • 43 篇 java
  • 41 篇 experimentation
  • 38 篇 reliability
  • 36 篇 computer program...
  • 34 篇 theory
  • 19 篇 human factors
  • 17 篇 concurrency
  • 16 篇 parallel program...
  • 16 篇 object-oriented ...
  • 15 篇 measurement
  • 14 篇 scala
  • 13 篇 aspect oriented ...
  • 13 篇 javascript
  • 12 篇 type systems

机构

  • 18 篇 univ washington ...
  • 13 篇 ecole polytech f...
  • 12 篇 tech univ darmst...
  • 11 篇 microsoft res re...
  • 9 篇 mit csail cambri...
  • 8 篇 univ texas austi...
  • 7 篇 princeton univ p...
  • 7 篇 univ marburg d-3...
  • 7 篇 univ texas austi...
  • 7 篇 aarhus univ dk-8...
  • 6 篇 johannes kepler ...
  • 6 篇 suny binghamton ...
  • 6 篇 harvard univ cam...
  • 6 篇 purdue univ w la...
  • 6 篇 univ calif berke...
  • 5 篇 univ duisburg es...
  • 5 篇 microsoft res ca...
  • 5 篇 ecole polytech f...
  • 5 篇 mcgill univ mont...
  • 5 篇 univ hong kong p...

作者

  • 12 篇 rajan hridesh
  • 12 篇 odersky martin
  • 11 篇 mezini mira
  • 10 篇 hirschfeld rober...
  • 10 篇 binder walter
  • 9 篇 salvaneschi guid...
  • 9 篇 aldrich jonathan
  • 9 篇 ostermann klaus
  • 8 篇 mckinley kathryn...
  • 8 篇 marr stefan
  • 8 篇 rompf tiark
  • 7 篇 oliveira bruno c...
  • 7 篇 noble james
  • 7 篇 liu yu david
  • 7 篇 kuncak viktor
  • 7 篇 gulwani sumit
  • 6 篇 bond michael d.
  • 6 篇 ceze luis
  • 6 篇 van der storm ti...
  • 6 篇 coad peter

语言

  • 747 篇 英文
  • 116 篇 其他
  • 2 篇 中文
  • 1 篇 俄文
检索条件"任意字段=2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages"
866 条 记 录,以下是541-550 订阅
排序:
ECOOP 2010 Workshop Proceedings - international Workshop on Formalization of Modeling languages, FML'10
ECOOP 2010 Workshop Proceedings - International Workshop on ...
收藏 引用
24th European conference on object-oriented programming, ECOOP 2010 - international Workshop on Formalization of Modeling languages, FML'10
The proceedings contain 5 papers. The topics discussed include: applying attribute grammers for metamodel semantics;abstract syntax driven language development: defining language semantics through aspects;an executabl...
来源: 评论
Towards a DSML for semantic web enabled multi-agent systems
Towards a DSML for semantic web enabled multi-agent systems
收藏 引用
24th European conference on object-oriented programming, ECOOP 2010 - international Workshop on Formalization of Modeling languages, FML'10
作者: Kardas, Geylani Demirezen, Zekai Challenger, Moharram International Computer Institute Ege University 35100 Bornova Izmir Turkey Department of Computer and Information Sciences University of Alabama Birmingham AL 35294-1170 United States
Software agents are considered as autonomous software components which are capable of acting to meet its design objectives. To perform their tasks and interact with each other, agents constitute systems called Multi-a... 详细信息
来源: 评论
A Unified Approach to Modeling and programming
A Unified Approach to Modeling and Programming
收藏 引用
13th international conference on Model Driven Engineering languages and systems
作者: Madsen, Ole Lehrmann Moller-Pedersen, Birger Aarhus Univ Dept Comp Sci Abogade 34 DK-8200 Aarhus N Denmark Univ Oslo Dept Informat N-0371 Oslo Norway
SIMULA was a language for modeling and programming and provided a unified approach to modeling and programming in contrast to methodologies based on structured analysis and design. The current development seems to be ... 详细信息
来源: 评论
Sharing bad practices in design to improve the use of patterns  10
Sharing bad practices in design to improve the use of patter...
收藏 引用
17th conference on Pattern languages of Programs, PLoP 2010
作者: Bouhours, Cédric Leblanc, Hervé Percebois, Christian IRIT University of Toulouse France IRIT MACAO Team University of Paul Sabatier 118 Route de Narbonne 31062 Toulouse Cedex 9 France
To ensure the use of good analysis and design practices and an easier maintenance of software, analysts and designers may use patterns. To help them, we propose models inspection in order to detect instantiations of&q... 详细信息
来源: 评论
Introducing the acm international conference on systems, programming, languages, and applications: Software for humanity (SPLASH)
Proceedings of the Conference on Object-Oriented Programming...
收藏 引用
Proceedings of the conference on object-oriented programming systems, languages, and Applications, OOPSLA 2010年 iii页
作者: Cook, William University of Texas Austin United States
来源: 评论
Distributed object-oriented programming with RFID technology  10
Distributed object-oriented programming with RFID technology
收藏 引用
10th IFIP WG 6.1 international conference on Distributed Applications and Interoperable systems, DAIS 2010
作者: Lombide Carreton, Andoni Pinte, Kevin De Meuter, Wolfgang Software Languages Lab Vrije Universiteit Brussel Pleinlaan 2 Brussels 1050 Belgium
Our everyday environments will soon be pervaded with RFID tags integrated in physical objects. These RFID tags can store a digital representation of the physical object and transmit it wirelessly to pervasive, context... 详细信息
来源: 评论
Evaluating Java runtime reflection for implementing cross-language method invocations  10
Evaluating Java runtime reflection for implementing cross-la...
收藏 引用
Proceedings of the 8th international conference on the Principles and Practice of programming in Java
作者: Sobernig, Stefan Zdun, Uwe Institute for Information Systems and New Media Vienna University of Economics and Business Austria Information Systems Institute Vienna University of Technology Austria
Cross-language method invocations are commonly used for integrating objects residing in different programming language environments. In this experience report, we evaluate the performance and the design impact of alte... 详细信息
来源: 评论
Memoization of methods using software transactional memory to track internal state dependencies  10
Memoization of methods using software transactional memory t...
收藏 引用
Proceedings of the 8th international conference on the Principles and Practice of programming in Java
作者: Rito, Hugo Cachopo, João INESC-ID Lisboa Technical University of Lisbon Portugal
Memoization is a well-known technique for improving the performance of a program, but it has been confined mostly to functional programming, where no mutable state or side-effects exist. Most object-oriented programs,... 详细信息
来源: 评论
Run-time evolution through explicit meta-objects
Run-time evolution through explicit meta-objects
收藏 引用
5th Workshop on Models@run.time 2010, MRT 2010 - At the acm/IEEE 13th international conference on Model Driven Engineering languages and systems, MODELS 2010
作者: Ressia, Jorge Renggli, Lukas Gîrba, Tudor Nierstrasz, Oscar Software Composition Group University of Bern Switzerland
Software must be constantly adapted due to evolving domain knowledge and unanticipated requirements changes. To adapt a system at run-time we need to reflect on its structure and its behavior. object oriented language... 详细信息
来源: 评论
Introducing the acm international conference on systems, programming, languages, and applications: Software for humanity (SPLASH)
Proceedings of the ACM International Conference Companion on...
收藏 引用
Proceedings of the acm international conference Companion on object oriented programming systems languages and Applications Companion, SPLASH '10 2010年 iii页
作者: Cook, William University of Texas Austin United States
来源: 评论