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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

54 篇 会议

馆藏范围

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

日期分布

学科分类号

40 篇 工学
- 39 篇 计算机科学与技术...
- 38 篇 软件工程
- 4 篇 控制科学与工程
- 4 篇 建筑学
- 4 篇 土木工程
- 1 篇 机械工程
- 1 篇 电气工程
- 1 篇 信息与通信工程
- 1 篇 化学工程与技术
- 1 篇 纺织科学与工程
- 1 篇 生物工程
7 篇 管理学
- 5 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
5 篇 理学
- 2 篇 数学
- 1 篇 化学
- 1 篇 生物学
- 1 篇 系统科学
2 篇 法学
- 2 篇 社会学

主题

9 篇 aspect oriented ...
3 篇 software enginee...
3 篇 aspect-oriented ...
2 篇 object oriented ...
2 篇 static analysis
2 篇 specifications
2 篇 semantics
2 篇 software design
2 篇 modularity
1 篇 computer science
1 篇 software archite...
1 篇 query languages
1 篇 scalability
1 篇 chemical activat...
1 篇 parallelism
1 篇 runtime verifica...
1 篇 probes
1 篇 bridges
1 篇 programming
1 篇 domain modelling

机构

3 篇 software enginee...
2 篇 software technol...
2 篇 department of co...
1 篇 computing depart...
1 篇 citi/fct univers...
1 篇 tech univ dresde...
1 篇 pleiad laborator...
1 篇 univ alabama tus...
1 篇 enginnering info...
1 篇 university of al...
1 篇 mcgill universit...
1 篇 uniquesoft palat...
1 篇 cwi nl-1009 ab a...
1 篇 univ oslo oslo
1 篇 freie universitä...
1 篇 tech univ darmst...
1 篇 school of comput...
1 篇 iit il usa
1 篇 univ lancaster d...
1 篇 pohang universit...

作者

4 篇 tanter éric
3 篇 figueroa ismael
3 篇 bockisch christo...
3 篇 chiba shigeru
3 篇 yin haihan
3 篇 mezini mira
2 篇 araújo joão
2 篇 mitschke ralf
2 篇 whittle jon
2 篇 salvaneschi guid...
2 篇 fisler kathi
2 篇 joosen wouter
2 篇 garcia alessandr...
2 篇 lagaisse bert
2 篇 tabareau nicolas
2 篇 disenfeld cynthi...
2 篇 eichberg michael
2 篇 aksit mehmet
1 篇 sewe andreas
1 篇 streicher jochen

语言

54 篇 英文

检索条件"任意字段=12th International Conference on Modularity and Aspect-Oriented Software Development, AOSD 2013"

共 54 条记录，以下是11-20 订阅

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

详细简洁

排序：

aosd'12 - Proceedings of the 11th Annual international conference on aspect oriented software development

AOSD'12 - Proceedings of the 11th Annual International Confe...

引用

11th Annual international conference on aspect oriented software development, aosd'12

ISBN: (纸本)9781450310925

the proceedings contain 23 papers. the topics discussed include: separation of concerns in feature modeling: support and applications;intraprocedural dataflow analysis for software product lines;features and object capabilities: reconciling two visions of modularity;two-way traceability and conflict debugging for aspectLTL programs;a debug interface for debugging multiple domain specific aspect languages;a fine-grained debugger for aspect-oriented programming;a monadic interpretation of execution levels and exceptions for AOP;adaptable generic programming with required type specifications and package templates;do we really need to extend syntax for advanced modularity?;a closer look at aspect interference and cooperation;management of feature interactions with transactional regions;and Method Shelters: avoiding conflicts among class extensions caused by local rebinding.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reify your collection queries for modularity and speed 13

Reify your collection queries for modularity and speed

引用

12th Annual international conference on aspect-oriented software development, aosd 2013

作者： Giarrusso, Paolo G. Ostermann, Klaus Eichberg, Michael Mitschke, Ralf Rendel, Tillmann Kästner, Christian Philipps University Marburg Germany Software Technology Group Technische Universität Darmstadt Germany Carnegie Mellon University United States

ISBN: (纸本)9781450317665

