咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是271-280 订阅
排序:
Extracting a domain specific language from an example a bottom-up method using the ngrease metalanguage
Extracting a domain specific language from an example a bott...
收藏 引用
WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07
作者: Oikarinen, Ville T Sysart Oy
This demonstration shows a lightweight and fast method for a tested and working domain specific language. The is demonstrated using the ngrease metalanguage. creation of a new language is started by writing a example ... 详细信息
来源: 评论
Oaklisp: An object-oriented scheme with first class types  86
Oaklisp: An object-oriented scheme with first class types
收藏 引用
conference on object-oriented programming systems, languages and applications, oopsla 1986
作者: Lang, Kevin J. Pearlmutter, Barak A. Department of Computer Science Carnegie-Mellon University PittsburghPA15213 United States
Scheme papers demonstrated that lisp could be made simpler and more expressive by elevating functions to the level of first class objects. Oaklisp shows that a message based language can derive similar benefits from h... 详细信息
来源: 评论
Verification and testing in an object-oriented CS2 course
Verification and testing in an object-oriented CS2 course
收藏 引用
1992 conference on object-oriented programming systems, languages, and applications, oopsla 1992
作者: Collins, William J. Lafayette College Computer Science Department EastonPA18042 United States
A model for verification and testing in an object-oriented CS2 course is presented. The model has four stages - two for verification and two for testing - at which student progress is evaluated. Students thereby see v... 详细信息
来源: 评论
Automated impact analysis of object-oriented software systems
Automated impact analysis of object-oriented software system...
收藏 引用
18th Annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, oopsla'03
作者: Hoffman, Michael A. Department of Computer Engineering and Computer Science California State University Long Beach United States
来源: 评论
Detection and correction of design defects in object-oriented designs
Detection and correction of design defects in object-oriente...
收藏 引用
WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07
作者: Moha, Naouel Ptidej Team - GEODES Group DIRO University of Montreal QC Canada
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. However, design defects have not been preci... 详细信息
来源: 评论
Compile-Time execution structure of object-oriented programs with practical ownership domain annotations
Compile-Time execution structure of object-oriented programs...
收藏 引用
WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07
作者: Abi-Antoun, Marwan Carnegie Mellon University United States
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make the ownership domains type system more... 详细信息
来源: 评论
The first workshop on programming languages and Integrated Development Environments (PLIDE)
The first workshop on Programming Languages and Integrated D...
收藏 引用
22nd International conference on object-oriented programming systems, languages, and applications, oopsla 2007 - Companion
作者: McDirmid, Sean Fuhrer, Robert M. Dolby, Julian Vigdorchik, Eugene IBM T.J. Watson Research Center Jet Brains
No abstract available
来源: 评论
Eclipse technology exchange Workshop (ETX2007)
Eclipse technology exchange Workshop (ETX2007)
收藏 引用
WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07
作者: Cheng, Li-Te Morris, Cheryl Orso, Alessandro Robillard, Martin IBM T.J. Watson Research Center Cambridge MA United States IBM Toronto Lab Markham ON Canada Georgia Institute of Technology Atlanta GA United States McGill University Montréal QC Canada
The Eclipse platform is designed for building integrated development environments for object-oriented *** goal of the ETX workshop is to bring together researchers and practitioners to exchange ideas about potential n... 详细信息
来源: 评论
Grey-box specifications for object-oriented runtime Components
Grey-box specifications for object-oriented runtime Componen...
收藏 引用
23rd ACM SIGPLAN conference on object oriented programming systems languages and applications,oopsla 2008
作者: Welsch, Yannick Software Technology Group University of Kaiserslautern Germany
We present a formal specification technique for objectoriented program components based on their boundary message behaviour. Component specifications describe restrictions on the set of message traces for a component ... 详细信息
来源: 评论
Automatic inheritance hierarchy restructuring and method refactoring  96
Automatic inheritance hierarchy restructuring and method ref...
收藏 引用
1996 ACM SIGPAN conference on object-oriented programming systems, languages and applications (oopsla 96)
作者: Moore, I Department of Computer Science University of Manchester Oxford Road Manchester M13 9PL England
Most object-oriented programs have imperfectly designed inheritance hierarchies and imperfectly factored methods, and these imperfections tend to increase with maintenance. Hence, even object-oriented programs are mor... 详细信息
来源: 评论