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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

14 篇 会议

馆藏范围

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

日期分布

学科分类号

12 篇 工学
- 12 篇 软件工程
- 9 篇 计算机科学与技术...
- 4 篇 电气工程
- 1 篇 信息与通信工程

主题

4 篇 design
3 篇 experimentation
2 篇 languages
2 篇 model-driven eng...
1 篇 object oriented ...
1 篇 feature-oriented...
1 篇 component based ...
1 篇 performance
1 篇 reliability
1 篇 evolution
1 篇 continuous versi...
1 篇 service robotics
1 篇 application prog...
1 篇 fault tolerance
1 篇 debugging
1 篇 prototyping
1 篇 model checking
1 篇 software archite...
1 篇 continuous testi...
1 篇 aspect compositi...

机构

1 篇 université lille...
1 篇 oracle labs unit...
1 篇 vanderbilt univ ...
1 篇 aalborg univ dep...
1 篇 lirmm cnrs univ....
1 篇 scuola superiore...
1 篇 norwegian univ s...
1 篇 univ potsdam sof...
1 篇 emn inria ascola...
1 篇 univ appl sci ul...
1 篇 lgi2p ema nîmes
1 篇 adobe united sta...
1 篇 research center ...
1 篇 software enginee...
1 篇 dept. math/info ...
1 篇 univ magdeburg d...
1 篇 lirmm cnrs montp...
1 篇 wu vienna inst i...
1 篇 univ vienna soft...
1 篇 programming lang...

作者

1 篇 köhnlein jan
1 篇 douence remi
1 篇 gaubatz patrick
1 篇 zarnekow sebasti...
1 篇 hirschfeld rober...
1 篇 zhang lei
1 篇 eysholdt moritz
1 篇 huchard marianne
1 篇 schlegel christi...
1 篇 hannousse abdelh...
1 篇 gokhale aniruddh...
1 篇 willemsen johnny
1 篇 apel sven
1 篇 lotz alex
1 篇 fabresse luc
1 篇 kraemer frank al...
1 篇 welc adam
1 篇 thomsen lone let...
1 篇 herrmann peter
1 篇 steck andreas

语言

14 篇 英文

检索条件"任意字段=11th ACM International Conference on Generative Programming and Component Engineering, GPCE 2012"

共 14 条记录，以下是1-10 订阅

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

详细简洁

排序：

Proceedings of the 11th international conference on generative programming and component engineering, gpce'12

Proceedings of the 11th International Conference on Generati...

引用

11th acm international conference on generative programming and component engineering, gpce 2012

ISBN: (纸本)9781450311298

the proceedings contain 15 papers. the topics discussed include: a formal foundation for dynamic delta-oriented software product lines;family-based deductive verification of software product lines;reasoning of feature models from derived features;synthesizing iterators from abstraction functions;package templates: a definition by semantics-preserving source-to-source transformations to efficient java code;an inheritance system for structural & behavioral reuse in component-based software programming;a three-level component model in component based software development;pushouts in software architecture design;pol: specification-driven synthesis of architectural code frameworks for platform-based applications;faster program adaptation through reward attribution inference;and a calculus for modeling and implementing variation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

gpce'11 - Proceedings of the 10th international conference on generative programming and component engineering

GPCE'11 - Proceedings of the 10th International Conference o...

引用

10th acm international conference on generative programming and component engineering, gpce'11

ISBN: (纸本)9781450306898

the proceedings contain 18 papers. the topics discussed include: tailoring dynamic software product lines;feature interactions, products, and composition;on the impact of feature dependencies when maintaining preprocessor-based software product lines;investigating the safe evolution of software product lines;static analysis of aspect interaction and composition in component models;infrastructure for component-based dds application development;generation of geometric programs specified by diagrams;model-driven engineering and run-time model-usage in service robotics;generating database migrations for evolving web applications;pragmatics for formal semantics;application of model based development to flexible code generation;Firepile: run-time compilation for GPUs in scala;and monitoring aspects for the customization of automatically generated code for big-step models.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An inheritance system for structural & behavioral reuse in component-based software programming 12

An inheritance system for structural & behavioral reuse in c...

引用

11th acm international conference on generative programming and component engineering, gpce 2012

作者： Spacek, Petr Dony, Christophe Tibermacine, Chouki Fabresse, Luc LIRMM CNRS Montpellier II University 161 rue Ada 34392 Montpellier Cedex 5 France Université Lille Nord de France Ecole des Mines de Douai 941 rue Charles Bourseul 59508 Douai Cedex France

ISBN: (纸本)9781450311298

