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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

24 篇 会议
19 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

40 篇 工学
- 32 篇 软件工程
- 26 篇 计算机科学与技术...
- 6 篇 电气工程
- 2 篇 信息与通信工程
- 1 篇 仪器科学与技术
3 篇 理学
- 1 篇 数学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生物学

主题

43 篇 feature-oriented...
23 篇 software product...
8 篇 aspect-oriented ...
5 篇 feature composit...
5 篇 design
4 篇 languages
4 篇 software reuse
3 篇 binary class-lev...
3 篇 type systems
3 篇 fuji
3 篇 design patterns
3 篇 formal methods
3 篇 object-orientati...
3 篇 refactoring
2 篇 software product...
2 篇 pervasive health...
2 篇 measurements
2 篇 conditional comp...
2 篇 collaboration-ba...
2 篇 pervasive comput...

机构

6 篇 univ magdeburg s...
5 篇 tu braunschweig ...
4 篇 univ passau dept...
4 篇 univ magdeburg d...
4 篇 univ passau pass...
3 篇 univ marburg d-3...
3 篇 univ fed uberlan...
2 篇 jrn rajasthan vi...
2 篇 univ fed minas g...
2 篇 paderborn univ p...
2 篇 metop gmbh magde...
2 篇 univ magdeburg f...
2 篇 otto von guerick...
1 篇 natl inst techno...
1 篇 univ orleans lif...
1 篇 univ pau & pays ...
1 篇 tech univ carolo...
1 篇 universidad simó...
1 篇 univ passau dept...
1 篇 univ fed minas g...

作者

14 篇 apel sven
7 篇 kaestner christi...
6 篇 saake gunter
6 篇 leich thomas
6 篇 schaefer ina
4 篇 figueiredo eduar...
4 篇 siegmund norbert
4 篇 rosenmueller mar...
3 篇 sousa ferreira g...
3 篇 kolesnikov sergi...
3 篇 maia marcelo de ...
3 篇 kuhlemann martin
3 篇 gaia felipe nune...
2 篇 runge tobias
2 篇 sarangdevot s. s...
2 篇 schuster sven
2 篇 bordis tabea
2 篇 sharma amita
2 篇 krueger stefan
2 篇 bolle stefanie

语言

42 篇 英文
1 篇 其他

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

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

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

详细简洁

排序：

Extending AspectJ for Separating Regions 09

Extending AspectJ for Separating Regions

引用

8th International Conference on Generative programming and Component Engineering

作者： Akai, Shumpei Chiba, Shigeru Tokyo Inst Technol Tokyo Japan

ISBN: (纸本)9781605584942

Synchronization is a good candidate for an aspect in aspect-oriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying hardware to obtain the best execution performance. If synchronization is an aspect, programmers can change the synchronization code independently of the rest of the program when the program runs on different hardware. However, existing AOP languages such as AspectJ have problems. They cannot select an arbitrary code region as a join point. Moreover, they cannot enforce weaving of a synchronization aspect. Since it is an alternative feature in feature modeling, at least one of available synchronization aspects must be woven. Otherwise, the program would be thread-unsafe. Since an aspect in AspectJ is inherently optional, programmers must be responsible for weaving it. To solve these problems, this paper proposes two new constructs for AspectJ, region cut and assertions for advice. Regioncut selects arbitrary code region as a join point and assertion for advice enforces weaving a mandatory advice. We implemented these constructs by extending the AspectBench compiler. We evaluated the design of our constructs by applying them to two open-source software products, Javassist and Hadoop.

关键词： Languages Design Aspect-oriented programming feature-oriented programming Region Synchronization

来源：评论

学校读者我要写书评

暂无评论

Code Clones in feature-oriented Software Product Lines 10

Code Clones in Feature-Oriented Software Product Lines

引用

9th International Conference on Generative programming and Component Engineering

作者： Schulze, Sandro Apel, Sven Kaestner, Christian Univ Magdeburg D-39106 Magdeburg Germany Univ Passau Passau Germany Univ Marburg D-35032 Marburg Germany

ISBN: (纸本)9781450301541

Some limitations of object-oriented mechanisms are known to cause code clones (e. g., extension using inheritance). Novel programming paradigms such as feature-oriented programming (FOP) aim at alleviating these limitations. However, it is an open issue whether FOP is really able to avoid code clones or whether it even facilitates (FOP-related) clones. To address this issue, we conduct an empirical analysis on ten feature-oriented software product lines with respect to code cloning. We found that there is a considerable number of clones in feature-oriented software product lines and that a large fraction of these clones is FOP-related (i.e., caused by limitations of feature-oriented mechanisms). Based on our results, we initiate a discussion on the reasons for FOP-related clones and on how to cope with them. We show by means of examples how such clones can be removed by applying refactorings.

关键词： Design languages measurements Code clones software product lines feature-oriented programming refactoring

来源：评论

学校读者我要写书评

暂无评论

Application of FOP and AOP Methodologies in Concert for Developing Insurance Software Using Eclipse-Based Open Source Environment 1

引用

1st International Conference on Advances in Computing and Communications

