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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

261 篇 会议
21 篇 期刊文献
9 册 图书

馆藏范围

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

日期分布

学科分类号

221 篇 工学
- 185 篇 软件工程
- 177 篇 计算机科学与技术...
- 22 篇 控制科学与工程
- 18 篇 电气工程
- 16 篇 信息与通信工程
- 8 篇 机械工程
- 7 篇 安全科学与工程
- 6 篇 生物医学工程（可授...
- 6 篇 生物工程
- 5 篇 电子科学与技术（可...
- 5 篇 交通运输工程
- 4 篇 光学工程
- 4 篇 材料科学与工程（可...
- 4 篇 航空宇航科学与技...
- 4 篇 网络空间安全
- 3 篇 仪器科学与技术
- 3 篇 化学工程与技术
- 1 篇 力学（可授工学、理...
48 篇 理学
- 36 篇 数学
- 7 篇 系统科学
- 6 篇 生物学
- 5 篇 物理学
- 5 篇 化学
- 2 篇 统计学（可授理学、...
41 篇 管理学
- 25 篇 管理科学与工程(可...
- 23 篇 图书情报与档案管...
- 9 篇 工商管理
10 篇 教育学
- 10 篇 教育学
- 2 篇 心理学(可授教育学...
1 篇 法学
- 1 篇 社会学
1 篇 农学
1 篇 医学
1 篇 艺术学

主题

23 篇 software enginee...
21 篇 design
19 篇 languages
11 篇 computer program...
11 篇 computer program...
10 篇 object oriented ...
9 篇 algorithms
8 篇 performance
8 篇 programming
8 篇 programming tech...
8 篇 code generation
7 篇 feature-oriented...
7 篇 automatic progra...
7 篇 java
7 篇 optimization
7 篇 generic programm...
7 篇 middleware
6 篇 generative progr...
6 篇 component
6 篇 software archite...

机构

4 篇 texas a&m univ c...
3 篇 univ alberta dep...
3 篇 school of space ...
3 篇 univ magdeburg d...
2 篇 univ lugano luga...
2 篇 college of telec...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 institute of sys...
2 篇 univ southampton...
2 篇 shanghai yanding...
2 篇 univ marburg d-3...
2 篇 kansas state uni...
2 篇 department of in...
2 篇 johannes kepler ...
2 篇 ecole polytech f...
2 篇 school of inform...
2 篇 northeastern uni...
2 篇 sixty-third rese...

作者

7 篇 apel sven
6 篇 binder walter
5 篇 ansaloni danilo
5 篇 moret philippe
4 篇 kaestner christi...
4 篇 batory don
4 篇 moessenboeck han...
3 篇 stefani jean-ber...
3 篇 schaeffer j
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 szafron d
3 篇 cassou damien
3 篇 fischer bernd
2 篇 yuehui chen
2 篇 yang yuan
2 篇 javad marzbanrad
2 篇 hatcliff john
2 篇 guddat j

语言

278 篇 英文
13 篇 其他
1 篇 中文

检索条件"任意字段=6th International Conference on Generative Programming and Component Engineering"

共 291 条记录，以下是41-50 订阅

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

详细简洁

排序：

Static Analysis of Aspect Interaction and Composition in component Models 11

Static Analysis of Aspect Interaction and Composition in Com...

引用

10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Hannousse, Abdelhakim Douence, Remi Ardourel, Gilles EMN INRIA Ascola Nantes France

ISBN: (纸本)9781450306898

component based software engineering and aspect orientation are claimed to be two complementary approaches. While the former ensures the modularity and the reusability of software entities, the latter enables the modularity of crosscutting concerns that cannot be modularized as regular components. Nowadays, several approaches and frameworks are dedicated to integrate aspects into component models. However, when several aspects are woven, aspects may interact with each other which often results in undesirable behavior. the contribution of this paper is twofold. First, we show how aspectized component models can be formally modeled in UPPAAL model checker in order to detect negative interactions (a.k.a., interferences) among aspects. Second, we provide an extendible catalog of composition operators used for aspect composition. We illustrate our general approach with an airport Internet service example.

关键词： aspectized component models Aspect Interaction Analysis Aspect composition

来源：评论

学校读者我要写书评

暂无评论

When to use features and aspects?: A case study 06

When to use features and aspects?: A case study

引用

5th international conference on generative programming and component engineering, GPCE'06. Co-located with the 21st international conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2006

作者： Apel, Sven Batory, Don Department of Computer Science University of Magdeburg Germany Department of Computer Science University of Texas Austin

ISBN: (纸本)1595932372

Aspect-Oriented programming (AOP) and Feature-Oriented programming (FOP) are complementary technologies that can be combined to overcome their individual limitations. Aspectual Mixin Layers (AML) is a representative approach that unifies AOP and FOP. We use AML in a non-trivial case study to create a product line of overlay networks. We also present a set of guidelines to assist programmers in how and when to use AOP and FOP techniques for implementing product lines in a stepwise and generative manner. Copyright © 2006 ACM.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Comparing Complexity of API Designs: An Exploratory Experiment on DSL-based Framework Integration 11

Comparing Complexity of API Designs: An Exploratory Experime...

引用

10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Sobernig, Stefan Gaubatz, Patrick Strembeck, Mark Zdun, Uwe WU Vienna Inst IS & New Media Vienna Austria Univ Vienna Software Architecture Grp Vienna Austria

ISBN: (纸本)9781450306898

Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature presents claims that DSL-based application development is beneficial, empirical evidence for this is rare. We present the results of an experiment comparing the complexity of three different object-oriented framework APIs and an embedded, textual DSL. For this comparative experiment, we implemented the same, non-trivial application scenario using these four different APIs. then, we performed an Object-Points (OP) analysis, yielding indicators for the API complexity specific to each API variant. the main observation for our experiment is that the embedded, textual DSL incurs the smallest API complexity. Although the results are exploratory, as well as limited to the given application scenario and a single embedded DSL, our findings can direct future empirical work. the experiment design is applicable for similar API design evaluations.

关键词： Design Experimentation Measurement Domain-Specific Language Application programming Interface Complexity Object Points

来源：评论

学校读者我要写书评

暂无评论

Applications of Enhanced Dynamic Code Evolution for Java in GUI Development and Dynamic Aspect-Oriented programming 10

Applications of Enhanced Dynamic Code Evolution for Java in ...

引用

9th international conference on generative programming and component engineering

作者： Wuerthinger, thomas Binder, Walter Ansaloni, Danilo Moret, Philippe Moessenboeck, Hanspeter Johannes Kepler Univ Linz Linz Austria Univ Lugano Lugano Switzerland

ISBN: (纸本)9781450301541

While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support for dynamic code evolution in high-performance, state-of-the-art runtime systems for statically typed languages, such as the Java Virtual Machine. In this tool demonstration, we present the Dynamic Code Evolution VM, which is based on a recent version of Oracle's state-of-the-art Java HotSpot (TM) VM and allows unlimited changes to loaded classes at runtime. Based on the Dynamic Code Evolution VM, we developed an enhanced version of the Mantisse GUI builder (which is part of the NetBeans IDE) that allows adding GUI components without restarting the application under development. Furthermore, we redesigned the dynamic AOP framework HotWave to take advantage of the enhanced dynamic code evolution capabilities. the new version, HotWave2, now supports most AspectJ constructs, including around() advice and static cross-cutting. We will demonstrate both the enhanced Mantisse GUI builder as well as HotWave2, weaving several aspects for dynamic analysis in sizable applications at runtime.

关键词： Algorithms Languages Dynamic aspect-oriented programming runtime weaving dynamic code evolution dynamic software updates code hotswapping Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

Model-Driven engineering and Run-Time Model-Usage in Service Robotics 11

Model-Driven Engineering and Run-Time Model-Usage in Service...

引用

10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Steck, Andreas Lotz, Alex Schlegel, Christian Univ Appl Sci Ulm Dept Comp Sci Ulm Germany

ISBN: (纸本)9781450306898

the development of service robots has gained more and more attention over the last years. A major challenge on the way towards industrial-strength service robotic systems is to make the step from code-driven to model-driven engineering. In this work we propose to put models into the focus of the whole life-cycle of robotic systems covering design-time as well as run-time. We describe how to explicate parameters, properties and resource information in the models at design-time and how to take these information into account by the run-time system of the robot to support its decision making process. We underpin our work by an exhaustive real-world example which is completely developed with our tools.

关键词： component Based Software engineering Model-Driven engineering Run-Time Model Usage Service Robotics

来源：评论

学校读者我要写书评

暂无评论

Safe component updates 06

Safe component updates

引用

作者： Stuckenholz, Alexander Osterloh, Andre Department of Data Processing Technologies FernUniversität Hagen Germany Department of Algorithms and Complexity FernUniversität Hagen Germany

ISBN: (纸本)1595932372

component updates always imply the risk of negatively influencing the operability of software systems. Because of wrong combinations of component versions, dependencies might break, methods which do no longer exist, might be called or methods might not be compatible to provided interfaces, objects, or classes. In this paper we model the problem of finding a well-configured system consisting of multiple component versions as a Boolean Optimization Problem. We introduce objective functions and constraints, which use Branch-and-Bound for restricting the search space and yield most recent, minimal systems. Copyright © 2006 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

On domain-specific languages reengineering 05

On domain-specific languages reengineering

引用

4th international conference on generative programming and component engineering

作者： Alias, C Barthou, D Univ Versailles Lab PRiSM F-78000 Versailles France

ISBN: (纸本)3540291385

Domain-specific languages (DSL) provides high-level functions making applications easier to write, and to maintain. Unfortunately, many applications axe written from scratch and poorly documented, which make them hard to maintain. An ideal solution should be to rewrite them in a appropriate DSL. In this paper, we present TeMa (Template Matcher), an automatic tool to recognize high-level functions in source code. Preliminary results show how TeMa can be used to reformulate Fortran code into Signal Processing Language (SPL) used in SPIRAL. this opens new possibilities for domain-specific languages.

关键词： Computer 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

来源：评论

学校读者我要写书评

暂无评论

Seamless development of software product lines 07

Seamless development of software product lines

引用

GPCE'07 - 6th international conference on generative programming and component engineering

作者： Laguna, Miguel A. González-Baixauli, Bruno Marqués, José M. Department of Computer Science University of Valladolid

ISBN: (纸本)9781595938558

One of the key problems in the development of software product lines is the representation and management of variability and commonality. the customary way to define both aspects is by means of feature models that also allow the configuration of each specific application within the product line to be selected. However the control of traceability between the features and the architectural models (generally based on UML) is not simple. the fundamental reasons are the complexity of the traceability relationships, and the fact that the same modeling mechanisms (e.g., the specialization in a class diagram) serve to express the variation points in the models that represent the product line and in each specific application. the aim of this work is to use the package merge mechanism of the UML 2 infrastructure meta-model as the representation (and support for the configuration) of the variability in the product line while reserving the classical mechanisms (the specialization in the structural models, the > relationship in the use case models, etc.) to express the variants in execution time of each specific application. the structure of the feature models is directly reflected in the relationships between packages in the architectural models, so the traceability of the configuration decisions is straightforward. the direct implementation of the package merge mechanism using the facility of partial classes of languages such as C# is an additional advantage that leads to the ideal of "seamless development". Copyright © 2007 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Software extension and integration with type classes 06

Software extension and integration with type classes

引用

作者： Lämmel, Ralf Ostermann, Klaus Microsoft Corp. Data Programmability Team United States Darmstadt University of Technology Germany

ISBN: (纸本)1595932372

the abilities to extend a software module and to integrate a software module into an existing software system without changing existing source code are fundamental challenges in software engineering and programming-language design. We reconsider these challenges at the level of language expressiveness, by using the language concept of type classes, as it is available in the functional programming language Haskell. A detailed comparison with related work shows that type classes provide a powerful framework in which solutions to known software extension and integration problems can be provided. We also pinpoint several limitations of type classes in this context. Copyright © 2006 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共30页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：