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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

馆藏范围

628 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

521 篇 工学
- 474 篇 计算机科学与技术...
- 415 篇 软件工程
- 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 篇 药学(可授医学、理...

主题

238 篇 object oriented ...
25 篇 object-oriented ...
24 篇 software enginee...
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

语言

615 篇 英文
11 篇 其他
2 篇 中文

检索条件"任意字段=European Conference on Object-Oriented Programming, ECOOP 2000"

共 628 条记录，以下是581-590 订阅

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

详细简洁

排序：

Conceptual design of active object-oriented database applications using multi-level diagrams 10th

引用

10th european conference on object-oriented programming, ecoop 1996

作者： Silva, Mauricio J. V. Carlson, C. Robert Department of Computer Science Illinois Institute of Technology 10 West 31st Street ChicagoIL60616 United States

ISBN: (纸本)9783540614395

Several active object-oriented database systems have been developed to address the needs of applications with complex requirements and time execution constraints (e.g. computer integrated manufacturing). However, no comprehensive and integrated modeling approach has been described for conceptually modeling active object-oriented database applications. This paper deals with these issues by extending the research of object-oriented methods with an integrated approach, called A/OODBMT (Active object-oriented Database Modeling Technique), which integrates and extends the object Modeling Technique (OMT) method for conceptually designing active object-oriented database applications. A/OODBMT models database applications by defining and integrating four new types of models, namely the nested object model (NOM), the behavior model (BM), the nested rule model (NRM), and the nested event model (NEM). The nested object model extends the OMT object model by adding nesting capabilities, and by providing a better abstraction mechanism for developing database applications in multi-level diagrams. Moreover, the nested object model adds rules to classes to specify their active behavior. The behavior model combines the dynamic and the functional modeling techniques proposed in the OMT method. In addition, the behavioral model represents database transactions through transaction diagrams. The nested rule model supports a comprehensive set of rules and visually defines the rules and their interactions using multi-level diagrams. The nested event model supports a comprehensive set of events and visually represents them in the context of rules. © Springer-Verlag Berlin Heidelberg 1996.

关键词： object-oriented databases

来源：评论

学校读者我要写书评

暂无评论

An algebraic foundation for adaptive programming

引用

3rd International conference on Foundations of Software Science and Computation Structures (FOSSACS 2000)

作者： Thiemann, P Univ Freiburg Inst Informat D-7800 Freiburg Germany

ISBN: (纸本)3540672575

An adaptive program is an object-oriented program which is abstracted over the particular class structure. This abstraction fosters! software reuse, because programmers can concentrate on specifying how to process the objects which are essential to their application. The compiler of an adaptive program takes care of actually locating the objects. The adaptive programmer merely writes a traversal specification decorated with actions. The compiler instantiates the specification with the actual class structure and generates code that traverses a collection of objects, performing visits and actions according to the specification. Previous approaches to compiling adaptive programs rely on, standard methods from automata theory and graph theory to achieve their goal. We introduce a new foundation for the compilation of adaptive programs, based on the algebraic properties of traversal specifications. Exploiting these properties, we develop the underlying theory for an efficient compilation algorithm. A key result is the derivation of a normal form for traversal specifications. This normal form is the basis for directly generating a traversal automaton with a uniformly minimal number of states.

关键词： object-oriented programming semantics finite automata compilation

来源：评论

学校读者我要写书评

暂无评论

Atomic object composition

引用

european conference on object oriented programming, ecoop 1994

作者： Guerraoui, Rachid Département d’Informatique Ecole Polytechnique Fédérale de Lausanne LausanneCH-1015 Switzerland

ISBN: (纸本)9783540582021

A worthwhile approach to achieve transaction atomicity within object, based distributed systems is to confine concurrency control and recovery mechanisms within the shared objects themselves. Such objects, called atomic objects, enhance their modularity and can increase transaction concurrency. Nevertheless, when designed independently, atomic objects can be incompatible, and if combined, do not ensure transaction atomicity anymore. It has been shown that atomic objects can be incompatible when they assume different Global Serialization Protocols (GSPs). We deal with the incompatibility problem by introducing a property of atomic objects’ specifications, named o, atomicity, which is orthogonal to the GSP. objects that guarantee this property achieve transaction atomicity, whatever the GSP may be. Such objects are compatible, not only with each others, but also with atomic objects that guarantee previously defined GSP, dependent properties, i.e., static atomicity, dynamic atomicity or hybrid atomicity. This is very desirable since most of existing object, based distributed systems rely on these properties. To show how o, atomicity can be ensured, we propose a generic implementation within an object, oriented framework, which we illustrate through a simple banking application. © 1994, Springer Verlag. All rights reserved.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

Kilim: Isolation-typed actors for java: A million actors, safe zero-copy communication

引用

22nd european conference on object-oriented programming, ecoop 2008

作者： Srinivasan, Sriram Mycroft, Alan University of Cambridge Computer Laboratory CambridgeCB3 0FD United Kingdom

ISBN: (纸本)3540705910;9783540705918

This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra-lightweight, cooperatively-scheduled threads (actors), (ii) a message-passing framework (no shared memory, no locks) and (iii) isolation-aware messaging. Isolation is achieved by controlling the shape and ownership of mutable messages – they must not have internal aliases and can only be owned by a single actor at a time. We demonstrate a static analysis built around isolation type qualifiers to enforce these constraints. Kilim comfortably scales to handle hundreds of thousands of actors and messages on modest hardware. It is fast as well – task-switching is 1000x faster than Java threads and 60x faster than other lightweight tasking frameworks, and message-passing is 3x faster than Erlang (currently the gold standard for concurrency-oriented programming). © Springer-Verlag Berlin Heidelberg 2008.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Towards a quantitative assessment of method replacement

Towards a quantitative assessment of method replacement

引用

The 4th european conference on Software Maintenance and Reegineering - CSMR 2000

作者： Keller, Rudolf K. Schauer, Reinhard Universite de Montreal Montreal Que Canada

object-oriented programming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of extending the methods of these classes, programmers often introduce subclasses in which they replace methods with new implementations that are completely detached from the superclass;that is, the subclass method does not invoke, directly or indirectly, its counterpart in the superclass. In this paper, we apply the SPOOL environment to the reverse-engineered C++ source code of the ET++ application framework to investigate the occurrences and causes for method replacements. To this end, we define a method replacement indicator (MRI) that quantifies the extent of method replacements. Based on the data obtained in our case study, we identify and discuss the ten causes why programmers replace non-primitive method implementations of reusable classes.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Concrete communication abstractions of the next 701 distributed object systems 1

引用

16th european conference on object-oriented programming, ecoop 2002

作者： Beugnard, Antoine Sadou, Salah Duchien, Laurence Jul, Eric ENST-Bretagne Brest France Université de Bretagne Sud Vannes France LIFL Lille France University of Copenhagen Copenhagen Denmark

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

As applications become increasingly distributed and networks provide more and more connection facilities, applications require more and more interconnections, thus communication takes a central part of modern systems. Hence, since large applications parts have been underlined like databases systems or graphical user interface, the goal is to wonder, if we can say the same for the communication part of applications. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

A study of context-oriented programming for applying to robot development

A study of context-oriented programming for applying to robo...

引用

International Workshop on Context-oriented programming, COP 2015

作者： Watanabe, Harumi Sugaya, Midori Tanigawa, Ikuta Ogura, Nobuhiko Hisazumi, Kenji School of Information and Telecommunication Engineering Tokai University 2-3-23 Takanawa Minato-ku Tokyo Japan College of Engineering Information Science and Engineering Shibaura Institute of Technology 3-7-5 Toyosu Koutou-ku Tokyo Japan Faculty of Information Science and Electrical Engineering Kyushu University 744 Motooka Nishi-ku Fukuoka City Japan Faculty of Informatics Department of Information Systems Tokyo City University 3-3-1 Ushikubo-nishi Tsuzuki-ku Yokohama Japan

ISBN: (纸本)9781450336543

Next generation robot is expected to provide multi-purpose services depending on surrounding environments. Currently, many of robots would support a limited services, since it is difficult to solve the cross-cutting concerns in those complex services. Additionally, after the launch of robot products, it requires to support additional extended services that would depend on the real environment, even if the hardware environment would be the same. We believe that the essential idea of Context-oriented programming (COP) could help these difficulties. To achieve our final goal, which is to develop a multi-purpose services robot, there are some discussions needed for the current COP languages to satisfy the multi-purpose service robot requirements. In this paper, firstly we introduce the background of our proposal that the current robotics problems and future vision, then a case study of a tunnel rescue robot that will make clear to our goal for robot development based on COP. Finally, to achieve this goal we present a novel architecture. The proposed architecture will satisfy the requirements of the future robot. © 2015 ACM.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

The COMPASS off-line system

The COMPASS off-line system

引用

conference on Computing in High Energy and Nuclear Physics (CHEP 2000)

作者： Martin, A Univ Trieste Trieste Italy Ist Nazl Fis Nucl Sez Trieste Trieste Italy

COMPASS is a new fixed target high rate experiment at CERN. The expected RAW data size is in the order of 300 TB per year, collected during about six months of data taking at the mean rate of 35 MB/s. To fulfill the experiment requirements. the Collaboration decided to build the off-line system using new technologies. The computing power needed for RAW data processing has been estimated to be in the order of 2000 SPECint95, and will be provided by a farm of about 200 CPUs. The reconstruction program is under development and is written using object-oriented techniques and C++ as the programming language. In the present model, all the experimental and reconstructed data will be stored in an object database management system. (C) 2001 Elsevier Science B.V. All rights reserved.

关键词： COMPASS off-line computing system object oriented object Data Base

来源：评论

学校读者我要写书评

暂无评论

On Using VeriFast, VerCors, Plural, and KeY to Check object Usage 37

On Using VeriFast, VerCors, Plural, and KeY to Check Object ...

引用

37th european conference on object-oriented programming, ecoop 2023

作者： Mota, João Giunti, Marco Ravara, António NOVA LINCS and NOVA School of Science and Technology Caparica Portugal School of Computing Engineering & Digital Technologies Teesside University Middlesbrough United Kingdom

ISBN: (纸本)9783959772815

Typestates are a notion of behavioral types that describe protocols for stateful objects, specifying the available methods for each state. Ensuring methods are called in the correct order (protocol compliance), and that, if and when the program terminates, all objects are in the final state (protocol completion) is crucial to write better and safer programs. objects of this kind are commonly shared among different clients or stored in collections, which may also be shared. However, statically checking protocol compliance and completion when objects are shared is challenging. To evaluate the support given by state of the art verification tools in checking the correct use of shared objects with protocol, we present a survey on four tools for Java: VeriFast, VerCors, Plural, and KeY. We describe the implementation of a file reader, linked-list, and iterator, check for each tool its ability to statically guarantee protocol compliance and completion, even when objects are shared in collections, and evaluate the programmer’s effort in making the code acceptable to these tools. With this study, we motivate the need for lightweight methods to verify the presented kinds of programs. © João Mota Marco Giunti and António Ravara

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Early identification of incompatibilities in multi-component upgrades

Early identification of incompatibilities in multi-component...

引用

18th european conference on object-oriented programming, ecoop 2004

作者： McCamant, Stephen Ernst, Michael D. Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street CambridgeMA United States

ISBN: (纸本)354022159X

Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the replacement or integrating the new component into a system, whether the upgrade might be problematic for that particular system. This paper extends the technique to make it more applicable to object-oriented systems and real-world upgrades. First, we extend the theoretical framework to handle more complex upgrades, including components with internal state, callbacks, and simultaneous upgrades of multiple components. The old model is a special case of our new one. Second, we show how to handle four realworld situations that were not addressed by previous work: non-local state, non-determinism, distinguishing old from new incompatibilities, and lack of test suites. Third, we present a case study in which we upgrade the Linux C library, for 48 Unix programs. Our implementation identified real incompatibilities among versions of the C library that affected some of the programs, and it approved the upgrades for other programs that were unaffected by the changes. © Springer-Verlag Berlin Heidelberg 2004.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共63页 << < 54 55 56 57 58 59 60 61 62 63 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：