咨询与建议

限定检索结果

文献类型

  • 250 篇 会议
  • 9 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 201 篇 工学
    • 170 篇 计算机科学与技术...
    • 155 篇 软件工程
    • 23 篇 控制科学与工程
    • 18 篇 电气工程
    • 8 篇 信息与通信工程
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 2 篇 仪器科学与技术
    • 2 篇 化学工程与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
    • 1 篇 测绘科学与技术
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 32 篇 管理学
    • 24 篇 图书情报与档案管...
    • 13 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 29 篇 理学
    • 22 篇 数学
    • 5 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 系统科学
    • 1 篇 物理学
    • 1 篇 地球物理学
    • 1 篇 生物学
  • 9 篇 教育学
    • 9 篇 教育学
  • 6 篇 医学
    • 6 篇 临床医学
    • 2 篇 基础医学(可授医学...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 法学
    • 2 篇 社会学

主题

  • 96 篇 object oriented ...
  • 24 篇 object oriented ...
  • 17 篇 java programming...
  • 17 篇 object-oriented ...
  • 16 篇 programming
  • 15 篇 software enginee...
  • 13 篇 java
  • 10 篇 computer science
  • 9 篇 software
  • 8 篇 application soft...
  • 8 篇 computer languag...
  • 8 篇 unified modeling...
  • 7 篇 software systems
  • 7 篇 permission
  • 6 篇 languages
  • 6 篇 computer archite...
  • 6 篇 aspect oriented ...
  • 6 篇 concrete
  • 6 篇 computer program...
  • 5 篇 programming prof...

机构

  • 3 篇 ibm corp thomas ...
  • 2 篇 gannon univ comp...
  • 2 篇 school of comput...
  • 2 篇 infosys labs ban...
  • 2 篇 nanjing univ sta...
  • 2 篇 dakota state uni...
  • 2 篇 department of co...
  • 2 篇 ibm thomas j. wa...
  • 2 篇 univ texas dalla...
  • 2 篇 carleton univers...
  • 2 篇 victoria univers...
  • 2 篇 tokyo inst techn...
  • 2 篇 univ bern softwa...
  • 2 篇 thoughtworks uk ...
  • 2 篇 department of co...
  • 1 篇 university of ma...
  • 1 篇 wells fargo bank...
  • 1 篇 department of co...
  • 1 篇 dept. of compute...
  • 1 篇 univ london impe...

作者

  • 5 篇 noble james
  • 4 篇 biddle robert
  • 3 篇 siek jeremy
  • 3 篇 ernst michael d.
  • 2 篇 mackinnon tim
  • 2 篇 mezini m
  • 2 篇 lorenz david h.
  • 2 篇 tip f
  • 2 篇 pryce nat
  • 2 篇 black andrew p.
  • 2 篇 gestwicki paul v...
  • 2 篇 walnes joe
  • 2 篇 melo walcelio
  • 2 篇 freeman steve
  • 2 篇 leavens gary t.
  • 2 篇 chiba s
  • 2 篇 wong w. eric
  • 2 篇 andrew p. black
  • 2 篇 e abreu fernando...
  • 2 篇 drossopoulou s

语言

  • 260 篇 英文
  • 2 篇 其他
  • 2 篇 中文
检索条件"任意字段=19th European Conference on Object-Oriented Programming"
264 条 记 录,以下是21-30 订阅
排序:
ACM International conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
19th International Symposium on Principles and Practice of Declarative programming, PPDP 2017
the proceedings contain 20 papers. the topics discussed include: ethical issues in data management;programming by examples: applications, algorithms, and ambiguity resolution;environments and the complexity of abstrac...
来源: 评论
the Death of object-oriented programming  19th
The Death of Object-Oriented Programming
收藏 引用
19th International conference on Fundamental Approaches to Software Engineering (FASE) held as part of Annual european Joint conferences on theory and Practice of Software (ETAPS)
作者: Nierstrasz, Oscar Univ Bern Software Composit Grp Bern Switzerland
Modern software systems are increasingly long-lived. In order to gracefully evolve these systems as they address new requirements, developers need to navigate effectively between domain concepts and the code that addr... 详细信息
来源: 评论
Towards Formal Proof Metrics  19th
Towards Formal Proof Metrics
收藏 引用
19th International conference on Fundamental Approaches to Software Engineering (FASE) held as part of Annual european Joint conferences on theory and Practice of Software (ETAPS)
作者: Aspinall, David Kaliszyk, Cezary Univ Edinburgh Sch Informat LFCS Edinburgh EH8 9AB Midlothian Scotland Univ Innsbruck Technikerstr 21a-2 A-6020 Innsbruck Austria
Recent years have seen increasing success in building large formal proof developments using interactive theorem provers (ITPs). Some proofs have involved many authors, years of effort, and resulted in large, complex i... 详细信息
来源: 评论
Genetic programming for Region Detection, Feature Extraction, Feature Construction and Classification in Image Data  19th
收藏 引用
19th european conference on Genetic programming (EuroGP)
作者: Lensen, Andrew Al-Sahaf, Harith Zhang, Mengjie Xue, Bing Victoria Univ Wellington Sch Engn & Comp Sci POB 600 Wellington 6140 New Zealand
Image analysis is a key area in the computer vision domain that has many applications. Genetic programming (GP) has been successfully applied to this area extensively, with promising results. High-level features extra... 详细信息
来源: 评论
19th International conference on Fundamental Approaches to Software Engineering, FASE 2016 held as part of the european Joint conferences on theory and Practice of Software, ETAPS 2016
19th International Conference on Fundamental Approaches to S...
收藏 引用
19th International conference on Fundamental Approaches to Software Engineering, FASE 2016 Held as Part of european Joint conferences on theory and Practice of Software, ETAPS 2016
the proceedings contain 25 papers. the special focus in this conference is on Concurrent and Distributed Systems. the topics include: the death of object-oriented programming;automated choreography repair;a graph-base...
来源: 评论
object oriented implementation of algorithms to display the discrete-time SISO systems characteristics  19
Object oriented implementation of algorithms to display the ...
收藏 引用
19th IEEE International conference on Intelligent Engineering Systems (INES)
作者: Miklosik, Igor Spalek, Juraj Univ Zilina Fac Elect Engn Dept Control & Informat Syst Zilina Slovakia
this paper deals with object oriented software implementation of the algorithms for transformation of the continuous-time linear systems to the discrete-time systems. these algorithms are used for displaying the basic... 详细信息
来源: 评论
19th Brazilian Symposium programming Languages, SBLP 2015
19th Brazilian Symposium Programming Languages, SBLP 2015
收藏 引用
19th Brazilian Symposium on Programing Languages, SBLP 2015
the proceedings contain 10 papers. the special focus in this conference is on programming Languages. the topics include: Automatic inference of loop complexity through polynomial interpolation;type inference for GADTs...
来源: 评论
Towards migrating object-oriented frameworks to enable synthesis of product line members  15
Towards migrating object-oriented frameworks to enable synth...
收藏 引用
19th International Software Product Line conference, SPLC 2015
作者: Heineman, George Hoxha, Armend Dudder, Boris Rehof, Jakob WPI 100 Institute Road WorcesterMA01609 United States Technical University of Dortmund Otto-Han Str. 12 Dortmund Germany
For many software engineers, object-oriented frameworks represent the highest level of achievement in extensible design. the framework designers become experts in a specific application domain and design cooperating c... 详细信息
来源: 评论
Using building blocks to construct effective learning objects  19
Using building blocks to construct effective learning object...
收藏 引用
19th Pacific Asia conference on Information Systems, PACIS 2015
作者: Linden, Tanya Lederman, Reeva University of Melbourne Melbourne Australia
Technological developments over the past decade have had a strong impact on education bringing significant opportunities for changing teaching models. this has led to an interest in the development of shareable, scala... 详细信息
来源: 评论
ACM International conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
19th International conference on Evaluation and Assessment in Software Engineering, EASE 2015
the proceedings contain 34 papers. the topics discussed include: selecting research methods for studying a participatory culture in software development;supporting architecture documentation: a comparison of two ontol...
来源: 评论