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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

11th international conference of Transactions on aspect-oriented software development, aosd 2013

11th International Conference of Transactions on Aspect-Orie...

引用

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

ISBN: (纸本)9783642550980

the proceedings contain 7 papers. the special focus in this conference is on Runtime Verification, Analysis and aspect-oriented software development. the topics include: Run-time assertion checking of data- and protocol-oriented properties of java programs;modularizing domain-specific crosscutting RV concerns;supporting methods, events, and advices by a single language construct;modularity and dynamic adaptation of flexibly secure systems;model-driven adaptive delegation in access control management;a typed monadic embedding of pointcuts and advice;modular specification and checking of structural dependencies and towards reactive programming for object-oriented applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Transactions on aspect-oriented software development XI 12th

Transactions on aspect-oriented software development XI

引用

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

作者： Chiba, Shigeru Tanter, Éric The University of Tokyo Tokyo Japan University of Chile Santiago Chile

来源：评论

学校读者我要写书评

暂无评论

Method Slots: Supporting Methods, Events, and Advices by a Single Language Construct 13

Method Slots: Supporting Methods, Events, and Advices by a S...

引用

12th international conference on modularity and aspect-oriented software development

作者： Zhuang, YungYu Chiba, Shigeru Univ Tokyo Tokyo 1138654 Japan

ISBN: (纸本)9783642550997;9783642550980

To simplify the constructs that programmers have to learn for using paradigms, we extend methods to a new language construct, a method slot, to support both the event-handler paradigm and the aspect paradigm. A method slot is an object's property that can keep more than one function closure and be called like a method. We also propose a Java-based language, DominoJ, which replaces methods in Java with method slots, and explains the behavior of method slots and the operators. then we evaluate the coverage of expressive ability of method slots by comparing DominoJ with other languages in detail. the feasibility of method slots is shown as well by implementing a prototype compiler and running a preliminary microbenchmark for it.

关键词： aspect-oriented programming event-driven programming

来源：评论

学校读者我要写书评

暂无评论

Modular Specification and Checking of Structural Dependencies 13

Modular Specification and Checking of Structural Dependencie...

引用

12th international conference on modularity and aspect-oriented software development

作者： Mitschke, Ralf Eichberg, Michael Mezini, Mira Garcia, Alessandro Macia, Isela Tech Univ Darmstadt Darmstadt Germany Pontif Catholic Univ Rio Janeiro Rio De Janeiro Brazil

ISBN: (纸本)9783642550997;9783642550980

Checking a software's structural dependencies is a line of research on methods and tools for analyzing, modeling, and checking the conformance of source code w.r.t. specifications of its intended static structure. Existing approaches have focused on the correctness of the specification, the impact of the approaches on software quality and the expressiveness of the modeling languages. However, large specifications become unmaintainable in the event of evolution without the means to modularize such specifications. We present Vespucci, a novel approach and tool that partitions a specification of the expected and allowed dependencies into a set of cohesive slices. this facilitates modular reasoning and helps individual maintenance of each slice. Our approach is suited for modeling high-level as well as detailed low-level decisions related to the static structure and combines both in a single modeling formalism. To evaluate our approach, we conducted an extensive study spanning 9 years of the evolution of the architecture of the object-relational mapping framework Hibernate.

关键词： software Architectures modularity Scalability Structural Dependency Constraints Static Analysis

来源：评论

学校读者我要写书评

暂无评论

Event Modules Modularizing Domain-Specific Crosscutting RV Concerns

Event Modules Modularizing Domain-Specific Crosscutting RV C...

引用

12th international conference on modularity and aspect-oriented software development

作者： Malakuti, Somayeh Aksit, Mehmet Tech Univ Dresden Software Technol Grp Dresden Germany Univ Twente Software Engn Grp Enschede Netherlands

ISBN: (纸本)9783642550997;9783642550980

