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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Product configurations - An application for prototype object approach

引用

european conference on object oriented programming, ecoop 1994

作者： Peltonen, Hannu Männistö, Tomi Alho, Kari Sulonen, Reijo Department of Computer Science Helsinki University of Technology Otakaari 1 EspooFIN-02150 Finland

ISBN: (纸本)9783540582021

Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced using a realistic example from industry. Problems with the traditional type-instance model in this application domain are then identified and given as motivation for the prototype approach. A prototype-based object model with inheritance tree transformations, constraints and component relationships is presented as a tool for expressing dynamic configuration data. Finally, a sample configuration process is described using the prototype object model. © 1994, Springer Verlag. All rights reserved.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

Formal specification of object-oriented meta-modelling 3rd

引用

3rd International conference on Fundamental Approaches to Software Engineering (FACE 2000) at the european conference on Theory and Practice of Software (ETAPS 2000)

作者： Övergaard, G Royal Inst Technol Stockholm Sweden

ISBN: (纸本)3540672613

Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed interpretations since different development projects often use key concepts, like Class, Generalization and Association, in slightly different ways. Therefore meta-modelling, i.e. the precise specification of the concepts used in a model, is of importance in order to avoid misunderstandings. The BOOM framework, presented in this paper, is intended for this kind of meta-modelling. The framework consists of a collection of modelling constructs specified with a small object-oriented language. The framework is simple enough for an engineer to adjust the modelling concepts to project specific needs. It includes all necessary aspects of language specification, among them definition of abstract syntax, well-formedness rules, and dynamic semantics. To demonstrate its use, this paper includes a specification of some of the constructs defined in the Unified Modeling Language.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Simple ownership types for object containment

引用

15th european conference on object-oriented programming, ecoop 2001

作者： Clarke, David G. Noble, James Potter, John M. Institute of Information and Computing Sciences Utrecht University Utrecht Netherlands School of Mathematical and Computing Sciences Victoria University Wellington New Zealand School of Computer Science and Engineering University of New South Wales Sydney Australia

ISBN: (纸本)3540422064

Containment of objects is a natural concept that has been poorly supported in object-oriented programming languages. For a predefined set of ownership contexts, this paper presents a type system that enforces certain containment relationships for run-time objects. A fixed ordering relationship is presumed between the owners. The formalisation of ownership types has developed from our work with flexible alias protection together with an investigation of structural properties of object graphs based on dominator trees. Our general ownership type system permits fresh ownership contexts to be created at run-time. Here we present a simplified system in which the ownership contexts are predefined. This is powerful enough to express and enforce constraints about a system’s high-level structure. Our formal system is presented in an imperative variant of the object calculus. We present type preservation and soundness results. Furthermore we highlight how these type theoretic results establish a containment invariant for objects, in which access to contained objects is only permitted via their owners. In effect, the predefined ownership ordering restricts the permissible inter-object reference structure. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

Experiences developing a virtual shared memory system using high-level object paradigms 12th

Experiences developing a virtual shared memory system using ...

引用

12th european conference on object-oriented programming, ecoop 1998

作者： Cordsen, J. Nolte, J. Schröder-Preikschat, W. GMD FIRST Rudower Chaussee 5 BerlinD-12489 Germany University of Magdeburg Universitätsplatz 2 MagdeburgD-39106 Germany

ISBN: (纸本)3540647376

Shared-memory programming is still a common and popular way of utilizing parallel machines for high-performance computing. Virtual shared memory (VSM) systems promote a gentle migration path allowing the execution of shared-memory programs on distributed-memory machines. Such kind of systems are both complex and extremely sensitive to performance issues. Therefore many VSM systems still handle distribution aspects manually by means of low-level message-passing operations to gain maximum performance. In contrast, in the Peace operating system family almost all distribution aspects have been covered conveniently and yet efficiently by so-called dual objects. In this paper the VSM subsystem, called Vote, of Peace is presented as a case study for complex systems services that claim for high-level but lightweight object models with an efficient implementation. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

Automating object-oriented software development methods 1

引用

european conference on object-oriented programming, ecoop 2001

作者： Tekinerdo Ǧ An, Bedir Saeki, Motoshi Sunyé, Gerson van den Broek, Pim Hruby, Pavel University of Twente Department of Computer Science TRESE group P.O. Box 217 EnschedeAE7500 Netherlands Tokyo Institute of Technology Department of Computer Science Tokyo152-8552 Japan IRISA Triskell Research Group Campus de Beaulieu Rennes35 042 France Navision Software a/s Frydenlunds Alle 6 Vedbaek2950 Denmark

ISBN: (数字)9783540478539

ISBN: (纸本)3540436758

Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development methods are useful in coping with this complexity and for supporting quality. As such numerous object-oriented software development methods have been defined. Nevertheless, methods often provide a complexity by their own due to their large number of artifacts, method rules and their complicated processes. We think that automation of software development methods is a valuable support for the software engineer in coping with this complexity and for improving quality. This paper presents a summary and a discussion of the ideas that were raised during theworkshop on automating object-oriented software development methods. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Extensible objects without labels

Extensible objects without labels

引用

16th european conference on object oriented programming (ecoop 2002)

作者： Stone, CA Harvey Mudd Coll Dept Comp Sci Claremont CA 91101 USA

