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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

592 篇 会议
18 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

440 篇 工学
- 385 篇 计算机科学与技术...
- 333 篇 软件工程
- 48 篇 电气工程
- 25 篇 控制科学与工程
- 24 篇 信息与通信工程
- 10 篇 光学工程
- 9 篇 土木工程
- 8 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 建筑学
- 4 篇 电子科学与技术（可...
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 机械工程
- 3 篇 仪器科学与技术
- 3 篇 测绘科学与技术
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 交通运输工程
70 篇 理学
- 51 篇 数学
- 9 篇 生物学
- 7 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
60 篇 管理学
- 33 篇 管理科学与工程(可...
- 29 篇 图书情报与档案管...
- 5 篇 工商管理
20 篇 教育学
- 20 篇 教育学
8 篇 法学
- 8 篇 社会学
3 篇 医学
- 3 篇 临床医学
1 篇 农学

主题

176 篇 object oriented ...
29 篇 software enginee...
19 篇 object-oriented ...
18 篇 object oriented ...
18 篇 java programming...
16 篇 programming tech...
15 篇 programming
15 篇 java
14 篇 programming lang...
13 篇 aspect oriented ...
12 篇 logic programmin...
10 篇 programming prof...
10 篇 functional progr...
10 篇 object recogniti...
9 篇 computer program...
9 篇 logics and meani...
9 篇 unified modeling...
8 篇 application soft...
8 篇 c++ (programming...
8 篇 permission

机构

4 篇 statoilhydro
4 篇 miles consulting
4 篇 sti university o...
4 篇 b&r ind automat ...
4 篇 victoria univers...
4 篇 technische unive...
4 篇 sintef
3 篇 department of co...
3 篇 carnegie mellon ...
3 篇 letterkenny inst...
2 篇 microsoft corp r...
2 篇 oberon microsyst
2 篇 univ essex dept ...
2 篇 univ chinese aca...
2 篇 technion haifa
2 篇 imperial college...
2 篇 tech univ darmst...
2 篇 adayana inc.
2 篇 tech univ darmst...
2 篇 open university ...

作者

6 篇 meyer bertrand
6 篇 aldrich jonathan
5 篇 noble james
5 篇 salvaneschi guid...
5 篇 mezini mira
4 篇 hirschfeld rober...
4 篇 berre arne jørge...
4 篇 preschern christ...
4 篇 yoshida nobuko
4 篇 zeid amir
4 篇 roman dumitru
4 篇 landre einar
4 篇 udnæs morten
4 篇 van den heuvel w...
3 篇 baniassad elisa
3 篇 thiemann peter
3 篇 skår lars arne
3 篇 nanz sebastian
3 篇 xinogalos stelio...
3 篇 foster jeffrey s...

语言

610 篇 英文
2 篇 其他
2 篇 中文
1 篇 法文

检索条件"任意字段=Proceedings of the 24th European conference on Object-oriented programming"

共 615 条记录，以下是361-370 订阅

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

详细简洁

排序：

Adding open modules to AspectJ 06

Adding open modules to AspectJ

引用

5th International conference on Aspect-oriented Software Development 2006, AOSD'06

作者： Ongkingco, Neil Avgustinov, Pavel Tibble, Julian Hendren, Laurie De Moor, Oege Sittampalam, Ganesh Programming Tools Group University of Oxford United Kingdom Sable Research Group McGill University Montreal Canada

ISBN: (纸本)159593300X

AspectJ does not provide a mechanism to hide implementation details from advice. As a result, aspects are tightly coupled to the implementation of the code they advise, while the behaviour of the base code is impossible to determine without analysing all advice that could modify its behaviour. the concept of open modules is proposed by Aldrich to solve the problems that arise from unrestricted advice. Defined for a, small functional language, it provides an encapsulation construct that allows an implementation to limit the set of points to which external advice may apply. We present an adaptation of open modules for AspectJ. We expand open modules to encompass the full set of point-cut primitives for AspectJ, extend its method of module composition to include the ability to open up a module, and describe the implementation of the design as an extension of the AspectBench compiler. We also provide an example of the use of open modules on a substantial AspectJ program to show how it would fit into existing AspectJ projects. Copyright 2006 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Jose: Aspects for design by contract

Jose: Aspects for design by contract

引用

4th IEEE International conference on Software Engineering and Formal Methods

作者： Feldman, Yishai A. Barzilay, Ohad Tyszberowicz, Shmuel Efi Arazi School of Computer Science Interdisciplinary Center Herzliya Israel School of Computer Science Tel Aviv University Israel School of Computer Science Academic College Tel Aviv Yaffo Israel

ISBN: (纸本)0769526780

Design by contract is a practical methodology for evolving code together with its specification. the contract has important methodological implications on. the design of the program. In addition, tools that instrument the code to check for contract violations help the development process by catching errors close to their sources. this is complicated by several factors, such as the need to collect preconditions from supertypes. there are two issues involved in the implementation of such a tool: the correct enforcement of the theoretical principles, and the instrumentation of the code. Most previous tools tackle both issues, but have subtle failures in one or the other. this paper describes Jose, a tool for design. by contract in Java, which uses Aspect), an aspect-oriented extension of Java, to instrument the program. this allows us to leverage the expertise of the Aspect) developers in instrumenting Java programs, and concentrate on the correct implementation of the design-by-contract principles. this approach has the added benefit that it can be generalized to other object-oriented Languages that have aspect-oriented extensions. We describe the design decisions made in the implementation of Jose, and the features of Aspect) that helped or hindered this implementation.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Reusable aspect-oriented implementations of concurrency patterns and mechanisms 06

