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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

304 篇 会议
262 篇 期刊文献
7 篇 学位论文
5 册 图书

馆藏范围

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

日期分布

学科分类号

524 篇 工学
- 417 篇 计算机科学与技术...
- 298 篇 软件工程
- 125 篇 电气工程
- 18 篇 控制科学与工程
- 13 篇 信息与通信工程
- 7 篇 电子科学与技术（可...
- 3 篇 环境科学与工程（可...
- 3 篇 食品科学与工程（可...
- 3 篇 网络空间安全
- 2 篇 材料科学与工程（可...
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 土木工程
- 1 篇 水利工程
- 1 篇 石油与天然气工程
- 1 篇 城乡规划学
19 篇 管理学
- 18 篇 管理科学与工程(可...
17 篇 理学
- 8 篇 数学
- 5 篇 化学
- 3 篇 物理学
- 3 篇 系统科学
- 1 篇 地球物理学
- 1 篇 生物学
8 篇 医学
- 6 篇 基础医学(可授医学...
- 3 篇 药学(可授医学、理...
- 2 篇 临床医学
- 2 篇 公共卫生与预防医...
4 篇 教育学
- 4 篇 教育学
2 篇 文学
- 2 篇 新闻传播学
1 篇 农学
- 1 篇 作物学

主题

578 篇 aspect-oriented ...
44 篇 aspectj
30 篇 languages
30 篇 object-oriented ...
21 篇 java
20 篇 separation of co...
19 篇 design
18 篇 embedded systems
17 篇 modularity
15 篇 design patterns
14 篇 runtime verifica...
14 篇 crosscutting con...
13 篇 aop
13 篇 software testing
12 篇 software archite...
12 篇 aspects
11 篇 uml
11 篇 software evoluti...
11 篇 software product...
11 篇 refactoring

机构

10 篇 hebei univ engn ...
6 篇 colorado state u...
5 篇 tech univ darmst...
5 篇 univ fed pernamb...
4 篇 tech univ darmst...
4 篇 univ lugano fac ...
4 篇 univ chile comp ...
3 篇 univ british col...
3 篇 tech univ darmst...
3 篇 eindhoven univ t...
3 篇 n dakota state u...
3 篇 univ lancaster d...
3 篇 handan coll hand...
3 篇 northeastern uni...
3 篇 purdue univ w la...
3 篇 mcgill univ sabl...
3 篇 nova se univ gra...
3 篇 univ fed pernamb...
3 篇 baylor univ dept...
3 篇 univ fed rio gra...

作者

12 篇 zhang jingjun
11 篇 tanter eric
9 篇 cardoso joao m. ...
9 篇 chen yuejuan
9 篇 liu guangyuan
8 篇 ghosh sudipto
8 篇 cerny tomas
8 篇 binder walter
8 篇 ansaloni danilo
8 篇 mezini mira
7 篇 kiczales g
7 篇 li hui
6 篇 borba paulo
6 篇 rebelo henrique
6 篇 jmaiel mohamed
6 篇 vranic valentino
6 篇 moret philippe
5 篇 hirschfeld rober...
5 篇 figueiredo eduar...
5 篇 mezini m

语言

536 篇 英文
36 篇 其他
3 篇 中文
2 篇 德文
1 篇 俄文

检索条件"主题词=Aspect-Oriented Programming"

共 578 条记录，以下是211-220 订阅

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

详细简洁

排序：

Two-Way Traceability and Conflict Debugging for aspectLTL Programs 12

Two-Way Traceability and Conflict Debugging for AspectLTL Pr...

引用

11th Annual aspect-oriented Software Development Conference

作者： Maoz, Shahar Sa'ar, Yaniv Tel Aviv Univ IL-69978 Tel Aviv Israel Weizmann Inst Sci IL-76100 Rehovot Israel

ISBN: (纸本)9783642369643;9783642369636

Tracing program actions back to the concerns that have caused them and blaming specific code artifacts for concern interference are known challenges of AOP and related advanced modularity paradigms. In this work, we address these challenges in the context of aspectLTL, a temporal-logic-based language for the specification and implementation of crosscutting concerns, which has a composition and synthesis-based weaving process whose output is a correct-by-construction executable artifact. When a specification is realizable, we provide two-way traceability information that links each allowed or forbidden transition in the generated program with the aspects that have justified its presence or elimination. When a specification is unrealizable, we provide an interactive game proof that demonstrates conflicts that should be fixed. The techniques are implemented and demonstrated using running examples.

关键词： linear temporal logic aspect-oriented programming synthesis

来源：评论

学校读者我要写书评

暂无评论

Survey of aspect Mining Case Study Software and Benchmarks

Survey of Aspect Mining Case Study Software and Benchmarks

引用

IEEE SoutheastCon

作者： McFadden, Renata Rand Mitropoulos, Frank J. Nova SE Univ Grad Sch Comp & Informat Sci Ft Lauderdale FL 33314 USA

ISBN: (纸本)9781479900534;9781479900527

aspect mining is a growing area of research investigating the effective ways of finding crosscutting concerns in existing non-aspect oriented software. Once found, these concerns can be refactored into aspects, which in turn, reduce the system's complexity and make it easier to understand, maintain, and evolve. There are numerous studies that have defined new aspect mining techniques and used case studies to validate their results. This paper analyzes the aspect mining literature, gives a consolidated list of the case studies used for aspect mining validation, discusses weaknesses and strengths of these techniques, and identifies the base research which used it for validation. Based on this analysis, we conclude that there is a critical lack of standard benchmarks for aspect mining. This makes it difficult for new research to evaluate their techniques' quality through empirical validation and to reliably compare their results against other research.

关键词： aspect Mining Crosscutting Concerns Software Case Study Benchmarks aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study

Optimizing generated aspect-oriented assertion checking code...

引用

Annual Brazilian Symposium on programming Languages (SBLP)

作者： Rebelo, Henrique Lima, Ricardo Leavens, Gary T. Cornelio, Marcio Mota, Alexandre Oliveira, Cesar Univ Fed Pernambuco Informat Ctr BR-50740540 Recife PE Brazil Univ Cent Florida Dept Elect Engn & Comp Sci Orlando FL 32816 USA

The aspectJ JML compiler (ajmlc) explores aspect-oriented programming (AOP) mechanisms to implement JML specifications, such as pre- and postconditions, and enforce them during runtime. This compiler was created to improve source-code modularity. Some experiments were conducted to evaluate the performance of the code generated through ajmlc. Results demonstrated that the strategy of adopting AOP to implement JML specifications is very promising. However, there is still a need for optimization of the generated code's bytecode size and running time. This paper presents a catalog of transformations which represent the optimizations implemented in the new optimized version of the ajmlc compiler. We employ such transformations to reduce the bytecode size and running time of the code generated through the ajmlc compiler. Aiming at demonstrating the impact of such transformation on the code quality, we conduct an empirical study using four applications in optimized and non-optimized versions generated by ajmlc. We show that our AOP transformations provide a significant improvement, regarding bytecode size and running time. (C) 2012 Elsevier B.V. All rights reserved.

关键词： aspect-oriented programming Program transformation JML

来源：评论

学校读者我要写书评

暂无评论

A Structural Testing Approach for aspect-oriented Programs Based on Data and Control Flow

A Structural Testing Approach for Aspect-Oriented Programs B...

引用

2013 IEEE 4th International Conference on Software Engineering and Service Science

作者： Liping Xiong Junyi Li College of Information Science and Engineering Hunan University

ISBN: (纸本)9781467349970

Software testing is a key factor for ensuring software *** traditional process-oriented and object-oriented test technology has been quite mature,but test technology in aspectoriented is still in the primary *** to the unique characteristics of aspect-oriented Programs(AOP),the existing testing approaches for process-oriented program an d objectoriented program can't be applied directly to aspect-oriented program.S o researching an effective test method for As pectoriented Programs becomes very *** this paper a structural testing approach for AOP is presented.A BlockDefinition-Use-Control(BDUC) expression which can represent the control flow and data flow between each block is *** on the BDUC,three testing criteria are defined:two control flow criteria and one data flow *** approach is implemented by a tool called CDCT-AJ,which computes the control flow and data flow *** evaluation presents evidence of the effectiveness and feasibility of the proposed testing approach.

关键词： software testing aspect-oriented programming data flow control flow

来源：评论

学校读者我要写书评

暂无评论

Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation

Fault Tolerance for Distributed Real Time Dynamically Reconf...

引用

22nd IEEE International WETICE Conference (WETICE)

作者： Gabsi, Wafa Zalila, Bechir Univ Sfax ReDCAD Lab Natl Sch Engineers Sfax Sfax 3038 Tunisia

ISBN: (纸本)9780769550022

The development of computer systems is extremely complex due to real-time, distribution and dynamism requirements. For this reason, whatever the taken precautions, the occurrence of faults is sometimes unavoidable. In this context, we notice the need of techniques ensuring the dependability of real-time distributed dynamically reconfigurable systems. We focus on fault-tolerance, that means avoiding service failures in the presence of faults. In this paper, we have defined a development process for modeling and generating fault tolerance code using aspect oriented programming. First, we integrate fault tolerance elements since the modeling step of a system in order to take advantage of features of analysis, proof and verification possible at this stage using AADL and its annex Error Model Annex. Second, we extend an aspect oriented language and adapt it to respect real-time requirements. Finally, we define a code generation process for both functional preoccupations and cross-cutting ones like fault tolerance.

关键词： Fault-tolerance modeling aspect-oriented programming real-time dynamic reconfiguration

来源：评论

学校读者我要写书评

暂无评论

Inference rules for generic code migration of aspect-oriented programs

Inference rules for generic code migration of aspect-oriente...

引用

Annual Brazilian Symposium on programming Languages (SBLP)

作者： Rubbo, Fernando Barden Piveta, Eduardo Kessler Nunes, Daltro Jose Univ Fed Rio Grande do Sul Inst Informat Porto Alegre RS Brazil Univ Fed Santa Maria Programa Pos Grad Informat BR-97119900 Santa Maria RS Brazil

Several changes occurred in the aspectJ language to provide support for parametric polymorphism. Such changes aim to improve the source code type safety and to prepare the language to support generic code migration. Current approaches for this kind of migration focus only on object-oriented code. Therefore, they do not consider the use of aspects to encapsulate crosscutting concerns. We propose a collection of type constraint rules for the polymorphic version of aspectJ. These rules are used together with an existing constraint based algorithm to enable the conversion of non-generic code to add actual type parameters in both Java and aspectJ languages. (C) 2012 Elsevier B.V. All rights reserved.

关键词： Parametric polymorphism Code migration aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Semi-automatic Refactoring to aspect-oriented Platform

Semi-automatic Refactoring to Aspect-oriented Platform

引用

14th IEEE International Symposium on Computational Intelligence and Informatics (CINTI)

作者： Roman, Pipik Polasek, Ivan Slovak Univ Technol Bratislava Fac Informat & Informat Technol Bratislava Slovakia

ISBN: (纸本)9781479901944;9781479901975

Refactoring is necessary in large software projects and an aspect-oriented approach can help to maintain concerns in the source code. While tools for object-oriented refactoring are the usual part of development environments, support for aspect-oriented refactoring is minimal. We analyzed object-oriented bad smells applicable for an aspect-oriented approach and propose a method for the detection of crosscutting concerns and consecutive refactoring.

关键词： aspect-oriented programming project management software management source code (software)

来源：评论

学校读者我要写书评

暂无评论

An Empirical Evaluation of Refactoring Crosscutting Concerns into aspects using Software Metrics

An Empirical Evaluation of Refactoring Crosscutting Concerns...

引用

10th International Conference on Information Technology - New Generations (ITNG)

作者： Franca, Joyce M. S. dos Santos, Caio Augusto R. de Oliveira, Kenia S. Soares, Michel S. Univ Fed Uberlandia Fac Comp BR-38400 Uberlandia MG Brazil

ISBN: (纸本)9780769549675

Code scattering and code tangling affect software development in many ways, including poor traceability of requirements, low productivity, poor overall quality and increased efforts for software maintenance. One proposed solution to solve these issues is to use a specific software construction known as aspect. aspect-oriented programming (AOP) has been widely studied since its introduction with the promise of improving modularization by addressing crosscutting concerns. Few studies on empirical evaluation of the benefits of aspect-oriented paradigm were published. Results presented in these studies are frequently subjective, and some studies are non-conclusive. In addition, these studies are based on the implementation of only one or two crosscutting concerns into aspects, and the evaluation is based on few software metrics. In this article, the evaluation of AOP implementation through software metrics is proposed. The main idea is to implement crosscutting concerns as aspects, with focus on those that were not given properly attention in the literature. Two softwares were used as case studies.

关键词： Empirical Evaluation Software Refactoring aspect-oriented programming Software Metrics

来源：评论

学校读者我要写书评

暂无评论

aspectJ-based Idioms for Flexible Feature Binding

AspectJ-based Idioms for Flexible Feature Binding

引用

7th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARs)

作者： Andrade, Rodrigo Rebelo, Henrique Ribeiro, Marcio Borba, Paulo Univ Fed Pernambuco Informat Ctr Recife PE Brazil Univ Fed Alagoas Comp Inst Rio Largo AL Brazil

ISBN: (纸本)9781479925315

In Software Product Lines (SPL), we can bind reusable features to compose a product at different times, which in general are static or dynamic. The former allows customizability without any overhead at runtime. On the other hand, the latter allows feature activation or deactivation while running the application with the cost of performance and memory consumption. To implement features, we might use aspect-oriented programming (AOP), in which aspects enable a clear separation between base code and variable code. In this context, recent work provides aspectJ-based idioms to implement flexible feature binding. However, we identified some design deficiencies. Thus, to solve the issues of these idioms, we incrementally create three new aspectJ-based idioms. Moreover, to evaluate our new idioms, we quantitatively analyze them with respect to code cloning, scattering, tangling, and size by means of software metrics. Besides that, we qualitatively discuss our new idioms in terms of code reusability, changeability, and instrumentation overhead.

关键词： Software Product Lines aspect-oriented programming Idioms Flexible Feature Binding

来源：评论

学校读者我要写书评

暂无评论

aspect Driven Compilation for Dataflow Designs

Aspect Driven Compilation for Dataflow Designs

引用

IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors (ASAP)

作者： Grigoras, Paul Niu, Xinyu Coutinho, Jose G. F. Luk, Wayne Bower, Jacob Pell, Oliver Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England

ISBN: (纸本)9781479904945;9781479904938

This paper proposes a novel hardware compilation approach targeting dataflow designs. This approach is based on aspect-oriented programming to decouple design development from design optimisation, thus improving portability and developer productivity while enabling automated exploration of design trade-offs to enhance performance. We introduce FAST, a language for specifying dataflow designs that supports our approach. Optimisation strategies for the generated designs are specified in FAST, making use of facilities in the domain-specific aspect-oriented language, LARA. Our approach is demonstrated by implementing various seismic imaging designs for Reverse-Time Migration (RTM), which have performance comparable to state-of-the-art FPGA implementations while being produced with improved developer productivity.

关键词： aspect-oriented programming parallel languages program compilers software portability

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共58页 << < 18 19 20 21 22 23 24 25 26 27 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：