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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是61-70 订阅

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

详细简洁

排序：

Attached types and their application to three open problems of object-oriented programming

Attached types and their application to three open problems ...

引用

19th european conference on object-oriented programming (ECOOP 2005)

作者： Meyer, B ETH Zurich Switzerland

ISBN: (纸本)354027992X

the three problems of the title - the first two widely discussed in the literature, the third less well known but just as important for further development of object technology - are: center dot Eradicating the risk of void calls: X. f with, at run time, the target X not denoting any object, leading to an exception and usually a crash. center dot Eradicating the risk of "catcalls": erroneous run-time situations, almost inevitably leading to crashes, resulting from the use of covariant argument typing. center dot Providing a simple way, in concurrent object-oriented programming, to lock an object handled by a remote processor or thread of control, or to access it without locking it, as needed by the context and in a safe way. A language mechanism provides a combined solution to all three issues. this mechanism also allows new solutions to two known problems: how to check that a certain object has a certain type, and then use it accordingly ("Run-Time Type Identification" or "downcasting"), for which it may provide a small improvement over previously proposed techniques;and how to provide a "once per object" facility, permitting just-in-time evaluation of certain object properties. the solution relies on a small extension to the type system involving a single symbol, the question mark. the idea is to declare certain types as "attached" (not permitting void values), enforce some new validity rules that rule out void calls, and validate a number of common programming schemes as "Certified Attachment Patterns" guaranteed to rule out void calls. (In addition, the design replaced an existing type-querying construct by a simpler one.) the mechanism is completely static: A checks can be performed by compilers as part of normal type system enforcement. It places no undue burden on these compilers - in particular, does not require dataflow analysis - and can be fairly quickly explained to programmers. Existing code, if reasonably well-written, will usually continue to work wit

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Finding your cronies: Static analysis for dynamic object colocation

Finding your cronies: Static analysis for dynamic object col...

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Guyer, Samuel Z. McKinley, Kathryn S. University of Texas at Austin Austin TX 78712 United States

ISBN: (纸本)1581138318

this paper introduces dynamic object colocation, an optimization to reduce copying costs in generational and other incremental garbage collectors by allocating connected objects together in the same space. Previous work indicates that connected objects belong together because they often have similar lifetimes. Generational collectors, however, allocate all new objects in a nursery space. If these objects are connected to data structures residing in the mature space, the collector must copy them. Our solution is a cooperative optimization that exploits compiler analysis to make runtime allocation decisions. the compiler analysis discovers potential object connectivity for newly allocated objects. It then replaces these allocations with calls to coalloc, which takes an extra parameter called the colocator object. At runtime, coalloc determines the location of the colocator and allocates the new object together with it in either the nursery or mature space. Unlike pretenuring, colocation makes precise per-object allocation decisions and does not require lifetime analysis or allocation site homogeneity. Experimental results for SPEC Java benchmarks using Jikes RVM show colocation can reduce garbage collection time by 50% to 75%, and total performance by up to 10%.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Automated implementation of Petri Nets on PLCs with OOP 19

Automated implementation of Petri Nets on PLCs with OOP

引用

19th IEEE International conference on Emerging Technology and Factory Automation (ETFA)

作者： Basile, Francesco Chiacchio, Pasquale Coppola, Jolanda Gerbasio, Diego Univ Salerno Dipartimento Ing Informaz Ing Elettr & Matemat Ap Salerno Italy

ISBN: (纸本)9781479948451

In this paper a method is proposed to implement controllers and supervisors for manufacturing systems designed by Petri Nets (PNs) on Programmable Logic Controllers (PLCs) using object oriented programming (OOP). In the resulting program each instruction is directly related to the evaluation of a transition, to the update of the marking, or to the enabling of a transition. this preserves the structure of PNs and entails reusability since it allows the user to easily modify the program directly, starting from the modifications made to the PN design.

关键词： Petri nets manufacturing systems object-oriented programming programmable controllers OOP PLC PN design object oriented programming program modification programmable logic controllers Arrays Heating IEC standards object oriented modeling Reactive power Software XML

来源：评论

学校读者我要写书评

暂无评论

Advancements in multicode optimization

Advancements in multicode optimization

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Stephenson, Ben Holst, Wade University of Western Ontario London ON Canada

ISBN: (纸本)1581138334

In previous work, we have shown that multicodes can be used to improve the performance of Java applications. We extend that work by both implementing more multicodes and considering multicodes of greater length. this has resulted in significantly larger performance gains than those that have been achieved previously for some benchmarks.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Concrete syntax for objects - Domain-specific language embedding and assimilation without restrictions

Concrete syntax for objects - Domain-specific language embed...

引用

