咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是361-370 订阅
排序:
Automatic code generation and solution estimate for object-oriented embedded software
Automatic code generation and solution estimate for object-o...
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Ferreira, Ronaldo Rodrigues Porto Alegre Brazil
This work tailors an Alloy model translator to Java code and an estimate tool for physical resources optimization into a design-flow. Experimental results show distinct implementation strategies only varying data stru... 详细信息
来源: 评论
On Understanding Data Abstraction, Revisited  09
On Understanding Data Abstraction, Revisited
收藏 引用
24th Annual ACM conference on object-oriented programming, systems, languages and applications
作者: Cook, William R. Univ Texas Austin Austin TX 78712 USA
In 1985 Luca Cardelli and Peter Wegner, my advisor, published an ACM Computing Surveys paper called "On understanding types, data abstraction, and polymorphism". Their work kicked off a flood of research on ... 详细信息
来源: 评论
Extreme programming in practice
Extreme programming in practice
收藏 引用
2000 conference on object-oriented programming, systems, languages, and applications, oopsla 2000
作者: Newkirk, James Martin, Robert C. Object Mentor Inc. 565 Lakeview Parkway Vernon Hills IL 60061 United States
Follow along the implementation of an actual web-based application developed using Extreme programming (XP). The application implements the user area for a commercial web site, using Java Servlets and JDBC. This repor... 详细信息
来源: 评论
Lagrein: Tracking the software development process
Lagrein: Tracking the software development process
收藏 引用
WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07
作者: Jermakovics, Andrejs Scotto, Marco Succi, Giancarlo Free University of Bolzano Bozen Piazza Domenicani 3 I-39100 Bolzano Italy
Estimating the real effort spent to implement the requirements of a software system, without superimposing any overhead on the development team, represents a paramount opportunity to keep a software project under cont... 详细信息
来源: 评论
Roles for composite objects in object-oriented analysis and design  8
Roles for composite objects in object-oriented analysis and ...
收藏 引用
8th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1993
作者: Civello, Franco Computing Department University of Brighton Watts Building Lewes Road BrightonBN2 4GJ United Kingdom
A method is presented for using composite objects which separates their role and meaning as models of relations between problem-domain concepts from their role and meaning as models of hierarchical software structures... 详细信息
来源: 评论
Resources for early object design education
Resources for early object design education
收藏 引用
Proceedings of the 1997 12th Annual conference on object-oriented programming, systems, languages, and applications, oopsla'97
作者: Biddle, Robert Mercer, Rick
Initial goal in the 1996 workshop was to investigate general experience and ideas related to effective early teaching and learning of object design. The goal for 1997 emerged from one of the outcomes of the 1996 works... 详细信息
来源: 评论
Establishing object invariants with delayed types  07
Establishing object invariants with delayed types
收藏 引用
oopsla 2007: 22nd International conference on object-oriented programming, systems, languages, and applications
作者: Fähndrich, Manuel Songtao, Xia Microsoft Research
Mainstream object-oriented languages such as C# and Java provide an initialization model for objects that does not guarantee programmer controlled initialization of fields. Instead, all fields are initialized to defau... 详细信息
来源: 评论
object-oriented behavioral semantics with an emphasis on semantics of large OO business specifications
Object-oriented behavioral semantics with an emphasis on sem...
收藏 引用
1997 ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, oopsla 1997
作者: Kilov, Haim Rumpe, Bernhard Simmonds, Ian Men-ill Lynch Operations Services and Technology World Financial Center New YorkNY10080-6105 United States Institut Information Technische Universitit Miinchen 30 Saw Mill River Munich80333 Germany IBM T. J. Watson Research Center HawthorneNY10532 United States
来源: 评论
Meta: Extending and unifying languages
Meta: Extending and unifying languages
收藏 引用
19th Annual ACM conference on object-oriented programming, systems, languages, and applications, oopsla'04
作者: Holst, Wade Department of Computer Science University of Western Ontario London ON Canada
Meta is an ambitious research project whose overall purpose is to increase the utility and expressive power of a wide range of existing languages. Meta provides augmented versions of existing languages and guarantees ... 详细信息
来源: 评论
PI: A case study in object-oriented programming  86
PI: A case study in object-oriented programming
收藏 引用
conference on object-oriented programming systems, languages and applications, oopsla 1986
作者: Cargill, T.A. AT T Belt Laboratories Murray HillNJ07974 United States
Pi is a debugger written in C++. This paper explains how object-oriented programming in C++ has influenced Pi's evolution. The motivation for object- oriented programming was to experiment with a browner-like grap... 详细信息
来源: 评论