In the context of component-based programming, which addresses the implementation stage of a component-based software engineering development process, this paper describes a specification and an operational integration of an inheritance system into a self-contained new component-based programming language named Compo. Our proposal completes and extends related works by making it possible to apply inheritance to the full description of components, i.e. both to structural (description of provisions and requirements, of component architecture) and behavioral (full implementations of services) parts in component descriptions. Inheritance in Compo is designed to be used in conjunction with composition to maximize reuse capabilities and expressive power. Compo implementation proposes a clear operational solution for inheritance and for achieving and testing substitutions. Copyright 2012 acm.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

A three-level component model in component based software development 12

A three-level component model in component based software de...

引用

11th acm international conference on generative programming and component engineering, gpce 2012

作者： Zhang, Huaxi Zhang, Lei Urtado, Christelle Vauttier, Sylvain Huchard, Marianne Dept. Math/Info Université Toulouse 2 Toulouse France Research Center of Automation Northeastern University Shenyang China LGI2P EMA Nîmes France Lirmm Cnrs Univ. Montpellier 2 Montpellier France

ISBN: (纸本)9781450311298

component-based development promotes a software development process that focuses on component reuse. How to describe a desired component before searching in the repository? How to find an existing component that fulfills the required functionalities? How to capture the system personalization based on its constitutive components' customization? To answer these questions, this paper claims that components should be described using three different forms at three development stages: architecture specification, configuration and assembly. However, no architecture description language proposes such a detailed description for components that supports such a three step component-based development. this paper proposes a three-level Adl, named Dedal, that enables the explicit and separate definitions of component roles, component classes, and component instances. Copyright 2012 acm.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Xbase: Implementing domain-specific languages for java 12

Xbase: Implementing domain-specific languages for java

引用

11th acm international conference on generative programming and component engineering, gpce 2012

作者： Efftinge, Sven Eysholdt, Moritz Köhnlein, Jan Zarnekow, Sebastian Hasselbring, Wilhelm Von Massow, Robert Hanus, Michael Itemis AG D-24143 Kiel Germany Software Engineering Group University of Kiel Germany Programming Languages and Compiler Construction Group University of Kiel Germany

ISBN: (纸本)9781450311298

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools focus on structural aspects such as service specifications and entities. Because behavioral aspects are significantly more complicated to implement, they are often delegated to generalpurpose programming languages. this approach introduces complex integration patterns and the DSL's high level of abstraction is compromised. We present Xbase as part of Xtext, an expression language that can be reused via language inheritance in any DSL implementation based on Xtext. Xbase expressions provide both control structures and program expressions in a uniform way. Xbase is statically typed and tightly integrated with the Java type system. Languages extending Xbase inherit the syntax of a Java-like expression language as well as language infrastructure components, including a parser, an unparser, a linker, a compiler and an interpreter. Furthermore, the framework provides integration into the Eclipse IDE including debug and refactoring support. the application of Xbase is presented by means of a domain model language which serves as a tutorial example and by the implementation of the programming language Xtend. Xtend is a functional and object-oriented general purpose language for the Java Virtual Machine (JVM). It is built on top of Xbase which is the reusable expression language that is the foundation of Xtend. Copyright 2012 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems 11

Towards Automatic Generation of Formal Specifications to Val...

引用

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

作者： Slatten, Vidar Kraemer, Frank Alexander Herrmann, Peter Norwegian Univ Sci & Technol NTNU Dept Telemat N-7491 Trondheim Norway

ISBN: (纸本)9781450306898

the validation and verification of reliable systems is a difficult and complex task, mainly for two reasons: First, it is difficult to precisely state which formal properties a system needs to fulfil to be of high quality. Second, it is complex to automatically verify such properties, due to the size of the analysis state space which grows exponentially with the number of components. We tackle these problems by a tool-supported method which embeds application functionality in building blocks that use UML activities to describe their internal behaviour. To describe their externally visible behaviour, we use a combination of complementary interface contracts, so-called ESMs and EESMs. In this paper, we present an extension of the interface contracts, External Reliability Contracts (ERCs), that capture failure behaviour. this separation of different behavioural aspects in separate descriptions facilitates a two-step analysis, in which the first step is completely automated and the second step is facilitated by an automatic translation of the models to the input syntax of the model checker TLC. Further, the cascade of contracts is used to separate the work of domain and reliability experts. the concepts are proposed with the background of a real industry case, and we demonstrate how the use of interface

关键词： Design Reliability Verification Model-driven engineering reliable systems fault tolerance component contracts compositional verification model checking

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共2页 << < 1 2 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：