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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

53 篇 会议
4 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

55 篇 工学
- 51 篇 计算机科学与技术...
- 33 篇 软件工程
- 3 篇 电气工程
- 1 篇 信息与通信工程
- 1 篇 控制科学与工程
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
8 篇 理学
- 6 篇 数学
- 2 篇 生物学
- 1 篇 系统科学
7 篇 管理学
- 5 篇 管理科学与工程(可...
- 3 篇 工商管理
- 3 篇 图书情报与档案管...
4 篇 教育学
- 4 篇 教育学
1 篇 法学
- 1 篇 社会学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

20 篇 object oriented ...
3 篇 object-oriented ...
2 篇 design-by-contra...
2 篇 object-orientati...
2 篇 generative progr...
2 篇 program correctn...
2 篇 gpgpu
2 篇 runtime code gen...
2 篇 parallel computi...
2 篇 unified modeling...
1 篇 access control
1 篇 managed language...
1 篇 interoperability
1 篇 mpi
1 篇 system families
1 篇 c plus plus temp...
1 篇 object-oriented ...
1 篇 programming
1 篇 distance educati...
1 篇 object orientati...

机构

2 篇 univ hamburg dep...
2 篇 ucl dept comp sc...
2 篇 univ geneva obje...
1 篇 department of co...
1 篇 imperial college...
1 篇 universita’ di m...
1 篇 universidad de m...
1 篇 univ nice sophia...
1 篇 oberon microsyst
1 篇 univ warsaw inst...
1 篇 vrije universite...
1 篇 computer science...
1 篇 innopolis univ k...
1 篇 princeton univ d...
1 篇 ibm corp tj wats...
1 篇 swiss federal in...
1 篇 swiss fed inst t...
1 篇 carnegie mellon ...
1 篇 computer science...
1 篇 salzburg univ de...

作者

2 篇 piccinelli g
2 篇 finkelstein a
2 篇 kolesnichenko al...
2 篇 nanz sebastian
2 篇 poskitt christop...
2 篇 mens kim
2 篇 bryce c
2 篇 guéhéneuc yann-g...
1 篇 zuse horst
1 篇 sakkinen m
1 篇 fontoura m
1 篇 szalas andrzej
1 篇 vlissides john
1 篇 zincky j
1 篇 stergiou christo...
1 篇 szyperski c
1 篇 rumpe b
1 篇 ungar d
1 篇 belhamissi y
1 篇 czarnecki k

语言

54 篇 英文
4 篇 其他

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

共 58 条记录，以下是21-30 订阅

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

详细简洁

排序：

Quantitative approaches in object-oriented software engineering

Quantitative approaches in object-oriented software engineer...

引用

european conference on object-oriented programming, ecoop 2000

作者： e Abreu, Fernando Brito Poels, Geert Sahraoui, Houari A. Zuse, Horst UNL and INESC Portugal Catholic University of Leuven Belgium DIRO Université de Montréal Canada Technische Universität Berlin Germany

ISBN: (纸本)3540415130

this report summarizes the contributions and discussion of the 4th ecoop Workshop on Quantitative Approaches in object-oriented Software Engineering held in Sophia Antipolis on Tuesday, June 13, 2000. this workshop aims to provide a forum to discuss the current state of the art and the practice in the field of quantitative approaches in the OO field. this year, three aspects were particularly discussed: formal approaches, empirical studies and measurement of analysis and design models. Nine position papers were presented and discussed. © Springer-Verlag Berlin Heidelberg 2000.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Remote desktop access us a method of learning of programming in distance study

Remote desktop access us a method of learning of programming...

引用

14th International conference on Interactive Collaborative Learning (ICL)/11th International conference on Virtual-University (VU)

作者： Hubalovsky, Stepan Univ Hradec Kralove Fac Sci Hradec Kralove Czech Republic

ISBN: (纸本)9781457717475

Current trend of systems of virtual learning is development of mobile communications in the technological level, and integration of constructivist approaches to education in the educational level of. Constructivist pedagogy in addition to the benefits of digital communication points to the problem of the virtual learning such as missing forms of social interactions of elements that are common in the real school environment, lack of immediate feedback for students and teachers, and other aspects. the current concept inclined to more general system approach of virtual university, such comprehensive set of digital communication solutions with a focus on education. Virtual university cannot therefore be understood only as a computer system with access to the text and exercises that students complete by ticking presented options. the paper focuses on solution of distance learning course in programming, especially on elimination the problems associated with the practical skill and techniques of structured and object-oriented programming.

关键词： algorithm development programing object-oriented programming distance education remote desktop access

来源：评论

学校读者我要写书评

暂无评论

ODMQL: object data mining query language

引用

International Symposium on objects and Databases, 2000 held in conjunction with 14th european conference on object-oriented programming, ecoop 2000

作者： Elfeky, Mohamed G. Saad, Amani A. Fouad, Souheir A. Computer Science and Automatic Control Department Alexandria University Egypt Department of Computer Sciences Purdue University United States

ISBN: (纸本)3540416641

Data mining is the discovery of knowledge and useful information from the large amounts of data stored in databases. the emerging data mining tools and systems lead to the demand of a powerful data mining query language. the concepts of such a language for relational databases are discussed before. With the increasing popularity of object-oriented databases, it is important to design a data mining query language for such databases. the main objective of this paper is to propose an object Data Mining Query Language (ODMQL) for object-oriented databases as an extension to the object Query Language (OQL) proposed by the object Data Management Group (ODMG) as a standard query language for object-oriented databases. the proposed language is implemented as a feature of an experimental objectoriented database management system that is developed as a testbed for research issues of object-oriented databases. © Springer-Verlag Berlin Heidelberg 2001.

关键词： object-oriented databases

来源：评论

学校读者我要写书评

暂无评论

Do object-oriented languages need special hardware support? 9th

Do object-oriented languages need special hardware support?

引用

9th european conference on object-oriented programming (ecoop 95)

作者： Holzle, U Ungar, D SUN MICROSYST LABS MT VIEW CA 94043 USA

ISBN: (纸本)3540601600

Previous studies have shown that object-oriented programs have different execution characteristics than procedural programs, and that special object-oriented hardware can improve performance. the results of these studies may no longer hold because compiler optimizations can remove a large fraction of the differences. Our measurements show that SELF programs are more similar to C programs than are C++ programs, even though SELF is much more radically object-oriented than C++ and thus should differ much more from C. Furthermore, the benefit of tagged arithmetic instructions in the SPARC architecture (originally motivated by Smalltalk and Lisp implementations) appears to be small. Also, special hardware could hardly reduce message dispatch overhead since dispatch sequences are already very short. Two generic hardware features, instruction cache size and data cache write policy, have a much greater impact on performance.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

AN object CALCULUS FOR ASYNCHRONOUS COMMUNICATION 5th

引用

5th european CONF ON object-oriented programming ( ecoop 91 )

作者： HONDA, K TOKORO, M Department of Computer Science Keio University 3-14-1 Hiyoshi Kohoku-ku Yokohama 223 Japan Sony Computer Science Laboratory Inc. 3-14-13 Higashi-Gotanda Shinagawa-ku Tokyo 141 Japan

ISBN: (纸本)3540542620

this paper presents a formal system based on the notion of objects and asynchronous communication. Built on Milner’s work on π-calculus, the communication primitive of the formal system is purely based on asynchronous communication, which makes it unique among various concurrency formalisms. Computationally this results in a consistent reduction of Milner’s calculus, while retaining the same expressive power. Seen semantically asynchronous communication induces a surprisingly different framework where bisimulation is strictly more general than its synchronous counterpart. this paper shows basic construction of the formal system along with several illustrative examples. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

object technology for ambient intelligence and pervasive computing: Language constructs and infrastructures

Object technology for ambient intelligence and pervasive com...

引用

ecoop 2006 Workshop Reader - 10th european conference on Obiect-oriented programming

作者： Mügge, Holger Cherrier, Pascal De Meuter, Wolfgang Tanter, Éric University of Bonn Germany France Telecom France Vrije Universiteit Brussels Belgium University of Chile Chile

ISBN: (纸本)9783540717720

this report summarizes the main activities held during the second workshop on object-technology for Ambient Intelligence and Pervasive Computing held at ecoop 2006. the workshop covered topics varying from low-level considerations such as garbage collection and object migration, via programming language infrastructure such as reflection and context-oriented programming, to engineering applications using maturing techniques such as aspects. © Springer-Verlag Berlin Heidelberg 2007.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Distributed asynchronous collections: Abstractions for publish/subscribe interaction 14th

引用

14th european conference on object-oriented programming, ecoop 2000

作者： Eugster, Patrick th Guerraoui, Rachid Sventek, Joe Swiss Federal Institute of Technology Lausanne Switzerland Agilent Laboratories Scotland Edinburgh United Kingdom

ISBN: (纸本)3540676600

Publish/subscribe is considered one of the most important interaction styles for the explosive market of enterprise application integration. Producers publish information on a software bus and consumers subscribe to the information they want to receive from that bus. the decoupling nature of the interaction between the publishers and the subscribers is not only important for enterprise computing products but also for many emerging e-commerce and telecommunication applications. It is often claimed that object-orientation is inherently incompatible with the publish/subscribe interaction style. this flawed argument is due to the persistent confusion between object-orientation as a modeling discipline and the specific request/reply mechanism promoted by CORBA-like middleware systems. this paper describes object-oriented abstractions for publish/subscribe interaction in the form of Distributed Asynchronous Collections (DACs). DACs are general enough to capture the commonalities of various publish/subscribe interaction styles, and flexible enough to allow the exploitation of the differences between these flavors. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

Modal object Diagrams

引用

25th european conference on object-oriented programming (ecoop)

作者： Maoz, Shahar Ringert, Jan Oliver Rumpe, Bernhard Rhein Westfal TH Aachen Software Engn Aachen Germany

ISBN: (纸本)9783642226557;9783642226540

While object diagrams (ODs) are widely used as a means to document object-oriented systems, they are expressively weak, as they are limited to describe specific possible snapshots of the system at hand. In this paper we introduce modal object diagrams (MODs), which extend the classical OD language with positive/negative and example/invariant modalities. the extended language allows the designer to specify not only positive example models but also negative examples, ones that the system should not allow, positive invariants, ones that all system's snapshots should include, and negative invariants, ones that no system snapshot is allowed to include. Moreover, as a primary application of the extended language we provide a formal verification technique that decides whether a given class diagram satisfies (i.e., models) a multi-modal object diagrams specification. In case of a negative answer, the technique outputs relevant counterexample object models, as applicable. the verification is based on a reduction to Alloy. the ideas are implemented in a prototype Eclipse plug-in. Examples show the usefulness of the extended language in specifying structural requirements of object-oriented systems in an intuitive yet expressive way.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Creative object-oriented modelling: Support for intuition, flexibility, and collaboration in CASE tools 14th

引用

14th european conference on object-oriented programming, ecoop 2000

作者： Damm, Christian Heide Hansen, Klaus Marius thomsen, Michael Tyrsted, Michael Department of Computer Science University of Aarhus Aabogade 34 Aarhus N8200 Denmark

ISBN: (纸本)3540676600

A major strength in object-oriented development is the direct support for domain modelling offered by the conceptual framework underlying object-orientation. In this framework, domains and systems can be analysed and understood using models at a high level of abstraction. To support the construction of such models, a large number of Computer-Aided Software Engineering tools are available. these tools excel in supporting design and implementation, but have little support for elements such as creativity, flexibility, and collaboration. We believe that this lack of support partly explains the low adoption of CASE tools. Based on this, we have developed a tool, Knight, which supports intuition, flexibility, and collaboration by implementing gesture based UML modelling on a large electronic whiteboard. Such support improves CASE tools, and can thus potentially lead to increased adoption of CASE tools and thus ultimately help improving the overall quality of development projects. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Towards a unified query-by-example (UQBE): UML as a basis for a generic graphical query language

引用

International Symposium on objects and Databases, 2000 held in conjunction with 14th european conference on object-oriented programming, ecoop 2000

作者： Sicilia Urbán, Miguel A. Barriocanal, Elena García Dodero Beardo, Juan M. Carlos III University Madrid Spain Computer Science Department DEI Laboratory Avda. Universidad 30 Leganés Madrid28911 Spain Alcalá de Henares University Computer Science Department Escuela Politécnica Campus Universitario Alcalá de Henares Madrid28871 Spain

ISBN: (纸本)3540416641

A generic graphical query language for ODMG-compliant object databases – called Unified Query By Example (UQBE) – is proposed, based on the ideas of Zloof’s Query-By-Example, and using UML-like diagrams as schema notation. Both ease of learning for users coming from the relational world and support for non object-oriented data sources are also considered as design goals. the overall layout and some important features of the query language are described, along with its relationship with the UML repository architecture and several ODMG OQL translations of sample UQBE queries. © Springer-Verlag Berlin Heidelberg 2001.

关键词： object-oriented databases

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：