咨询与建议

限定检索结果

文献类型

  • 1,381 篇 会议
  • 107 篇 期刊文献
  • 3 册 图书

馆藏范围

  • 1,491 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,398 篇 工学
    • 1,353 篇 软件工程
    • 1,101 篇 计算机科学与技术...
    • 176 篇 控制科学与工程
    • 38 篇 信息与通信工程
    • 21 篇 建筑学
    • 15 篇 土木工程
    • 15 篇 生物工程
    • 12 篇 光学工程
    • 12 篇 电气工程
    • 6 篇 机械工程
    • 6 篇 材料科学与工程(可...
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 冶金工程
    • 3 篇 航空宇航科学与技...
    • 2 篇 力学(可授工学、理...
    • 2 篇 生物医学工程(可授...
  • 166 篇 理学
    • 126 篇 数学
    • 23 篇 系统科学
    • 18 篇 生物学
    • 6 篇 化学
    • 6 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 2 篇 地质学
  • 145 篇 管理学
    • 103 篇 图书情报与档案管...
    • 55 篇 管理科学与工程(可...
    • 31 篇 工商管理
  • 18 篇 教育学
    • 17 篇 教育学
  • 10 篇 法学
    • 9 篇 社会学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 医学
  • 1 篇 农学

主题

  • 452 篇 object oriented ...
  • 226 篇 languages
  • 81 篇 performance
  • 79 篇 design
  • 71 篇 java programming...
  • 52 篇 algorithms
  • 48 篇 java
  • 44 篇 experimentation
  • 43 篇 verification
  • 36 篇 computer program...
  • 31 篇 reliability
  • 30 篇 theory
  • 28 篇 aspect oriented ...
  • 21 篇 measurement
  • 17 篇 human factors
  • 16 篇 parallel program...
  • 15 篇 concurrency
  • 14 篇 static analysis
  • 14 篇 scala
  • 14 篇 refactoring

机构

  • 18 篇 univ washington ...
  • 12 篇 ecole polytech f...
  • 12 篇 univ texas austi...
  • 9 篇 microsoft res re...
  • 9 篇 swiss fed inst t...
  • 8 篇 mit csail cambri...
  • 8 篇 univ calif berke...
  • 8 篇 university of il...
  • 7 篇 victoria univers...
  • 6 篇 programming tool...
  • 6 篇 univ waterloo wa...
  • 6 篇 suny binghamton ...
  • 6 篇 university of wa...
  • 6 篇 carnegie mellon ...
  • 6 篇 aarhus univ dk-8...
  • 6 篇 purdue univ dept...
  • 5 篇 univ marburg d-3...
  • 5 篇 tech univ darmst...
  • 5 篇 ibm t.j. watson ...
  • 5 篇 delft univ techn...

作者

  • 13 篇 noble james
  • 13 篇 de moor oege
  • 13 篇 aldrich jonathan
  • 11 篇 lorenz david h.
  • 10 篇 biddle robert
  • 10 篇 odersky martin
  • 10 篇 ernst michael d.
  • 9 篇 mckinley kathryn...
  • 9 篇 baniassad elisa
  • 9 篇 hendren laurie
  • 9 篇 visser eelco
  • 9 篇 ostermann klaus
  • 8 篇 de champeaux den...
  • 8 篇 tip frank
  • 8 篇 cook william r.
  • 8 篇 johnson ralph
  • 8 篇 liu yu david
  • 8 篇 binder walter
  • 8 篇 abi-antoun marwa...
  • 8 篇 mezini mira

语言

  • 1,422 篇 英文
  • 69 篇 其他
检索条件"任意字段=1987 Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 1987"
1491 条 记 录,以下是371-380 订阅
排序:
InTml: A case study on virtual reality development
InTml: A case study on virtual reality development
收藏 引用
oopsla 2009 Companion - 24th Annual ACM conference on object-oriented programming, systems, languages and applications, oopsla 2009
作者: Figueroa, Pablo Universidad de Los Andes Colombia
We present the Interaction Techniques Markup Language (InTml), a case study of the use of Domain Specific languages (DSLs), Model Driven Development (MDD), and Software Product Lines (SPL) in the field of Virtual Real... 详细信息
来源: 评论
Workshop: Using OOP for real-time programming
Workshop: Using OOP for real-time programming
收藏 引用
1990 European conference on object-oriented programming Addendum: systems, languages, and applications: systems, languages, and applications, oopsla/ECOOP 1990
作者: Barry, Brian M. Defence Research Establishment Ottawa Ottawa Canada
来源: 评论
object-oriented software development in a commercial environment: The evolution of ET++
Object-oriented software development in a commercial environ...
收藏 引用
1992 conference on object-oriented programming systems, languages, and applications, oopsla 1992
作者: Birrer, Andreas Gamma, Erich Schäffer, Bruno Weinand, André Walter Bischofberger Switzerland Bahnhofstr. 45 ZürichCH-8021 Switzerland
The objective of this poster is to show the evolution of the application framework ET++ from a university research project to a seamless platform for commercial application development in a banking environment. The pr... 详细信息
来源: 评论
Sound polymorphic type inference for objects  95
Sound polymorphic type inference for objects
收藏 引用
10th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1995
作者: Eifrig, Jonathan Smith, Scott Trifonov, Valery Department of Computer Science John Hopkins University United States
A polymorphic, constraint-based type inference algorithm for an object-oriented language is defined. A generalized form of type, polymorphic recursively constrained types, are inferred. These types are expressive enou... 详细信息
来源: 评论
Debugging and testing behavioral UML models
Debugging and testing behavioral UML models
收藏 引用
WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07
作者: Dotan, Dolev Kirshin, Andrei IBM Haifa Research Lab Haifa University Mount Carmel Haifa 31905 Israel
As software complexity increases, the process of software development is shifting from being code-centric to modelcentric. For this purpose, UML augments the object-oriented paradigm with powerful and flexible behavio... 详细信息
来源: 评论
Ownership, encapsulation and the disjointness of type and effect  02
Ownership, encapsulation and the disjointness of type and ef...
收藏 引用
17th Meeting on object-oriented programming, systems, languages and applications (oopsla 2002)
作者: Clarke, D Drossopoulou, S Univ Utrecht Inst Informat & Comp Sci Utrecht Netherlands Univ London Imperial Coll Sci Technol & Med Dept Comp London England
Ownership types provide a statically enforceable notion of object-level encapsulation. We extend ownership types with computational effects to support reasoning about object-oriented programs. The ensuing system provi... 详细信息
来源: 评论
Using sybase workspace to build service oriented architecture (soa) applications quickly demonstration of a commercial tool
Using sybase workspace to build service oriented architectur...
收藏 引用
WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07
作者: Tanuan, Meyer Sybase Canada 445 Wes Graham Way Waterloo ON N2L 6R2 United States
In the past years, there is significant growth in the number new technologies for Java developers. More recently, Services and Service oriented Architectures (SOA) becoming popular. Projects are now more complex and b... 详细信息
来源: 评论
Reflections on the ORB: A look back at our experience building an ORB-based architecture
Reflections on the ORB: A look back at our experience buildi...
收藏 引用
Proceedings of the 1997 12th Annual conference on object-oriented programming, systems, languages, and applications, oopsla'97
作者: Jordan, Richard O'Riordan, Mark Williams, Tom Lucent Technologies Columbus United States
A new architecture is developed to integrate a family of products onto common platform. The communications back-plane for this architecture is provided by an object request broker (ORB). The impact of using an ORB in ... 详细信息
来源: 评论
Report on the Workshop on object-oriented Real-Time systems
Report on the Workshop on Object-Oriented Real-Time Systems
收藏 引用
10th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1995
作者: Wilhelm, Bob Gilbert, John Fayad, Mohamed Objective Control United States Objective Software United States University of Nevada Reno United States
The Workshop on object-oriented Real-Time systems has been conduced each year at oopsla since 1988 with a variety of formats. In this year's workshop, participants submitted position papers on a broad range of sub... 详细信息
来源: 评论
Design patterns and real-time object-oriented modeling
Design patterns and real-time object-oriented modeling
收藏 引用
2000 conference on object-oriented programming, systems, languages, and applications, oopsla 2000
作者: McKegney, Ross Shepard, Terry Dept. of Computing and Information Science Queen's University Kingston ON Canada Dept. of Electrical and Computer Engineering Royal Military College of Canada Kingston ON Canada
Real-time object-oriented modeling tools (e.g. Rational Rose-RT, i-Logix Rhapsody) allow developers to focus on software architecture by abstracting away low-level implementation details. We believe that design patter... 详细信息
来源: 评论