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

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

作者： thaker, Sahil Batory, Don Kitchin, David Cook, William Microsoft Corporation One Microsoft Way Redmond WA 98052 United States Department of Computer Sciences University of Texas at Austin Austin TX 78712 United States

ISBN: (纸本)9781595938558

Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of features, there are also low-level implementation constraints: a feature module can reference elements that are defined in other feature modules. Safe composition is the guarantee that all programs in a product line are type safe: i.e., absent of references to undefined elements (such as classes, methods, and variables). We show how safe composition properties can be verified for AHEAD product lines using feature models and SAT solvers. Copyright © 2007 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Aspects of availability 07

Aspects of availability

引用

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

作者： Fradet, Pascal Ha, Stéphane Hong Tuan NRIA / LIG INRIA / CEA-LIST

ISBN: (纸本)9781595938558

In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the allocation of resources. In our language, aspects can be seen as formal timed properties on execution traces. Programs and aspects are specified as timed automata and the weaving process as an automata product. the benefit of this formal approach is two-fold: the user keeps the semantic impact of weaving under control and (s)he can use a model-checker to optimize the woven program and verify availability properties. Copyright © 2007 ACM.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

programming with C plus plus concepts

引用

SCIENCE OF COMPUTER programming 2010年第7期75卷 596-614页

作者： Jaervi, Jaakko Marcus, Mat Smith, Jacob N. Texas A&M Univ College Stn TX 77843 USA Adobe Syst Inc Seattle WA USA

this paper explores the definition, applications, and limitations of concepts and concept maps in C++, with a focus on library composition. We also compare and contrast concepts to adaptation mechanisms in other languages. Efficient, non-intrusive adaptation mechanisms are essential when adapting data structures to a library's API. Development with reusable components is a widely practiced method of building software. components vary in form, ranging from source code to non-modifiable binary libraries. the Concepts language features, slated to appear in the next version of C++, have been designed with such compositions in mind, promising an improved ability to create generic, non-intrusive, efficient, and identity-preserving adapters. We report on two cases of data structure adaptation between different libraries, and illustrate best practices and idioms. First, we adapt GUI widgets from several libraries, with differing APIs, for use with a generic layout engine. We further develop this example to describe the run-time concept idiom, extending the applicability of concepts to domains where run-time polymorphism is required. Second, we compose an image processing library and a graph algorithm library, by making use of a transparent adaptation layer, enabling the efficient application of graph algorithms to the image processing domain. We use the adaptation layer to realize a few key algorithms, and report little or no performance degradation. (C) 2009 Elsevier B.V. All rights reserved.

关键词： C plus Concepts Software libraries component adaptation Generic programming Polymorphism

来源：评论

学校读者我要写书评

暂无评论

42: Programmable models of computation for a component-based approach to heterogeneous embedded systems 07

42: Programmable models of computation for a component-based...

引用

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

作者： Maraninchi, Florence Bouhadiba, Tayeb VERIMAG/INPGrenoble 2 avenue de Vignate F38610 Gieres

ISBN: (纸本)9781595938558

Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchronous, deterministic or not, detailed w.r.t. time or not, detailed w.r.t. data or not, etc. A lot of approaches, following Ptolemy, propose to define several 'Models of Computation and Communication' (MoCCs) to deal with heterogeneity, and a framework in which they can be combined hierarchically. this paper presents the very first design of a component model for embedded systems called '42'. We aim at expressing fine-grain timing aspects and several types of concurrency as MoCCs, but we require that all the MoCCs be 'programmed' in terms of more basic primitives. '42' is meant to be an abstract description level, intended to be translated into an existing language (e.g., Lustre) for execution and property validation purposes. Copyright © 2007 ACM.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Parsimony principles for software components and metalanguages 07

Parsimony principles for software components and metalanguag...

引用

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

作者： Veldhuizen, Todd L. Electrical and Computer Engineering University of Wateroo Canada

ISBN: (纸本)9781595938558

Software is a communication system. the usual topic of communication is program behavior, as encoded by programs. Domain-specific libraries are codebooks, domain-specific languages are coding schemes, and so forth. To turn metaphor into method, we adapt tools from information theory - the study of efficient communication - to probe the efficiency with which languages and libraries let us communicate programs. In previous work we developed an information-theoretic analysis of software reuse in problem domains. this new paper uses information theory to analyze tradeoffs in the design of components, generators, and metalanguages. We seek answers to two questions: (1) How can we judge whether a component is over- or under-generalized? Drawing on minimum description length principles, we propose that the best component yields the most succinct representation of the use cases. (2) If we view a programming language as an assemblage of metalanguages, each providing a complementary style of abstraction, how can these metalanguages aid or hinder us in efficiently describing software? We describe a complex triangle of interactions between the power of an abstraction mechanism, the amount of reuse it enables, and the cognitive difficulty of its use. Copyright © 2007 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Lightweight scalable components 07

Lightweight scalable components

引用

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

作者： Kamina, Tetsuo Tamai, Tetsuo University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo 113-0033 Japan University of Tokyo 3-8-1 Komaba Meguro-ku Tokyo 153-8902 Japan

ISBN: (纸本)9781595938558

One limitation of the well-known family polymorphism approach is that each "family" will be a large monolithic program. In this paper, we introduce a minimal lightweight set of language features that treat each member of a family as a reusable programming unit, while preserving the important feature of scalability. the only one language construct we propose in this paper is type parameter members, which allows type parameters to be referred from the outside of class declarations. To investigate properties of type parameter members in the real programming language settings, we develop a programming language Scalable Java (SJ), an extension of Java generics with type parameter members. To carefully investigate the type soundness of SJ, we develop FGJ#, a core calculus of this extension based on FGJ, a functional core of Java with generics. Furthermore, to explore how to implement this proposal, we define the erasure of FGJ# programs as an extension of the erasure of FGJ programs, which compiles SJ to Java without generics. Copyright © 2007 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Context-aware scanning for parsing extensible languages 07

Context-aware scanning for parsing extensible languages

引用

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

作者： Van Wyk, Eric R. Schwerdfeger, August C. Department of Computer Science and Engineering University of Minnesota Minneapolis MN United States

ISBN: (纸本)9781595938558

this paper introduces new parsing and context-aware scanning algorithms in which the scanner uses contextual information to disambiguate lexical syntax. the parser uses a slightly modified LR-style algorithm that passes to the scanner the set of valid symbols that the scanner may return at that point in parsing. this set is those terminals whose entries in the parse table for the current parse state are shift, reduce, or accept, but not error. the scanner then only returns tokens in this set. An analysis is given that can statically verify that the scanner will never return more than one token for a single input. Context-aware scanning is especially useful when parsing and scanning extensible languages in which domain specific languages can be embedded. It has been used in extensible versions of Java 1.4 and ANSI C. We illustrate this approach with a declarative specification of a subset of Java and extensions that embed SQL queries and Boolean expression tables into Java. Copyright © 2007 ACM.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：