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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

59 篇 会议
2 册 图书

馆藏范围

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

日期分布

学科分类号

54 篇 工学
- 38 篇 计算机科学与技术...
- 38 篇 软件工程
- 3 篇 电气工程
- 3 篇 信息与通信工程
- 2 篇 控制科学与工程
- 1 篇 材料科学与工程（可...
- 1 篇 建筑学
- 1 篇 化学工程与技术
- 1 篇 交通运输工程
- 1 篇 航空宇航科学与技...
- 1 篇 环境科学与工程（可...
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
12 篇 理学
- 11 篇 数学
- 2 篇 生物学
- 1 篇 化学
4 篇 管理学
- 3 篇 管理科学与工程(可...
- 1 篇 工商管理
- 1 篇 图书情报与档案管...
1 篇 法学
- 1 篇 社会学

主题

21 篇 object oriented ...
3 篇 semantics
2 篇 software enginee...
2 篇 programming tech...
2 篇 programming lang...
2 篇 artificial intel...
2 篇 object-oriented ...
1 篇 performance
1 篇 object constrain...
1 篇 language variant...
1 篇 query languages
1 篇 high level langu...
1 篇 computer archite...
1 篇 computer softwar...
1 篇 domain-specific ...
1 篇 common object re...
1 篇 constraints
1 篇 aspect oriented ...
1 篇 genetic engineer...
1 篇 computer communi...

机构

3 篇 object technolog...
2 篇 universidade nov...
2 篇 univ geneva obje...
2 篇 universidad de c...
2 篇 univ washington ...
1 篇 université de ni...
1 篇 forschungszentru...
1 篇 sibreian federal...
1 篇 department of el...
1 篇 univ florence di...
1 篇 viewpoints res i...
1 篇 victoria univ we...
1 篇 computer science...
1 篇 sun microsyst in...
1 篇 rensselaer polyt...
1 篇 univ british col...
1 篇 microsoft uk ltd...
1 篇 computer science...
1 篇 poznań universit...
1 篇 victoria univ we...

作者

2 篇 lange christian ...
2 篇 noble james
2 篇 kiczales g
2 篇 poels geert
2 篇 holzle u
2 篇 bruce kim b.
2 篇 piattini mario
2 篇 e abreu fernando...
2 篇 bryce c
2 篇 sahraoui houari ...
1 篇 porubän jaroslav
1 篇 kosov pavel
1 篇 hirschfeld rober...
1 篇 vitek j
1 篇 dean j
1 篇 byun yung-tai
1 篇 ungar d
1 篇 legalov alexande...
1 篇 milanova ana
1 篇 mogensen torben ...

语言

60 篇 英文
1 篇 俄文

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

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

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

详细简洁

排序：

object protocols as functional parsers 9th

Object protocols as functional parsers

引用

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

作者： Florijn, G Utrecht University Department of Computer Science P.o. Box 80.089 Utrecht 3508 TB Netherlands

ISBN: (纸本)3540601600

A service definition is an abstract specification of the behavior of a software component. It provides the interface between the users of an object and its (hidden) implementation. A protocol can be a part of a service, definition. It captures the conditions under which interface operations can be invoked. this is of use for the designers of clients, but also for implementers of the service, at least if the protocol mechanism provides automatic (static or dynamic) acceptability checking of invocations or messages. Existing protocol formalisms are mostly based on finite state machines that describe legal orderings of messages. this is too limited, however, to model more complex services or to handle conditions that go beyond the ordering (such as access-control or time-dependencies) without referring to a service implementation. In this paper we explore a grammar-based approach to protocol definition, i.e. we define protocols as non-deterministic grammars extended with provisions for parallellism. the resulting protocols not only define legal message sequences but can also impose context-sensitive constraints on properties of messages, like its sender or a time stamp. Protocotols are truly abstract, i.e, independent of the implementation of a service. Since we want to investigate the kinds of constructs needed in specifying protocols we do not introduce a new notation, but instead express protocols as parsers written in a lazy functional language using a technique called combinator parsing. Besides giving a complete picture of the semantics of the constructs this also allows us to show how dynamic protocol checking can be provided. the approach is illustrated through several examples and its potential and limitations are discussed.

关键词： service definitions interface definitions protocols functional programming

来源：评论

学校读者我要写书评

暂无评论

Component-oriented approaches to context-aware computing

Component-oriented approaches to context-aware computing

引用

18th european conference on object-oriented programming (ecoop 2004)

作者： Dobson, S Trinity Coll Dublin Dept Comp Sci Dublin Ireland

ISBN: (纸本)354023988X

the component-oriented approaches to context-aware computing are discussed. Context-awareness is especially integral to pervasive or ambient computing, but can be used to control the behavior of any system that adapts to the circumstances in which it is used. Like most new software projects, many existing context-aware systems have been constructured using object-or component-roiented programming techniques. Many of the techniques being used ad hoc in context-aware applications might be better captured in tools, language or methods, conversely new developments in infrastructure. A wide range of techniques from object-oriented and component-oriented software engineering are contributing strongly to the development of context-aware systems.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

object technology - A grand narrative?

引用

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

作者： Cook, Steve Microsoft UK Ltd. Cambridge United Kingdom

this brief article sets out some personal observations about the development of object technology from its emergence until today, and suggests how it will develop in the future. 9; Springer-Verlag Berlin Heidelber... 详细信息

ISBN: (纸本)3540357262

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Modeling crosscutting in aspect-oriented mechanisms

引用

17th european conference on object-oriented programming (ecoop 2003)

作者： Masuhara, H Kiczales, G Univ Tokyo Tokyo Japan Univ British Columbia Vancouver BC V5Z 1M9 Canada

ISBN: (纸本)3540405313

Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of what is required to support crosscutting structure: a common frame of reference that two (or more) programs can use to connect with each other and each provide their semantic contribution.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Experiences in object-oriented re-engineering 13th

Experiences in object-oriented re-engineering

引用

13th european conference on object-oriented programming (ecoop 99)

作者： Ducasse, S Ciupke, O Univ Bern IAM SCG CH-3012 Bern Switzerland Forschungszentrum Informat Karlsruhe Karlsburg Germany

ISBN: (纸本)354066954X

this paper reports the activities that took place during the third edition of the workshop on Experiences in object-oriented Reengineering (Previous editions were held during ecoop’97 and ecoop’98 [3] [2]). this year seventeen participants attended the workshop. the overall organization stayed the same. Prior to the workshop each participant was asked to read the full version of the submitted papers that have been edited as internal proceedings. then each participant presented his paper in 10 minutes followed by 10 minutes discussion. then during the afternoon the two focus groups were formed to discuss the following topics: (1) Metrics, Visualisation and Problem Detection, and (2) Program Understanding, (Re)-documentation and Refactoring Composition. Suggested further reading are the previous edition of the proceedings [2], the proceedings of this workshop containing the full versions of the papers[1], and look at the FAMOOS Esprit project whose main goal is reengineering objectoriented applications (http://***/~famoos, http://***/projects/FAMOOS/).

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mobile object systems 1

引用

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

作者： Bryce, Ciarán Centre Universitaire d’Informatique University of Geneva Switzerland

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

the ecoop workshop on Mobile object Systems was first organized in 1995 and has been held every year since. the first two episodes in the series ~ entitled “objects and Agents” (1995) and “Agents on the Move” (1996) ~ were exploratory in nature, reflecting a growing awareness and interest in the possibilities of mobile code and mobile objects for Internet programming. Towards the end of the 1990s, Interest in the domain began to mature and several mobile object systems appeared in the research community. As a consequence, further editions of the Mobile object Systems workshop concentrated on specific aspects of mobile objects. For instance, the title of the 1997 workshop was “Operating System Support”, the theme of the 1998 workshop was “Security”, and the theme of the 1999 installment was “programming Language Support”.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ecoop 2014 – object-oriented programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Richard Jones

ISBN: (数字)9783662442029

ISBN: (纸本)9783662442012

this book constitutes the proceedings of the 28th european conference on object-oriented programming, ecoop 2014, held in Uppsala, Sweden, in July/August 2014. the 27 papers presented in this volume were carefully reviewed and selected from 101 submissions. they are organized in topical sections named: analysis; design; concurrency; types; implementation; refactoring; JavaScript, PHP and frameworks; and parallelism.

关键词： programming Techniques Software Engineering programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Babelsberg/JS A Browser-Based Implementation of an object Constraint Language

Babelsberg/JS A Browser-Based Implementation of an Object Co...

引用

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

作者： Felgentreff, Tim Borning, Alan Hirschfeld, Robert Lincke, Jens Ohshima, Yoshiki Freudenberg, Bert Krahn, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Univ Washington Seattle WA 98195 USA Viewpoints Res Inst Los Angeles CA USA SAP Labs Commun Design Grp San Francisco CA USA

ISBN: (纸本)9783662442029;9783662442012

Constraints provide a useful technique for ensuring that desired properties hold in an application. As a result, they have been used in a wide range of applications, including graphical layout, simulation, scheduling, and problem-solving. We describe the design and implementation of an object Constraint programming language, an object-oriented language that cleanly integrates constraints with the underlying language in a way that respects encapsulation and standard object-oriented programming techniques, and that runs in browser-based applications. Prior work on object Constraint programming languages has relied on modifying the underlying Virtual Machine, but that is not an option for web-based applications, which have become increasingly prominent. In this paper, we present an approach to implementing object Constraint programming without Virtual Machine support, along with an implementation as a JavaScript extension. We demonstrate the resulting language, Babelsberg/JS, on a number of applications and provide performance measurements. Programs without constraints in Babelsberg/JS run at the same speed as pure JavaScript versions, while programs that do have constraints can still be run efficiently. Our design and implementation also incorporate incremental re-solving to support interaction, as well as a cooperating solvers architecture that allows multiple solvers to work together to solve more difficult problems.

关键词： Constraints object Constraint programming

来源：评论

学校读者我要写书评

暂无评论

Inference and Checking of object Ownership 12

Inference and Checking of Object Ownership

引用

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

作者： Huang, Wei Dietl, Werner Milanova, Ana Ernst, Michael D. Rensselaer Polytech Inst Troy NY 12181 USA Univ Washington Seattle WA 98195 USA

ISBN: (纸本)9783642310577;9783642310560

Ownership type systems describe a heap topology and enforce an encapsulation discipline;they aid in various program correctness and understanding tasks. However, the annotation overhead of ownership type systems has hindered their widespread use. We present a unified framework for specification, type inference and type checking of ownership type systems, and instantiate the framework for two such systems: Universe Types and Ownership Types. We present an objective metric defining a "best typing" for these type systems, and develop an inference approach that maximizes the metric. the programmer can influence the inference by adding partial annotations to the program. We implemented the approach on top of the Checker Framework and present the results of an experimental evaluation.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Graceful Dialects

Graceful Dialects

引用

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

作者： Homer, Michael Jones, Timothy Noble, James Bruce, Kim B. Black, Andrew P. Victoria Univ Wellington Wellington New Zealand Pomona Coll Claremont CA 91711 USA Portland State Univ Portland OR 97207 USA

ISBN: (纸本)9783662442029;9783662442012

programming languages are enormously diverse, both in their essential concepts and in their accidental aspects. this creates a problem when teaching programming. To let students experience the diversity of essential concepts, the students must also be exposed to an overwhelming variety of accidental and irrelevant detail: the accidental differences between the languages are likely to obscure the teaching point. the dialect system of the Grace programming language allows instructors to tailor and vary the language to suit their courses, while staying within the same stylistic, syntactic and semantic framework, as well as permitting authors to define advanced internal domain-specific languages. the dialect system achieves this power though a combination of well-known language features: lexical nesting, lambda expressions, multi-part method names, optional typing, and plug-gable checkers. Grace's approach to dialects is validated by a series of case studies, including both extensions and restrictions of the base language.

关键词： Grace language variants domain-specific languages pluggable checkers graphical microworlds error reporting object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：