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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

239 篇 会议
22 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

211 篇 工学
- 180 篇 软件工程
- 170 篇 计算机科学与技术...
- 21 篇 控制科学与工程
- 16 篇 信息与通信工程
- 15 篇 电气工程
- 11 篇 机械工程
- 8 篇 电子科学与技术（可...
- 6 篇 仪器科学与技术
- 5 篇 光学工程
- 5 篇 土木工程
- 4 篇 材料科学与工程（可...
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 动力工程及工程热...
- 3 篇 化学工程与技术
- 3 篇 农业工程
- 3 篇 安全科学与工程
53 篇 理学
- 40 篇 数学
- 11 篇 系统科学
- 7 篇 物理学
- 6 篇 统计学（可授理学、...
- 4 篇 化学
- 3 篇 大气科学
- 3 篇 生物学
46 篇 管理学
- 27 篇 管理科学与工程(可...
- 21 篇 图书情报与档案管...
- 11 篇 工商管理
5 篇 教育学
- 5 篇 教育学
3 篇 经济学
- 3 篇 应用经济学
3 篇 农学
- 3 篇 作物学
1 篇 法学
1 篇 文学
1 篇 医学
1 篇 艺术学

主题

21 篇 design
19 篇 languages
17 篇 software enginee...
14 篇 computer program...
12 篇 computer program...
10 篇 algorithms
8 篇 object oriented ...
8 篇 component
7 篇 feature-oriented...
7 篇 performance
7 篇 generic programm...
7 篇 middleware
7 篇 code generation
6 篇 aspectj
5 篇 programming
5 篇 generative adver...
5 篇 automatic progra...
5 篇 optimization
5 篇 measurement
5 篇 training

机构

4 篇 texas a&m univ c...
3 篇 univ magdeburg d...
2 篇 miracl isims bp ...
2 篇 univ lugano luga...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 global unichip c...
2 篇 rui'an graduate ...
2 篇 univ southampton...
2 篇 school of comput...
2 篇 school of comput...
2 篇 univ marburg d-3...
2 篇 fraunhofer inst ...
2 篇 kansas state uni...
2 篇 johannes kepler ...
2 篇 college of mecha...
2 篇 ecole polytech f...
2 篇 northeastern uni...
2 篇 orange labs maps...

作者

7 篇 apel sven
6 篇 binder walter
5 篇 ansaloni danilo
5 篇 moret philippe
4 篇 kaestner christi...
4 篇 batory don
4 篇 moessenboeck han...
4 篇 fischer bernd
3 篇 stefani jean-ber...
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
2 篇 hatcliff john
2 篇 babau jean-phili...
2 篇 aniruddha gokhal...
2 篇 siek jeremy
2 篇 freeman john
2 篇 graiet mohamed
2 篇 frisby nicolas
2 篇 gokhale aniruddh...

语言

251 篇 英文
11 篇 其他
1 篇 俄文
1 篇 中文

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

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

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

详细简洁

排序：

Feature Featherweight Java: A Calculus for Feature-Oriented programming and Stepwise Refinement 08

Feature Featherweight Java: A Calculus for Feature-Oriented ...

引用

7th international conference on generative programming and component engineering

作者： Apel, Sven Kaestner, Christian Lengauer, Christian Univ Passau Dept Math & Informat Passau Germany

ISBN: (纸本)9781605582672

Feature-oriented programming (FOP) is a paradigm that incorporates programming language technology, program generation techniques, and stepwise refinement. In their GPCE'07 paper, thaker et a]. suggest the development of a type system for FOP to guarantee safe feature composition, Le, to guarantee the absence of type errors during feature composition. We present such a type system along with a calculus for a simple feature-oriented, Java-like language, called Feature Featherweight Java (FFJ). Furthermore, we explore four extensions of FFJ and how they affect type soundness.

关键词： Feature-Oriented programming Safe Feature Composition Stepwise Refinement Featherweight Java Type Systems

来源：评论

学校读者我要写书评

暂无评论

Model driven engineering in systems integration

Model driven engineering in systems integration

引用

9th international Network conference, INC 2012

作者： Minich, M. Harriehausen-Mühlbauer, B. Wentzel, C. Communications and Network Research Centre for Security Plymouth University Plymouth United Kingdom Department of Computer Science University of Applied Sciences Darmstadt Darmstadt Germany

ISBN: (纸本)9781841023151

Software development in systems integration projects is still reliant on craftsmanship of highly skilled workers. To make such projects more profitable, an industrialized production, characterized by high efficiency, quality, and automation seems inevitable. While first milestones of software industrialization have recently been achieved, it is questionable if these can be applied to the field of systems integration as well. Besides specialization, standardization and systematic reuse, automation represents the final and most sophisticated key concept of industrialization, represented by Model Driven engineering (MDE). the present work discusses the most prominent MDE approaches, while considering the particularities of systems integration. It identifies generative programming as being most suitable and integrates it into previous works on Software Product Lines and component Based Development in Systems Integration.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

generative Software Module Development: A Domain-Driven Design Perspective 9

Generative Software Module Development: A Domain-Driven Desi...

引用

9th international conference on Knowledge and Systems engineering (KSE)

作者： Duc Minh Le Duc-Hanh Dang Viet-Ha Nguyen Hanoi Univ Dept Software Engn Hanoi Vietnam VNU Univ Engn & Technol Dept Software Engn Hanoi Vietnam

ISBN: (纸本)9781538635766

Object-oriented domain-driven design (DDD) aims to develop software (iteratively) around a realistic model of the application domain, which both thoroughly captures the domain requirements and is technically feasible for implementation. the main focus of existing work in DDD has been on using an annotation-based extension of object-oriented programming language to build the domain model. However, these work do not consider software modules as first-class objects and thus lack a method for their development. In this paper, we propose a generative software module development method to bridge this gap. More specifically, we make the following contributions: (1) An annotation-based internal DSL named MCCL for configuring the modules. this language uses a reflective module configuration class design. (2) A module configuration class generator that generates a module configuration class from a domain class. (3) Update the module configuration class of a module when this module's structure is changed. (4) Demonstrate MCCL using a Java software tool.

关键词： Software Unified modeling language Object oriented modeling DSL Generators Java Software engineering

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Dual Discriminator generative Adversarial Network for Single Image Super-Resolution 9

Dual Discriminator Generative Adversarial Network for Single...

引用

9th IEEE international conference on Software engineering and Service Science (ICSESS)

作者： Liu, Peng Hong, Ying Liu, Yan Chinese Acad Sci Inst Acoust Key Lab Informat Technol Autonomous Underwater Ve Beijing 100190 Peoples R China Chinese Acad Sci Inst Acoust Beijing 100190 Peoples R China Univ Chinese Acad Sci Beijing 100049 Peoples R China

ISBN: (纸本)9781538665657

Recently, several algorithms have been proposed to achieve the single image super-resolution by using deep convolutional neural networks. In this study, we present a dual discrimination generative adversartal network (D2GAN) for single image super-resolunon (SISR). the proposed model has better stability to complete the reconstruction of super-resolution images for x4 scale factor. the improved residual network and perceptual loss function are applied in the proposed algorithm which demonstrates a superior performance over state-of-the-art restoration quality. Meanwhile, the proposed reconstruction network has a faster training and convergence speed compared with other super-resolution methods. the proposed approach is evaluated on standard datasets and gets Improved performance than previous works that based on deep convolutional neural networks.

关键词： component single image super-resolution deep neural network residual networks peak signal-to-noise ratio structural similarity index

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：