modularity and efficiency are often contradicting requirements, such that programers have to trade one for the other. We analyze this dilemma in the context of programs operating on collections. Performance-critical code using collections need often to be hand-optimized, leading to non-modular, brittle, and redundant code. In principle, this dilemma could be avoided by automatic collection-specific optimizations, such as fusion of collection traversals, usage of indexing, or reordering of filters. Unfortunately, it is not obvious how to encode such optimizations in terms of ordinary collection APIs, because the program operating on the collections is not reified and hence cannot be analyzed. We propose SQuOpt, the Scala Query Optimizer|a deep embedding of the Scala collections API that allows such analyses and optimizations to be defined and executed within Scala, without relying on external tools or compiler extensions. SQuOpt provides the same \look and feel" (syntax and static typing guarantees) as the standard collections API. We evaluate SQuOpt by re-implementing several code analyses of the FindBugs tool using SQuOpt, show average speedups of 12x with a maximum of 12800x and hence demonstrate that SQuOpt can reconcile modularity and efficiency in real-world applications. Copyright © 2013 ACM.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

Reusing software design models with TouchRAM

Reusing software design models with TouchRAM

引用

12th Annual international conference on aspect-oriented software development, aosd 2013

作者： Kienzle, Jörg School of Computer Science McGill University Montreal QC H3A 0E9 Canada

ISBN: (纸本)9781450318730

TouchRAM is a multitouch-enabled tool for agile software design modelling aimed at developing scalable and reusable software design models. this paper briefly summarizes the main features of the Reusable aspect Models modelling approach that TouchRAM is based on, and then describes how the tool is used during the design process to incrementally elaborate a complex software design model. Copyright © 2013 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Modular construction of an analysis tool for mining software repositories

Modular construction of an analysis tool for mining software...

引用

12th Annual international conference on aspect-oriented software development, aosd 2013

作者： Yamashita, Kazuhiro POSL Kyushu University Japan

ISBN: (纸本)9781450318730

In this paper, we propose an analysis tool for mining software repository (MSR) called E-CUBE, which corresponds to three types of evolution in MSR (i.e., Platform Evolution, Target Evolution and Scale Evolution). To encapsulate the essence of these types of evolution, we introduce modular construction for MSR studies to E-CUBE. We make a choice of features (i.e., modules) in the field of MSR using Feature oriented Domain Analysis (FODA) and implement those modules using an internal Domain specific language (DSL). Copyright © 2013 ACM.

关键词： Modular construction

来源：评论

学校读者我要写书评

暂无评论

A typed monadic embedding of aspects 13

A typed monadic embedding of aspects

引用

12th Annual international conference on aspect-oriented software development, aosd 2013

作者： Tabareau, Nicolas Figueroa, Ismael Tanter, Éric ASCOLA Group INRIA France PLEIAD Lab and ASCOLA DCC U. of Chile and INRIA France PLEIAD Laboratory University of Chile Chile

ISBN: (纸本)9781450317665

We describe a novel approach to embed pointcut/advice aspects in a typed functional programming language like Haskell. aspects are first-class, can be deployed dynamically, and the pointcut language is extensible. Type soundness is guaranteed by exploiting the underlying type system, in particular phantom types and a new antiunification type class. the use of monads brings type-based reasoning about effects for the first time in the pointcut/advice setting, thereby practically combining Open Modules and EffectiveAdvice, and enables modular extensions of the aspect language. Copyright © 2013 ACM.

关键词： aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Comparison of instrumentation techniques for dynamic program analysis on the java virtual machine

Comparison of instrumentation techniques for dynamic program...

引用

12th Annual international conference on aspect-oriented software development, aosd 2013

作者： Sarimbekov, Aibek Faculty of Informatics University of Lugano Lugano Switzerland

ISBN: (纸本)9781450318730

Dynamic Program Analysis (DPA) tools commonly rely on bytecode instrumentation which is done by means of lowlevel bytecode manipulation libraries. While providing a lot of flexibility and expressiveness to developers, using those libraries is usually time consuming, error-prone, and tedious. Approaches that leverage aspect-oriented programming (AOP) serve to reduce the development effort by providing higher abstraction layer for creating instrumentations. However, AOP-based tools have certain known limitations, high performance overhead being one of them. this work is intended to help DPA tool developers to choose the proper instrumentation framework that fully satisfies their needs. Copyright © 2013 ACM.