Runtime verification (RV) facilitates detecting the failures of software during its execution. Due to the complexity of RV techniques, there is an increasing interest in achieving abstractness, modularity, and compose-ability in their implementations by means of dedicated linguistic mechanisms. this paper defines a design space to evaluate the existing domain-specific languages for implementing RV techniques, and identifies the shortcomings of a representative set of these languages with respect to the design space. this paper advocates the need for a language composition framework, which offers the necessary mechanisms to achieve abstractness, modularity, and compose-ability in the implementation of domain-specific crosscutting concerns such as the concerns of RV techniques. We explain event modules as novel linguistic abstractions for modular implementation of domain-specific crosscutting concerns. this paper discusses the implementation of event modules in the EventReactor language, and illustrates the suitability of event modules to implement RV techniques by means of two complementary examples.

关键词： runtime verification domain-specific languages aspect-orientation event-based modularization event-based composition

来源：评论

学校读者我要写书评

暂无评论

Effective aspects: A typed monadic embedding of pointcuts and advice

Effective aspects: A typed monadic embedding of pointcuts an...

引用

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

作者： Figueroa, Ismael Tabareau, Nicolas Tanter, Éric PLEIAD Laboratory University of Chile Santiago Chile ASCOLA Group INRIA Nantes France

ISBN: (纸本)9783642550980

aspect-oriented programming (AOP) aims to enhance modularity and reusability in software systems by offering an abstraction mechanism to deal with crosscutting concerns. However, in most general-purpose aspect languages aspects have almost unrestricted power, eventually conflicting with these goals. In this work we present Effective aspects: a novel approach to embed the pointcut/ advice model of AOP in a statically typed functional programming language like Haskell. Our work extends EffectiveAdvice, by Oliveira, Schrijvers, and Cook;which lacks quantification, and explores how to exploit the monadic setting in the full pointcut/advice model. Type soundness is guaranteed by exploiting the underlying type system, in particular phantom types and a new anti-unification type class. aspects are first-class, can be deployed dynamically, and the pointcut language is extensible, therefore combining the flexibility of dynamically typed aspect languages with the guarantees of a static type system. Monads enables us to directly reason about computational effects both in aspects and base programs using traditional monadic techniques. Using this we extend Aldrich’s notion of Open Modules with effects, and also with protected pointcut interfaces to external advising. these restrictions are enforced statically using the type system. Also, we adapt the techniques of EffectiveAdvice to reason about and enforce control flow properties. Moreover, we show how to control effect interference using the parametricity-based approach of EffectiveAdvice. However, this approach falls short when dealing with interference between multiple aspects. We propose a different approach using monad views, a recently developed technique for handling the monad stack. Finally, we exploit the properties of our monadic weaver to enable the modular construction of new semantics for aspect scoping and weaving. these semantics also benefit fully from the monadic reasoning mechanisms present in the language. thi

关键词： aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Run-Time Assertion Checking of Data- and Protocol-oriented Properties of Java Programs: An Industrial Case Study

Run-Time Assertion Checking of Data- and Protocol-Oriented P...

引用

12th international conference on modularity and aspect-oriented software development

作者： de Boer, Frank S. de Gouw, Stijn Johnsen, Einar Broch Kohn, Andreas Wong, Peter Y. H. CWI NL-1009 AB Amsterdam Netherlands Leiden Univ Leiden Netherlands Univ Oslo Oslo Norway Fredhopper B V Amsterdam Netherlands

ISBN: (纸本)9783642550997;9783642550980

Run-time assertion checking is one of the useful techniques for detecting faults, and can be applied during any program execution context, including debugging, testing, and production. In general, however, it is limited to checking state-based properties. We introduce SAGA, a general framework that provides a smooth integration of the specification and the run-time checking of both data- and protocol-oriented properties of Java classes and interfaces. We evaluate SAGA, which combines several state-of-the art tools, by conducting an industrial case study from an eCommerce software company Fredhopper.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Towards Reactive Programming for Object-oriented Applications

Towards Reactive Programming for Object-Oriented Application...

引用

12th international conference on modularity and aspect-oriented software development

作者： Salvaneschi, Guido Mezini, Mira Tech Univ Darmstadt Software Technol Grp Darmstadt Germany

ISBN: (纸本)9783642550997;9783642550980

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.

关键词： Reactive Programming Functional-reactive Programming Object-oriented Programming Incremental Computation

来源：评论

学校读者我要写书评

暂无评论

User-friendly event and aspect verification

User-friendly event and aspect verification

引用