作者： Sharma, Amita Sarangdevot, S. S. Tulsi Shree B-16 Kanta Khaturia Colony Bikaner 334003 Rajasthan India JRN Rajasthan Vidyapeeth Deemed Univ Dept Comp Sci & IT Udaipur 313001 India

ISBN: (数字)9783642227097

ISBN: (纸本)9783642227080

feature-oriented programming (FOP) and Aspect-oriented programming (AOP) are complementary methodologies that can be combined to overcome their individual limitations. In the present study. usefulness of this approach has been investigated in developing Insurance Software: TG_Lifelnsurancesoft, using Eclipse-featureIDE-AJDT open source environment with feature composition framework and enhanced tool chain: featureHouse. It is observed that integration of AOP concepts into stepwise refinement method of FOP enhances its capability of expressing and handling homogeneous as well as advanced dynamic crosscutting, thus reducing code redundancy, complexity, development time, maintainability and cost of the software system. The study concludes that combination of FOP and AOP methodologies using Eclipse-featureIDE-AJDT environment offers a powerful support for modular design and implementation of comprehensible. reusable, consistent, maintainable and cost effective insurance software system with user selected features.

关键词： feature-oriented programming Aspect-oriented programming feature Model Software Product Lines Collaboration-based design Stepwise development Separation of Concerns Crosscutting Eclipse-featureIDE-AJDT Environment featureHouse Insurance Software.

来源：评论

学校读者我要写书评

暂无评论

A New Method for Component Reuse

A New Method for Component Reuse

引用

2nd IEEE International Conference on Computer Science and Information Technology

作者： He, Jianli Chen, Rong Gu, Weinan Tongji Univ Syst Software Engn Ctr Shanghai 200092 Peoples R China

ISBN: (纸本)9781424445189

Achieving software reuse is a fundamental problem in software engineering. Component-based development (CBD) is widely accepted as a promising approach for software reuse. Current methods for component reuse concentrate primarily on the component consumer perspective, which are lack of the potential for component evolution itself. This paper proposes two complementary approaches to reusing existing components: binary class-level inheritance and feature composition. To meet variability requirements, a new component can be derived across component module from an old component. Furthermore, to narrow the gulf between the user and the developer perspectives, the system features are decomposed into a set of independent feature components that can be plugged into running object. The design and implementation method on component platform is presented. At last, this paper introduces the graphic user interface and mobile telephone projects development experiments that show the two approaches contribute to reuse.

关键词： Object-orientation programming Component-based development Software reuse Binary class-level inheritance feature-oriented programming feature composition

来源：评论

学校读者我要写书评

暂无评论

Detecting and Describing Variability-Aware Design Patterns in feature-oriented Software Product Lines 6

Detecting and Describing Variability-Aware Design Patterns i...

引用

6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Schuster, Sven Seidl, Christoph Schaefer, Ina TU Braunschweig Braunschweig Germany

ISBN: (纸本)9789897582837

Software Product Lines (SPLs) enable customization by reusing commonalities and variabilities within a family of similar software systems. Design patterns are best practices of established solutions in object-oriented source code for recurring design challenges. Although certain design patterns realize variability, they are only defined in the context of stand-alone systems and not for SPLs. Employing design patterns to realize variability allows using best practices in design for SPL development. However, the exact usage of design patterns within SPLs has not been explored, and a formal notation to capture their usage within different features does not exist. In this work, we provide a model-based analysis method to determine the variability-aware usage of design patterns in source code within the context of feature-oriented programming (FOP). Moreover, we introduce Family Role Models (FRMs) as an extension to role modeling, which offer a language-independent, unified, formal notation for decomposed design patterns. We apply the analysis method in a case study on the variability-aware usage of design patterns in feature-oriented SPLs and derive FRMs from the results.

关键词： Software Product Line feature-oriented programming Design Pattern Family Role Model

来源：评论

学校读者我要写书评

暂无评论

A Comparison of Product-based, feature-based, and Family-based Type Checking 13

A Comparison of Product-based, Feature-based, and Family-bas...

引用

12th International Conference on Generative programming: Concepts and Experiences

作者： Kolesnikov, Sergiy von Rhein, Alexander Hunsen, Claus Apel, Sven Univ Passau Passau Germany

ISBN: (纸本)9781450323734

Analyzing software product lines is difficult, due to their inherent variability. In the past, several strategies for product-line analysis have been proposed, in particular, product-based, feature-based, and family-based strategies. Despite recent attempts to conceptually and empirically compare different strategies, there is no work that empirically compares all of the three strategies in a controlled setting. We close this gap by extending a compiler for feature-oriented programming with support for product-based, feature-based, and family-based type checking. We present and discuss the results of a comparative performance evaluation that we conducted on a set of 12 feature-oriented, JAVA-based product lines. Most notably, we found that the family-based strategy is superior for all subject product lines: it is substantially faster, it detects all kinds of errors, and provides the most detailed information about them.

关键词： feature-oriented programming product-line analysis type checking Fuji

来源：评论

学校读者我要写书评

暂无评论

feature-oriented Contract Composition 19

Feature-Oriented Contract Composition

引用

23rd International Systems and Software Product Line Conference (SPLC)