关键词： aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

aosd 2013 - Proceedings of the 2013 ACM on aspect-oriented software development

AOSD 2013 - Proceedings of the 2013 ACM on Aspect-Oriented S...

引用

12th Annual international conference on aspect-oriented software development, aosd 2013

ISBN: (纸本)9781450317665

the proceedings contain 18 papers. the topics discussed include: supporting data aspects in Pig Latin;reactive behavior in object-oriented applications: an analysis and a research roadmap;model-driven adaptive delegation;modular specification and checking of structural dependencies;modular specification and checking of structural dependencies;specification and verification of event detectors and responses;past expression: encapsulating pre-states at post-conditions by means of AOP;a Pointcut language for setting advanced breakpoints;secure and modular access control with aspects;method slots: supporting methods, events, and advices by a single language construct;and context traits: dynamic behavior adaptation through run-time trait recomposition.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A graphical tool for observing state and behavioral changes at join points

A graphical tool for observing state and behavioral changes ...

引用

12th Annual international conference on aspect-oriented software development, aosd 2013

作者： Yin, Haihan Software Engineering Group University of Twente 7500 AE Enschede Netherlands

ISBN: (纸本)9781450318730

To comprehend programs or to fix a bug, programmers always mentally simulate the program execution by reading the source code. aspect-oriented programming (AOP) increases this mental effort, because it can alter the state and the behavior of the base program at a join point to any extent by executing advices. Advices are implicitly invoked in the source code and their compositions at a join point may vary according to the runtime context. they can access and even change the context values of join points. Without appropriate tools, it is difficult to notice the effects of the implicitly executed advices. the goal of my work is to increase the comprehensibility of AO programs by using a graphical tool, that can succinctly visualize the state and behavioral changes at join points.

关键词： debugging visualization aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Refactoring delta-oriented software product lines 13

Refactoring delta-oriented software product lines

引用

12th Annual international conference on aspect-oriented software development, aosd 2013

作者： Schulze, Sandro Richers, Oliver Schaefer, Ina TU Braunschweig Braunschweig Germany

ISBN: (纸本)9781450317665

Delta-oriented programming (DOP) is an implementation approach to develop software product lines (SPL). Deltaoriented SPLs evolve over time due to new or changed requirements and need to be maintained to retain their value. Refactorings have been proposed as behavior-preserving program transformations that improve the design and structure of (object-oriented) software systems. However, there is a lack of refactoring support for software product lines since refactoring of SPLs is more complex than of single systems. For refactoring SPLs, we have to preserve the behavior of probably thousands of programs instead of only one. In this paper, we address the refactoring of software product lines by presenting a catalogue of refactorings for delta-oriented SPLs. Additionally, we propose code smells to guide developers to potential refactoring opportunities. We show how code smells can aid the identification of SPL refactorings and how these refactorings improve the evolvability and maintainability of delta-oriented SPLs. Copyright © 2013 ACM.

关键词： Odors

来源：评论

学校读者我要写书评

暂无评论

Reactive behavior in object-oriented applications: An analysis and a research roadmap 13

Reactive behavior in object-oriented applications: An analys...

引用

12th Annual international conference on aspect-oriented software development, aosd 2013

作者： Salvaneschi, Guido Mezini, Mira Software Technology Group Technische Universität Darmstadt Germany

ISBN: (纸本)9781450317665

Reactive applications are difficult to implement. Traditional solutions based on event systems and the Observer pattern have a number of inconveniences, but programmers bear them in return for the benefits of OO design. On the other hand, reactive approaches based on automatic updates of dependencies - like functional reactive programming and dataflow languages - provide undoubted advantages but do not fit well with mutable objects. In this paper, we provide a research roadmap to overcome the limitations of the current approaches and to support reactive applications in the OO setting. To establish a solid background for our investigation, we propose a conceptual framework to model the design space of reactive applications and we study the flaws of the existing solutions. then we highlight how reactive languages have the potential to address those issues and we formulate our research plan. Copyright © 2013 ACM.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：