Reusable aspect-oriented implementations of concurrency patt...

引用

5th International conference on Aspect-oriented Software Development 2006, AOSD'06

作者： Cunha, Carlos A. Sobral, João L. Monteiro, Miguel P. Escola Superior de Tecnologia Instit. Politécnico de Viseu Campus de Repeses 3504-510 Viseu Portugal Departamento de Informática Universidade do Minho Campus de Gualtar 4710-057 Braga Portugal Escola Superior de Tecnologia Instit. Politécnico de Castelo Branco Avenida do Empresário 6000-767 Castelo Branco Portugal

ISBN: (纸本)159593300X

In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to plain Java implementations of the same concerns. We detect benefits from using AspectJ in all the cases presented, in the form of higher modularity, reuse, understandability and unpluggability. For most of the implementations, two alternatives can be used: one based on traditional pointcut interfaces and one based on annotations. Copyright 2006 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Towards supporting on-demand virtual remodularization using program graphs 06

Towards supporting on-demand virtual remodularization using ...

引用

5th International conference on Aspect-oriented Software Development 2006, AOSD'06

作者： Shepherd, David Pollock, Lori Vijay-Shanker, K. Computer and Information Sciences University of Delaware Newark DE 19816

ISBN: (纸本)159593300X

OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program's actions (verbs) to become scattered during implementation. We define an Action-oriented Identifier Graph (AOIG) to reconnect the scattered actions in an OOP system. An OOP system with an AOIG will essentially support the dynamic virtual remodularization of OOP code into an Action-oriented View. We have developed an algorithm to automatically construct an AOIG, and an implementation of the construction process. To automatically construct an AOIG, we use Natural Language Processing (NLP) techniques to process the natural language clues left by programmers in source code and comments, and we connect code segments through the actions that they perform. Using a reasonably sized program, we present several applications of an AOIG (feature location, working set recovery, and aspect mining), which demonstrate how the AOIG can be used by software engineering tools to combat the tyranny of the dominant decomposition. Copyright 2006 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Explicitly distributed AOP using AWED 06

Explicitly distributed AOP using AWED

引用

5th International conference on Aspect-oriented Software Development 2006, AOSD'06

作者： Navarro, Luis Daniel Benavides Südholt, Mario Vanderperren, Wim De Fraine, Bruno Suvée, Davy OBASCO Project École des Mines de Nantes INRIA 4 rue Alfred Kastler 44307 Nantes cedex 3 France System and Software Engineering Lab. Vrije Universiteit Brussel Pleinlaan 2 1050 Brussels Belgium

ISBN: (纸本)159593300X

Distribution-related concerns, such as data, replication, often crosscut the business code of a distributed application. Currently such crosscutting concerns are frequently realized on top of distributed frameworks, such as EJBs, and initial AO support for the modularization of such crosscutting concerns, e.g., JBoss AOP and Spring AOP, has been proposed. Based on an investigation of the implementation of replicated caches using JBoss Cache, we motivate that crosscutting concerns of distributed applications benefit from an aspect language for explicit distributed programming. We propose AWED, a new aspect language with explicit distributed programming mechanisms, which provides three contributions. First, remote pointcut constructors which are more general than those of previous related approaches, in particular, supporting remote sequences. Second, a notion of distributed advice with support for asynchronous and synchronous execution. third, a notion of distributed aspects including models for the deployment, instantiation and state sharing of aspects. We show several concrete examples how AWED can be used to modularly implement and extend replicated cache implementations. Finally, we present a prototype implementation of AWED, which we have realized by extending JAsCo, a system providing dynamic aspects for Java. Copyright 2006 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Detecting and resolving ambiguities caused by inter-dependent introductions 06

Detecting and resolving ambiguities caused by inter-dependen...

引用

5th International conference on Aspect-oriented Software Development 2006, AOSD'06

作者： Havinga, Wilke Nagy, Istvan Bergmans, Lodewijk Aksit, Mehmet University of Twente Netherlands

ISBN: (纸本)159593300X