作者： Thuem, Thomas Knueppel, Alexander Krueger, Stefan Bolle, Stefanie Schaefer, Ina TU Braunschweig Braunschweig Germany Paderborn Univ Paderborn Germany

ISBN: (纸本)9781450371384

A software product line comprises a set of products that share a common code base, but vary in specific characteristics called features. Ideally, features of a product line are developed in isolation and composed subsequently. Product lines are increasingly used for safety-critical software, for which quality assurance becomes indispensable. While the verification of product lines gained considerable interest in research over the last decade, the subject of how to specify product lines is only covered rudimentarily. One challenge is composition;similar to inheritance in object-oriented programming, features of a product line may refine other features along with their specifications. In our work [1], we present a comprehensive discussion and empirical evaluation of how to specify product lines implemented by means of feature-oriented programming. In feature-oriented programs, implementation artifacts, such as methods, are distributed over the set of feature modules and subsequently composed together when the respective features are selected. Similar to this idea, contracts could be modularized, too, and are subsequently composed together with their respective methods. In particular, we investigate how refinement and composition of such specifications can be established and derive a notion of feature-oriented contracts comprising preconditions, postconditions, and framing conditions of a method (i.e., following the design-by-contract paradigm). While both design by contract and feature-oriented programming have been hot research topics for more than two decades, their combination had rarely been explored. When features refine methods, an important question is whether refinement of their contracts is inevitable or not. However, unlike method composition where only the order of features is relevant, it seems that contract composition has to be handled differently according to certain scenarios. Consequently, a diverse set of composition techniques is required. In total,

关键词： feature-oriented programming Software product lines Design by contract Deductive verification Formal methods

来源：评论

学校读者我要写书评

暂无评论

Code Generation to Support Static and Dynamic Composition of Software Product Lines 08

Code Generation to Support Static and Dynamic Composition of...

引用

7th International Conference on Generative programming and Component Engineering

作者： Rosenmueller, Marko Siegmund, Norbert Saake, Gunter Apel, Sven Univ Magdeburg Sch Comp Sci D-39106 Magdeburg Germany

ISBN: (纸本)9781605582672

Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL is possible statically before runtime or dynamically at load-time or runtime. Both approaches have benefits and drawbacks with respect to composition flexibility, performance, and resource consumption. Which type of composition is preferable should be decided by taking the application scenario into account. Current tools and languages, however, force a programmer to decide between static and dynamic composition during development. In this paper, we present an approach that employs code generation to support static and dynamic composition of features of a single code base. We offer an implementation on top of featureC++, an extension of the C++ programming language that supports software composition based on features. To simplify dynamic composition and to avoid creation of invalid products we furthermore provide means to (1) validate the correctness of a composition at runtime, (2) automatically instantiate SPLs in case of stand-alone applications, and (3) automatically apply interaction code of crosscutting concerns.

关键词： Software product lines feature-oriented programming static feature binding dynamic feature binding

来源：评论

学校读者我要写书评

暂无评论

Tailoring Dynamic Software Product Lines 11

Tailoring Dynamic Software Product Lines

引用

10th ACM International Conference on Generative programming and Component Engineering (GPCE)/Conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Rosenmueller, Marko Siegmund, Norbert Pukall, Mario Apel, Sven Univ Magdeburg D-39106 Magdeburg Germany

ISBN: (纸本)9781450306898

Software product lines (SPLs) and adaptive systems aim at variability to cope with changing requirements. Variability can be described in terms of features, which are central for development and configuration of SPLs. In traditional SPLs, features are bound statically before runtime. By contrast, adaptive systems support feature binding at runtime and are sometimes called dynamic SPLs (DSPLs). DSPLs are usually built from coarse-grained components, which reduces the number of possible application scenarios. To overcome this limitation, we closely integrate static binding of traditional SPLs and runtime adaptation of DSPLs. We achieve this integration by statically generating a tailor-made DSPL from a highly customizable SPL. The generated DSPL provides only the runtime variability required by a particular application scenario and the execution environment. The DSPL supports self-configuration based on coarse-grained modules. We provide a feature-based adaptation mechanism that reduces the effort of computing an optimal configuration at runtime. In a case study, we demonstrate the practicability of our approach and show that a seamless integration of static binding and runtime adaptation reduces the complexity of the adaptation process.

关键词： Software Product Lines Dynamic Binding feature-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Safe Composition of Non-Monotonic features 09

Safe Composition of Non-Monotonic Features

引用

8th International Conference on Generative programming and Component Engineering

作者： Kuhlemann, Martin Batory, Don Kaestner, Christian Univ Magdeburg Fac Comp Sci D-39106 Magdeburg Germany Univ Texas Austin Dept Comp Sci Austin TX 78712 USA

ISBN: (纸本)9781605584942

Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem assumed that features add code monotonically. We generalize prior work to enable features to add and remove code, describe our analyses and implementation, and review case studies. We observe that more expressive features increase the complexity of developed programs rapidly - up to the point where tools and automated concepts as presented in this paper are indispensable for verification.

关键词： Verification design feature-oriented programming safe composition refactoring AHEAD

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：