咨询与建议

限定检索结果

文献类型

  • 577 篇 会议
  • 25 册 图书
  • 25 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 522 篇 工学
    • 475 篇 计算机科学与技术...
    • 416 篇 软件工程
    • 33 篇 电气工程
    • 23 篇 控制科学与工程
    • 18 篇 信息与通信工程
    • 7 篇 生物工程
    • 5 篇 环境科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 农业工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 生物医学工程(可授...
  • 87 篇 理学
    • 62 篇 数学
    • 11 篇 生物学
    • 7 篇 物理学
    • 7 篇 系统科学
    • 5 篇 化学
  • 36 篇 管理学
    • 25 篇 图书情报与档案管...
    • 12 篇 管理科学与工程(可...
    • 5 篇 工商管理
  • 9 篇 教育学
    • 9 篇 教育学
  • 8 篇 法学
    • 7 篇 社会学
    • 1 篇 法学
  • 3 篇 农学
    • 3 篇 作物学
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 临床医学
    • 2 篇 药学(可授医学、理...

主题

  • 237 篇 object oriented ...
  • 24 篇 software enginee...
  • 24 篇 object-oriented ...
  • 23 篇 programming tech...
  • 18 篇 programming lang...
  • 13 篇 semantics
  • 13 篇 logics and meani...
  • 12 篇 computer communi...
  • 11 篇 aspect oriented ...
  • 11 篇 artificial intel...
  • 9 篇 software enginee...
  • 9 篇 c++ (programming...
  • 9 篇 database managem...
  • 7 篇 specifications
  • 7 篇 it in business
  • 5 篇 computer softwar...
  • 5 篇 calculations
  • 5 篇 application prog...
  • 5 篇 computer softwar...
  • 5 篇 problem oriented...

机构

  • 7 篇 victoria univers...
  • 5 篇 carnegie mellon ...
  • 4 篇 microsoft corp r...
  • 4 篇 swiss fed inst t...
  • 3 篇 victoria univ we...
  • 3 篇 software composi...
  • 3 篇 microsoft united...
  • 3 篇 univ genoa disi ...
  • 3 篇 university of to...
  • 3 篇 object technolog...
  • 3 篇 eth zurich
  • 3 篇 university of ch...
  • 3 篇 i.b.m. thomas j....
  • 3 篇 univ geneva obje...
  • 3 篇 independent soft...
  • 3 篇 umeå university
  • 3 篇 purdue univ dept...
  • 3 篇 purdue universit...
  • 2 篇 harvey mudd coll...
  • 2 篇 universidad de m...

作者

  • 16 篇 noble james
  • 9 篇 vitek jan
  • 6 篇 davis kei
  • 6 篇 madsen ole lehrm...
  • 6 篇 jul eric
  • 5 篇 bosch j
  • 5 篇 drossopoulou sop...
  • 5 篇 de meuter wolfga...
  • 5 篇 bruce kim b.
  • 5 篇 ernst michael d.
  • 5 篇 chambers c
  • 5 篇 aldrich jonathan
  • 5 篇 mens kim
  • 5 篇 sahraoui houari ...
  • 4 篇 hirschfeld rober...
  • 4 篇 szyperski c
  • 4 篇 ducasse stéphane
  • 4 篇 homer michael
  • 4 篇 ancona davide
  • 4 篇 yonezawa akinori

语言

  • 614 篇 英文
  • 11 篇 其他
  • 2 篇 中文
检索条件"任意字段=European Conference on Object-Oriented Programming, ECOOP 2000"
627 条 记 录,以下是331-340 订阅
排序:
Soundness of object-oriented Languages with Coinductive Big-Step Semantics  12
Soundness of Object-Oriented Languages with Coinductive Big-...
收藏 引用
26th european conference on object-oriented programming (ecoop)
作者: Ancona, Davide Univ Genoa DISI Genoa Italy
It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem ... 详细信息
来源: 评论
Integrating human factors into use cases and object-oriented methods  13th
Integrating human factors into use cases and object-oriented...
收藏 引用
13th european conference on object-oriented programming (ecoop 99)
作者: Seffah, A Hayne, C Comp Res Ctr Montreal Montreal PQ Canada
This article summarizes the workshop on human factors in use cases and object-oriented development methods. The following questions were the main focus of the workshop: Can use cases be improved by the incorporation o... 详细信息
来源: 评论
32nd european conference on objectoriented programming (ecoop 2018)
32nd european conference on objectoriented programming (ECOO...
收藏 引用
32nd european conference on object-oriented programming, ecoop 2018
The proceedings contain 25 papers. The topics discussed include: fault-tolerant distributed reactive programming;theory and practice of coroutines with snapshots;a characteristic study of parameterized unit tests in ....
来源: 评论
Eighth Workshop on Pedagogies and tools for the Teaching and Learning of object oriented Concepts
Eighth Workshop on Pedagogies and tools for the Teaching and...
收藏 引用
18th european conference on object-oriented programming (ecoop 2004)
作者: Börstler, J Michiels, I Fjuk, A Umea Univ Umea Sweden Free Univ Brussels Brussels Belgium Univ Oslo Oslo Norway
This report summarises the results of the eighth workshop in a series of workshops on pedagogies and tools for the teaching and learning of object-oriented concepts. The submissions to this year's workshop mainly ... 详细信息
来源: 评论
Assessing the impact of aspects on exception flows: An exploratory study
收藏 引用
22nd european conference on object-oriented programming (ecoop 2008)
作者: Coelho, Roberta Rashid, Awais Garcia, Alessandro Ferrari, Fabiano Cacho, Nelio Kulesza, Uira von Staa, Arndt Lucena, Carlos Pontificia Univ Catol Rio de Janeiro Dept Comp Sci BR-22453 Rio De Janeiro Brazil Univ Lancaster Dept Comp Lancaster England Univ Nova Lisboa CITI DI FCT Lisbon Portugal Recife Ctr Adv Stud & Syst Recife PE Brazil
Exception handling mechanisms are intended to Support the development of robust software. However, the implementation of such mechanisms with aspect-oriented (AO) programming might lead to error-prone scenarios. As as... 详细信息
来源: 评论
ecoop’98 — object-oriented programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This book constitutes the refereed proceedings of the 12th european conference on object-oriented programming, ecoop'98, held in Brussels, Belgium, in July 1998.;The book presents 24 revised full technical papers ... 详细信息
来源: 评论
ecoop 2013 – object-oriented programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Giuseppe Castagna
This book constitutes the proceedings of the 27th european conference on object-oriented programming, ecoop 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully review... 详细信息
来源: 评论
object Initialization in X10  12
Object Initialization in X10
收藏 引用
26th european conference on object-oriented programming (ecoop)
作者: Zibin, Yoav Cunningham, David Peshansky, Igor Saraswat, Vijay Google Bangalore Karnataka India IBM Res TJ Watson Yorktown Hts NY USA
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchronous activities, multiple places). Obj... 详细信息
来源: 评论
Using types and inheritance in object-oriented languages
收藏 引用
european conference on object-oriented programming, ecoop 1987
作者: Halbert, Daniel C. O’Brien, Patrick D. Object-Based Systems Group Digital Equipment Corporation HLO 2-3/M08 77 Reed Road HudsonMA01749 United States
If the object-oriented style of programming hopes to live up to its potential as an improved methodology for software programming, a clear understanding of how to use types and inheritance is essential. Our experience... 详细信息
来源: 评论
ecoop 2011 – object-oriented programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Mira Mezini
This book constitutes the refereed proceedings of the 25th european conference on object-oriented programming, ecoop 2011, held in Lancaster, UK, in July 2011. The 26 revised full papers, presented together with three... 详细信息
来源: 评论