AOP languages are continuously evolving, for example (1) pointcut languages are becoming increasingly powerful with respect to the expressiveness of the pointcut language itself, (2) new program properties can be used as a selection criterion in pointcut designators, or (3) new types of program elements can be introduced by means of a crosscut specification. In this paper we investigate the consequences of these trends. To this end, we focus particularly on the u-sage of meta-data annotations: several recent (versions of) AOP languages support the use of annotations as a selection criterion in pointcut designators or the introduction of annotations, or both. We investigate the introduction of annotations through the use of expressive pointcut languages;explain why introduction of annotations is useful, and in particular, why and how annotations can be derived from other annotations. We explore the issues that arise due to the inter-dependencies between annotation introductions. We investigate when such dependencies may cause ambiguities, and we present an algorithm that resolves the dependencies when possible, and detects ambiguous cases that cannot be resolved. the solution we propose is implemented within the Compose* tool, which supports the introduction of meta-data annotations.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

20th Workshop on Logic programming 2006, WLP 2006

20th Workshop on Logic Programming 2006, WLP 2006

引用

20th Workshop on Logic programming, WLP 2006

the proceedings contain 24 papers. the special focus in this conference is on Logic programming. the topics include: Tableaux calculi for answer set programming;algorithmic aspects of model representations;object-oriented constraint programming in java using the library firstcs;causal theories as logic programs;voting theory in answer set programming;evaluating ASP and commercial solvers on the CSPLib (preliminary work);dynamic logic programming and world state evaluation in computer games;executable denotations for concurrent languages using concurrent transaction logic;adding constraint handling rules to curry;INCLP(R) - interval-based nonlinear constraint logic programming over the reals;non-monotonic integrity constraints;complete first-order axiomatization of finite or infinite m-extended trees;many-valued logic programming and fixpoint semantics for higher-order herbrand models;logic programs with contextually scoped negation;declarative web data extraction and annotation;replacements in non-ground answer-set programming;weak order equivalence for logic programs with preferences;decomposition of nonmonotone aggregates in answer set programming;fine-grained parallel implementation of the preflow-push algorithm in CHR;Dijkstra's algorithm with fibonacci heaps;towards a CHR-based model-driven framework of reusable reasoning components;a tool for advanced correspondence checking in answer-set programming and a system for integrating multiple semantics in an answer-set programming framework.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A join point for loops in AspectJ 06

A join point for loops in AspectJ

引用

5th International conference on Aspect-oriented Software Development 2006, AOSD'06

作者： Harbulot, Bruno Gurd, John R. Centre for Novel Computing School of Computer Science University of Manchester Oxford Road Manchester M13 9PL United Kingdom

ISBN: (纸本)159593300X

the current AspectJ join points represent locations in the code that are at the interface of the Java, objects. However, not all the "things that happen"1 happen at the interfaces. In particular, loops are a key place that could be advised for parallelisation. this article presents a loop join point model, which allows AspectJ to intervene directly in loops. More generally, this demonstrates the need for, and provides, a more complex join point in AspectJ. the approach used for recognising loops is based on a control-flow analysis at the bytecode level;this avoids ambiguities due to alternative forms of source-code that would effectively produce identical loops. this model is also enhanced with a mechanism for context exposure, which is pivotal for giving a meaning to the use of this join point, and with additional information through join point reflection. the context exposure is particularly useful for writing pointcuts that select specific loops only, and the problem of loop selection is also presented in the paper. Finally, LoopsAJ, an extension for the abc compiler that provides AspectJ with a loop join point, is presented. It is shown how to use this extension for writing aspects that parallelise loops. Copyright 2006 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

20th Workshop on Logic programming 2006, WLP 2006

20th Workshop on Logic Programming 2006, WLP 2006

引用

20th Workshop on Logic programming, WLP 2006

关键词：

来源：评论

学校读者我要写书评

暂无评论

State-based incremental testing of aspect-oriented programs 06

State-based incremental testing of aspect-oriented programs

引用

5th International conference on Aspect-oriented Software Development 2006, AOSD'06

作者： Xu, Dianxiang Xu, Weifeng Department of Computer Science North Dakota State University Fargo ND 58105 United States

ISBN: (纸本)159593300X

Taking aspects as incremental modifications to their base classes, this paper presents an incremental approach to testing whether or not aspect-oriented programs and their base classes conform to their respective behavior models. We exploit a rigorous aspect-oriented extension to state models for capturing the impact of aspects on the state transitions of base class objects as well as an explicit weaving mechanism for composing aspects into their base models. We generate abstract tests for base classes and aspectoriented programs from their state models. As base class tests are not necessarily valid for aspect-oriented programs, we identify several rules for maximizing reuse of concrete base class tests for aspects according to the state-based impact of aspects on their base classes. To illustrate our approach, we use two examples that indicate distinctive types of aspect-oriented applications and exhibit fundamental features in complex applications: aspects removing state transitions from base classes and aspects adding and modifying state transitions in base classes. Our results show that majority of base class tests can be reused for aspects, but subtle modifications to some of them are necessary. In particular, positive (or negative) base class tests can become negative (or positive) aspect tests. We also discuss how several types of aspect-specific faults can be revealed by the state-based testing. Copyright 2006 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共62页 << < 33 34 35 36 37 38 39 40 41 42 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：