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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

277 篇 会议
23 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

232 篇 工学
- 190 篇 软件工程
- 176 篇 计算机科学与技术...
- 17 篇 电气工程
- 17 篇 信息与通信工程
- 16 篇 控制科学与工程
- 11 篇 机械工程
- 11 篇 生物医学工程（可授...
- 8 篇 生物工程
- 6 篇 光学工程
- 6 篇 化学工程与技术
- 4 篇 土木工程
- 4 篇 交通运输工程
- 3 篇 力学（可授工学、理...
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 3 篇 建筑学
- 3 篇 水利工程
54 篇 理学
- 39 篇 数学
- 9 篇 物理学
- 9 篇 统计学（可授理学、...
- 8 篇 系统科学
- 7 篇 生物学
- 4 篇 化学
40 篇 管理学
- 23 篇 管理科学与工程(可...
- 19 篇 图书情报与档案管...
- 10 篇 工商管理
6 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
- 4 篇 药学(可授医学、理...
5 篇 教育学
- 5 篇 教育学
2 篇 经济学
1 篇 艺术学

主题

22 篇 software enginee...
21 篇 design
20 篇 languages
13 篇 computer program...
10 篇 algorithms
10 篇 computer program...
9 篇 object oriented ...
8 篇 performance
7 篇 feature-oriented...
7 篇 generative adver...
7 篇 linear programmi...
7 篇 generic programm...
7 篇 middleware
6 篇 principal compon...
6 篇 code generation
5 篇 aspect oriented ...
5 篇 automatic progra...
5 篇 optimization
5 篇 logic programmin...
5 篇 analytical model...

机构

4 篇 texas a&m univ c...
3 篇 univ magdeburg d...
2 篇 school of electr...
2 篇 fudan univ sch c...
2 篇 univ lugano luga...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 school of comput...
2 篇 univ southampton...
2 篇 univ marburg d-3...
2 篇 fraunhofer inst ...
2 篇 univ leicester d...
2 篇 kansas state uni...
2 篇 johannes kepler ...
2 篇 univ newcastle u...
2 篇 ecole polytech f...
2 篇 school of vehicl...
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...
3 篇 stefani jean-ber...
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 fischer bernd
2 篇 hatcliff john
2 篇 pataki norbert
2 篇 babau jean-phili...
2 篇 pistikopoulos en
2 篇 bozinis na
2 篇 aniruddha gokhal...
2 篇 siek jeremy
2 篇 freeman john

语言

294 篇 英文
12 篇 其他
1 篇 法文

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

共 307 条记录，以下是11-20 订阅

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

详细简洁

排序：

Typing Communicating component Assemblages 08

Typing Communicating Component Assemblages

引用

7th international conference on generative programming and component engineering

作者： Lienhardt, Michael Schmitt, Alan Stefani, Jean-Bernard Univ Grenoble 1 F-38041 Grenoble France

ISBN: (纸本)9781605582672

Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a type-system-based approach to avoid message handling errors when assembling component-based communication systems. Such errors are not captured by classical type systems of host programming languages such as Java or ML. Our approach relies on the definition of a small process calculus that captures the operational essence of our target component-based framework for communication systems, and on the definition of a novel type system that combines row types with process types.

关键词： components type system component types process types type inference assemblage errors communication systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

generative programming: Methods, techniques, and applications tutorial abstract 7th

引用

7th international conference on Software Reuse (ICSR-7)

作者： Czarnecki, K DaimlerChrysler AG Res & Technol Software Technol Lab D-89081 Ulm Germany

Today’s software engineering practices are aimed at developing single systems. there are attempts to achieve reuse through object- and component-based technologies with two specific goals: to cut development...

ISBN: (纸本)3540434836

Today̵7;s software engineering practices are aimed at developing single systems. there are attempts to achieve reuse through object- and component-based technologies with two specific goals: to cut development costs, and time-to-market and to improve quality. But current research and practical experience suggest that only moving from the single system engineering to the system-family engineering approach can bring significant progress with respect to these goals [4, 8, 10].

关键词：

来源：评论

学校读者我要写书评

暂无评论

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs 10

Lightweight Modular Staging: A Pragmatic Approach to Runtime...

引用

9th international conference on generative programming and component engineering

作者： Rompf, Tiark Odersky, Martin Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland

ISBN: (纸本)9781450301541

Software engineering demands generality and abstraction, performance demands specialization and concretization. generative programming can provide both, but developing high-quality program generators takes a large effort, even if a multi-stage programming language is used. We present lightweight modular staging, a library-based multi-stage programming approach that breaks with the tradition of syntactic quasi-quotation and instead uses only types to distinguish between binding times. through extensive use of component technology, lightweight modular staging makes an optimizing compiler framework available at the library level, allowing programmers to tightly integrate domain-specific abstractions and optimizations into the generation process. We argue that lightweight modular staging enables a form of language virtualization, i.e. allows to go from a pure-library embedded language to one that is practically equivalent to a stand-alone implementation with only modest effort.

关键词： Design Languages Code Generation Multi-stage programming Domain-specific languages Language Virtualization

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An Abstraction for Reusable MDD components - Model-based Generation of Model-based Code Generators 08

An Abstraction for Reusable MDD Components - Model-based Gen...

引用

7th international conference on generative programming and component engineering

作者： Kulkarni, Vinay Reddy, Sreedhar Tata Consultancy Serv Pune Maharashtra India

ISBN: (纸本)9781605582672

We discuss our experience of using model-based techniques to generate model-based code generators. the central idea behind model-driven development (MDD) is to use suitable models to specify various concerns and transform these models to a variety of text artifacts. A business product needs to deliver a given business functionality on a wide variety of implementation platforms and architectures thus necessitating multiple sets of code generators. However, there is a considerable commonality across these code generators. In absence of a suitable abstraction for capturing this commonality, there is little or no reuse across these code generators. We present an abstraction for organizing model-based code generators as a hierarchical composition of reusable building blocks. A building block is a localized specification of a concern in terms of a concern-specific meta model, model to model transformation, and model to text transformation. Model-based code generation is a 3-step walk over the composition tree wherein the first step transforms individual concern-specific models into a unified model, the second step transforms the unified model into individual concern-specific text artifacts, and the third step composes these text artifacts.

关键词： Model-driven development Reuse generative programming Meta models

来源：评论

学校读者我要写书评

暂无评论

A generative programming Approach to Developing Pervasive Computing Systems 09

A Generative Programming Approach to Developing Pervasive Co...

引用

8th international conference on generative programming and component engineering

作者： Cassou, Damien Bertran, Benjamin Loriant, Nicolas Consel, Charles INRIA LaBRI ENSEIRB Paris France

ISBN: (纸本)9781605584942

Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordination, low-level hardware knowledge... Besides requiring various areas of expertise, programming such applications involves writing a lot of administrative code to glue technologies together and to interface with both hardware and software components. this paper proposes a generative programming approach to providing programming, execution and simulation support dedicated to the pervasive computing domain. this approach relies on a domain-specific language, named DiaSpec, dedicated to the description of pervasive computing systems. Our generative approach factors out features of distributed systems technologies, making DiaSpec-specified software systems portable. the DiaSpec compiler is implemented and has been used to generate dedicated programming frameworks for a variety of pervasive computing applications, including detailed ones to manage the building of an engineering school.

关键词： Design Languages pervasive computing generative programming DSL

来源：评论

学校读者我要写书评

暂无评论

A component-based Run-time Evolution Infrastructure for Resource-Constrained Embedded Systems 10

A Component-based Run-time Evolution Infrastructure for Reso...

引用

9th international conference on generative programming and component engineering

作者： Navas, Juan F. Babau, Jean-Philippe Pulou, Jacques Orange Labs MAPS Res Grp Issy Les Moulineaux France Univ Europeenne Bretagne LISyC UBO UEB Brest France Orange Labs MAPS Res Grp Grenoble France

ISBN: (纸本)9781450301541

this paper deals with embedded systems software and the modification of its architecture and behavior at execution-time. Incautious implementation of these features demands both heavy memory and performance overrun. To accomplish such software evolution activities in resource-constrained embedded systems, we propose a component-based run-time evolution infrastructure that reconciles richness of evolution alternatives and performance requirements. Our proposal is based on off-site components reifications, which are representations of components that allow us to treat evolution concerns remotely. Hence, the workload to be processed by the embedded device is alleviated. Memory and processor-time resources consumption evaluation on a real-world scenario show the efficiency and pertinence of our approach.

关键词： Performance Design Management Evolution component models resource-constrained systems embedded systems reifications

来源：评论

学校读者我要写书评

暂无评论

Creating custom containers with generative techniques 06

Creating custom containers with generative techniques

引用

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

作者： Moreno, Gabriel A. Software Engineering Institute Carnegie Mellon University

ISBN: (纸本)1595932372

component containers are a key part of mainstream component technologies, and play an important role in separating non-functional concerns from the core component logic. this paper addresses two different aspects of containers. First, it shows how generative programming techniques, using AspectC++ and meta-programming, can be used to generate stubs and skeletons without the need for special compilers or interface description languages. Second, the paper describes an approach to create custom containers by composing different non-functional features. Unlike component technologies such as EJB, which only support a predefined set of container types, this approach allows different combinations of non-functional features to be composed in a container to meet the application needs. Copyright © 2006 ACM.

关键词： Computer hardware description languages

来源：评论

学校读者我要写书评

暂无评论

Workshop on generative programming 2002 (GP2002) 7th

引用

7th international conference on Software Reuse (ICSR-7)

作者： de Jonge, M Visser, J CWI Amsterdam Netherlands

ISBN: (纸本)3540434836

Background. the goal of generative programming is to replace manual search, adaptation, and assembly of components with the automatic generation of needed components on demand. generative technology has been in practical use for decades (e.g., compiler development, application generation, automatic configuration management, preprocessing, and meta-programming). However, developing new domain-specific languages (DSLs), application generators, and component generators has been extremely hard, as it requires being knowledgeable and experienced both in language design and compiler development. Recent developments such as XML technologies and template meta-programming revived the interest in generative programming by making it more accessible to developers.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：