Typed object calculi that permit adding new methods to existing objects must address the problem of name clashes: what happens if a new method is added to an object already having one with the same name but a different type? Most systems statically forbid such clashes by restricting the allowable subtypings. In contrast, by reconsidering the runtime meaning of object extension, the object calculus studied in the author's previous work with Jon Riecke allowed any object to be soundly extended with any method of any name, with unrestricted width subtyping. That language permitted a simple encoding of classes as object-generators. Because of width subtyping, subclasses could be typechecked and compiled with little knowledge of the class hierarchy and without any information about superclasses' private components;this made derived classes more robust to changes in the implementations of base classes. However, the system was not well suited for encoding mixins or by-name subtyping of objects. This article addresses those deficiencies by presenting the Calculus of objects and Indices (COI), a lower-level typed object calculus in which extensible objects are more analogous to tuples than to records. An object is simply a finite sequence of unnamed components referenced by their index in the sequence. Names are then reintroduced by allowing these indices to be first-class values (analogous to pointers to members in C++) that can be bound to variables. Since variables-unlike record labels-freely alpha-vary, difficulties caused by statically undetectable name clashes disappear. By combining COI objects with standard type-theoretic mechanisms, one can encode mixins and classes having the by-name subtyping of languages like C++ or Java but with the robustness of the object-generator encodings. Using records, more standard extensible objects with named components can also be encoded.

关键词： languages extensible objects object calculi

来源：评论

学校读者我要写书评

暂无评论

Sequential object monitors 18

Sequential object monitors

引用

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

作者： Caromel, Denis Mateu, Luis Tanter, Éric Université de Nice – CNRS – INRIA 2004 Rt des Lucioles Sophia Antipolis2004 France University of Chile Computer Science Dept Avenida Blanco Encalada Santiago2120 Chile école des Mines de Nantes – INRIA 4 rue Alfred Kastler Nantes France

ISBN: (纸本)354022159X

programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This paper presents SOM, Sequential object Monitors, as an alternative to programming with Java monitors. Reifying monitor method calls as requests, and providing full access to the pending request queue, gives rise to fully sequential monitors: the SOM programmer gets away from any code interleaving. Moreover, useless context switches are avoided. Finally, from a software engineering point of view, SOM promotes separation of concerns, by untangling the synchronization concern from the application logic. This paper illustrates SOM expressiveness with several classical concurrency problems, and high-level abstractions like guards and chords. Benchmarks of the implementation confirm the expected efficiency. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

A semantic analysis of C++ templates

引用

20th european conference on object-oriented programming, ecoop 2006

作者： Siek, Jeremy Taha, Walid Rice University Houston TX 77005 United States

ISBN: (纸本)3540357262

Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ supports template specialization, their semantics is quite different from that of parameterized classes. Template specialization provides a Turing-complete sub-language within C++ that executes at compile-time. Programmers put this power to many uses. For example, templates are a popular tool for writing program generators. The C++ Standard defines the semantics of templates using natural language, so it is prone to misinterpretation. The meta-theoretic properties of C++ templates have not been studied, so the semantics of templates has not been systematically checked for errors. In this paper we present the first formal account of C++ templates including some of the more complex aspects, such as template partial specialization. We validate our semantics by proving type safety and verify the proof with the Isabelle proof assistant. Our formalization reveals two interesting issues in the C++ Standard: the first is a problem with member instantiation and the second concerns the generation of unnecessary template specializations. © Springer-Verlag Berlin Heidelberg 2006.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

The emergent structure of development tasks

The emergent structure of development tasks

引用

19th european conference on object-oriented programming, ecoop 2005

作者： Murphy, Gail C. Kersten, Mik Robillard, Martin P. Čubranić, Davor Department of Computer Science University of British Columbia Canada School of Computer Science McGill University Canada Department of Computer Science University of Victoria Canada

Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task lines up with the structure of the system, the tools in these environments do a great job of supporting developers in their work. Unfortunately, many development tasks do not have this characteristic. Instead, they involve changes that are scattered across the source code and various other kinds of artifacts, including bug reports and documentation. Today's development environments provide little support for working with scattered pieces of a system, and as a result, are not adequately supporting the ways in which developers work on the system. Fortunately, many development tasks do have a structure. This structure emerges from a developer's actions when changing the system. In this paper, we describe how the structure of many tasks crosscuts system artifacts, and how by capturing that structure, we can make it as easy for developers to work on changes scattered across the system's structure as it is to work on changes that line up with the system's structure. © Springer-Verlag Berlin Heidelberg 2005.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Near optimal hierarchical encoding of types 11th

引用

11th european conference on object-oriented programming, ecoop 1997

作者： Krall, Andreas Vitek, Jan Nigel Horspool, R. Institut für Computersprachen Technische Universität Wien ArgentinierstraIβe 8 WienA-1040 Austria Object Systems Group Centre Universitaire d’Informatique Université de Genève 24 rue Général-Dufour GenevaCH-1211 Switzerland Department of Computer Science University of Victoria P.O. Box 3055 VictoriaBCV8W 3P6 Canada

ISBN: (纸本)3540630899

A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an important role in the performance of object oriented programming languages with multiple subtyping like C++, Eiffel or Java. There are well-known methods for performing fast constant time type inclusion tests that use a hierarchical bit vector encoding of the partial ordered set representing the type hierarchy. The number of instructions required by the type inclusion test is proportional to the length of those bit vectors. We present a new algorithm based on graph coloring which computes a near optimal hierarchical encoding of type hierarchies. The new algorithm improves significantly on previous results - it is faster, simpler and generates smaller bit vectors. © Springer-Verlag Berhn Heidelberg 1997.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：