检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

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

ISBN: (纸本)9781450352918

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 abstract machines;conditional narrowing modulo SMT and axioms;attribute grammars with set attributes and global constraints as a unifying framework for planning domain models;shrink fast correctly!;function definitions for compound values in object-oriented languages;verifiable semantic difference languages;theory learning with symmetry breaking;copattern-matchings and first-class observations in OCaml, with a macro;practical evaluation of the lasp programming model at large scale - an experience report;selective unification in constraint logic programming;causally consistent reversible choreographies: a monitors-as-memories approach;machine fusion: merging merges, more or less;alpha-renaming of higher-order meta-expressions;characterization of strong normalizability for a sequent lambda calculus with co-control;defunctionalisation as modular closure conversion;a core calculus for provenance for provenance inspection;and expressive and strongly type-safe code generation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783662496657;9783662496640

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 addresses those domains. One of the original promises of object-orientation was that the same object-oriented models would be used throughout requirements analysis, design and implementation. Software systems today however are commonly constructed from a heterogeneous "language soup" of mainstream code and dedicated DSLs addressing a variety of application and technical domains. Has object-oriented programming outlived its purpose? In this essay we argue that we need to rethink the original goals of object-orientation and their relevance for modern software development. We propose as a driving maxim, "programming is Modeling," and explore what this implies for programming languages, tools and environments. In particular, we argue that: (1) source code should serve not only to specify an implementation of a software system, but should encode a queryable and manipulable model of the application and technical domains concerned;(2) IDEs should exploit these domain models to enable inexpensive browsing, querying and analysis by developers;and (3) barriers between the code base, the running application, and the software ecosystem at large need to be broken down, and their connections exploited and monitored to support developers in comprehension and evolution tasks.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783662496657;9783662496640

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 interdependent sets of proof "source code" files. Developing these in the first place, and maintaining and extending them afterwards, is a considerable challenge. It has prompted the idea of Proof Engineering as a new sub-field, to find methods and tools to help. It is natural to try to borrow ideas from Software Engineering for this. In this paper we investigate the idea of defining proof metrics by analogy with software metrics. We seek metrics that may help to monitor and compare formal proof developments, which might be used to guide good practice, locate likely problem areas, or suggest refactorings. Starting from metrics that have been proposed for object-oriented design, we define analogues for formal proofs. We show that our metrics enjoy reasonable properties, and we demonstrate their behaviour with some practical experiments, showing changes over time as proof developments evolve, and making comparisons across between different ITPs.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783319306674;9783319306681

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 extracted from methods such as Speeded Up Robust Features (SURF) and Histogram of oriented Gradients (HoG) are commonly used for object detection with machine learning techniques. However, GP techniques are not often used with these methods, despite being applied extensively to image analysis problems. Combining the training process of GP with the powerful features extracted by SURF or HoG has the potential to improve the performance by generating high-level, domain-tailored features. this paper proposes a new GP method that automatically detects different regions of an image, extracts HoG features from those regions, and simultaneously evolves a classifier for image classification. By extending an existing GP region selection approach to incorporate the HoG algorithm, we present a novel way of using high-level features with GP for image classification. the ability of GP to explore a large search space in an efficient manner allows all stages of the new method to be optimised simultaneously, unlike in existing approaches. the new approach is applied across a range of datasets, with promising results when compared to a variety of well-known machine learning techniques. Some high-performing GP individuals are analysed to give insight into how GP can effectively be used with high-level features for image classification.

关键词： Genetic programming Image classification Feature extraction Feature construction

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783662496640

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-based semantics workbench for concurrent asynchronous programs;a formal framework for modeling hadoop YARN clusters;integrated environment for verifying and running distributed components;iterative and incremental model generation by logic solvers;automated model merge by design space exploration;automatic construction of variability-based model transformation rules;two-step transformation of model traversal EOL queries for large CDO repositories;cut branches before looking for bugs;the influences of edge instability on change propagation and connectivity in call graphs;modeling and abstraction of memory management in a hypervisor;crowdsourced bug triaging;model-based testing of probabilistic systems;an iterative decision-making scheme for markov decision processes and its application to self-adaptive systems;family-based modeling and analysis for probabilistic systems;statistical model checking of e-motions domain-specific modeling languages;towards formal proof metrics;reduction rules for colored workflow nets;many-valued institutions for constraint specification;a cafeOBJ interpreter in maude;on the formal correctness of an LTS transformation verification technique;hybrid session verification through endpoint API generation and partial variable assignment interpolatoR.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781467379397

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 discrete-time systems characteristics: step response, impulse response and frequency response in PLC based tunnel simulator. State-space system representation and basic interconnection of the systems are also considered.

关键词： Software engineering object oriented programming linear feedback control systems Transforms Discrete-time systems

来源：评论

学校读者我要写书评

暂无评论

19th Brazilian Symposium programming Languages, SBLP 2015

19th Brazilian Symposium Programming Languages, SBLP 2015

引用

19th Brazilian Symposium on Programing Languages, SBLP 2015

ISBN: (纸本)9783319240114

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 and anti-unification;preserving lexical scoping when dynamically embedding languages;the dinamica virtual machine for geosciences;go model and object oriented programming;an intrinsic denotational semantics for a lazy functional language;color flipping;deadlocks as runtime exceptions;model-driven engineering based on attribute grammars and composable memory transactions for java using a monadic intermediate language.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450336130

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 classes that impose specific responsibilities and collaborations for those seeking to extend the framework. In short, once a framework matures, it has complicated usage patterns that must be followed otherwise nothing works. Turning a framework into a software product line is challenging because of the difficulty in coding these complex behaviors and enabling the configuration of product line members using the framework. We propose to support this migration process by showing how to design a repository of modular units to synthesize member applications compositionally. these units are formalized using combinatory logic synthesis, a type-based approach to component-oriented synthesis. We demonstrate the feasibility of our approach with a Java-based product line for which we can automatically synthesize member applications. © 2015 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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, scalable and reusable learning objects. this paper builds on the ideas of Parrish (2004) and other recognised theorists in this area who suggest that the production of educational materials needs to promote adaptive learning strategies. We broaden Parrish's work by testing some of his propositions for object oriented instructional design in the domain of information systems. the contribution of this paper is an extended set of principles for creating multimedia building blocks and aggregating them into learning objects as well as engaging students in the development process. the principles can be used for creating and reusing multimedia building blocks for teaching in many discipline areas. We illustrate the use of these principles by developing and testing a set of learning objects for learning programming. We find that the high cost of creating learning objects noted by Parrish can be ameliorated by using readily available software and Web 2.0 technologies. this approach supports academics developing learning objects without involving professional educational designers and without the added overhead of learning complex software packages.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

ACM International conference Proceeding Series

ACM International Conference Proceeding Series

引用

19th International conference on Evaluation and Assessment in Software Engineering, EASE 2015

ISBN: (纸本)9781450333504

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 ontologies for knowledge retrieval;an empirical analysis of the utilization of multiple programming languages in open source projects;strategies for consistency checking on software product lines: a mapping study;predicting concurrency bugs: how many, what kind and where are they?;a cross-platform analysis of bugs and bug-fixing in open source projects: desktop vs. android vs. iOS;applying clustering to analyze opinion diversity;problems and challenges of user involvement in software development: an empirical study;and fault density analysis of object-oriented classes in presence of code clones.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共27页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：