19th conference on object-oriented programming, Systems, Languages, and Applications

作者： Bravenboer, M Visser, E Univ Utrecht Inst Comp & Informat Sci NL-3508 TB Utrecht Netherlands

ISBN: (纸本)1581138318

Application programmer's interfaces give access to domain knowledge encapsulated in class libraries without providing the appropriate notation for expressing domain composition. Since object-oriented languages are designed for extensibility and reuse, the language constructs are often sufficient for expressing domain abstractions at the semantic level. However, they do not provide the right abstractions at the syntactic level. In this paper we describe META BORG, a method for providing concrete syntax for domain abstractions to application programmers. the method consists of embedding domain-specific languages in a general purpose host language and assimilating the embedded domain code into the surrounding host code. Instead of extending the implementation of the host language, the assimilation phase implements domain abstractions in terms of existing APIs leaving the host language undisturbed. Indeed, META-BORG can be considered a method for promoting APIs to the language level. the method is supported by proven and available technology, i.e. the syntax definition formalism SDF and the program transformation language and toolset Stratego/XT. We illustrate the method with applications in three domains: code generation, XML generation, and user-interface construction.

关键词： languages design METABORG stratego SDF embedded languages syntax extension extensible syntax domain-specific languages rewriting meta programming concrete object syntax

来源：评论

学校读者我要写书评

暂无评论

object-oriented encapsulation for dynamically typed languages

Object-oriented encapsulation for dynamically typed language...

引用

19th conference on object-oriented programming, Systems, Languages, and Applications

作者： Schärli, N Black, AP Ducasse, S Univ Bern Software Composit Grp Bern Switzerland Oregon Hlth & Sci Univ OGI Sch Sci & Engn Portland OR 97201 USA

Encapsulation in object-oriented languages has traditionally been based on static type systems. As a consequence;dynamically-typed languages have only limited support for encapsulation. this is surprising, considering that encapsulation is one of the most fundamental and important concepts behind object-oriented programming and that it is essential for writing programs that are maintainable and reliable, and that remain robust as they evolve. In this paper we describe the problems that are caused by insufficient encapsulation mechanisms and then present object-oriented encapsulation, a simple and uniform approach that solves these problems by bringing state of the art encapsulation features to dynamically typed languages. We provide a detailed discussion of our design rationales and compare them and their consequences to the encapsulation approaches used for statically typed languages. We also describe an implementation of object-oriented encapsulation in Smalltalk. Benchmarks of this implementation show that extensive use of object-oriented encapsulation results in a slowdown of less than 15 percent.

关键词： dynamic typing encapsulation encapsulation policies information hiding smalltalk

来源：评论

学校读者我要写书评

暂无评论

Empirical investigation of the impact of extreme programming practices on software projects

Empirical investigation of the impact of extreme programming...

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Layman, Lucas North Carolina State University 900 Main Campus Dr. Raleigh NC 27695 United States

ISBN: (纸本)1581138334

Extreme programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, there has been little formal investigation of these claims. We conduct empirical, industrial case studies to evaluate XP. Results from two case studies are presented.

关键词： Customer satisfaction

来源：评论

学校读者我要写书评

暂无评论

Developing graphical (software engineering) tools with PROGRES 97

Developing graphical (software engineering) tools with PROGR...

引用

19th International conference on Software Engineering (ICSE 97) - Pulling Together

作者： Schurr, A Lehrstuhl für Informatik III RWTH Aachen Ahornstr. 55 D-52074 Aachen Germany

ISBN: (纸本)0897919149

PROGRES is a partly rule-oriented, partly object-oriented language which supports the design of graph structures and the implementation of graph manipulating tools. It has a formal definition based on graph rewriting systems. Its integrated programming environment offers means for syntax-directed editing, type checking, interactive debugging, graph browsing, and rapid prototyping activities.

关键词： visual programming prototyping graph rewriting systems

来源：评论

学校读者我要写书评

暂无评论

19th international workshop on foundations of object-oriented languages (FOOL'12) workshop summary

19th international workshop on foundations of object-oriente...

引用

2012 3rd ACM conference on Systems, programming, and Applications: Software for Humanity, SPLASH 2012

作者： Aldrich, Jonathan Siek, Jeremy Boyland, John Carnegie Mellon University United States University of Colorado at Boulder United States University of Wisconsin-Milwaukee United States

ISBN: (纸本)9781450315630

the search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. the purpose of this workshop is to provide a forum for discussing new ideas in the foundations of object-oriented languages and provide feedback to authors. Submissions to this workshop were invited in the general area of foundations of object-oriented languages, object-oriented languages, including integration with other paradigms and extensions, such as aspects, components, and meta-programming.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：