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

GPCE'08: Proceedings of the ACM SIGPLAN 7th international conference on generative programming and component engineering 2008年 iii页

作者： Smaragdakis, Yannis Siek, Jeremy GPCE'08 General Chair University of Massachusetts Amherst MA University of Colorado Boulder CO United States

来源：评论

学校读者我要写书评

暂无评论

On automating component-based development

On automating component-based development

引用

international conference on Electrical engineering, Computing Science and Automatic Control (CCE)

作者： Perla Velasco Elizondo Centre for Mathematical Research CIMAT Guanajuato Mexico

A number of approaches to component-based development and tools to automate the associated processes have been proposed. However, most of them focus on a life cycle where component-based systems are generated from scratch rather than on one where they are constructed by composing preexisting components. this has negatively impacted automating component-based development and as a corollary its use in practice. In this paper we share our experiences on designing and developing an environment to automate component-based development. We highlight the importance of concepts such as component-based development life cycle, component model and composition theory to achieve the goal of component-based development automation.

关键词： Connectors Automation Software engineering programming Software systems Software reusability Unified modeling language Java Mechanical factors Context modeling

来源：评论

学校读者我要写书评

暂无评论

Hardware/software co-design for line detection algorithm on FPGA

Hardware/software co-design for line detection algorithm on ...

引用

international conference on Electrical engineering/Electronics, Computer, Telecommunications and Information Technology, ECTI-CON

作者： W. Kayankit W. Suntiamorntut Department of Computer Engineering Faculty of Engineering Prince of Songkla University Hatyai Songkhla Thailand

this paper presents the design methodology of hardware/software co-design on FPGA. In this research work uses line detection algorithm to be our case study. C-based programming named ImpulseC has been employed. By using this, we could reduce the time of the design. Two main components are involved. Edge detection module is the first component. Various algorithms, Robert, Sobel and Prewitt, are compared. the best algorithm in term of performance and area is selected. the second component is hough transform. this module is divided into hardware and software due to the limit of the available logic block. At the end, the system both in hardware/software for line detection on FPGA is simulated.

关键词： Hardware Detection algorithms Field programmable gate arrays Image edge detection Kernel Convolution Filters Design engineering Computational modeling Operating systems

来源：评论

学校读者我要写书评

暂无评论

New bid structures for power exchange with modelling in ILP framework

New bid structures for power exchange with modelling in ILP ...

引用

international conference on European Electricity Market, EEM

作者： Rajeev Gajbhiye S. A. Soman Department of Electrical Engineering Indian Institute of Technology Bombay Mumbai India

Block bid were introduced in power exchanges to allow generators with high fixed cost component (start-up and shut-down cost) participate in the market. However, block bid has been designed with very simple structure. Rigid structure in block bid often leads to them being rejected paradoxically. With this factor as motivation, we present new bid structures which retains objective of block bid, but brings in more flexibility, resulting in more liquidity in market.

关键词： Power markets Costs Power generation Integer linear programming Terminology Supply and demand

来源：评论

学校读者我要写书评

暂无评论

MDAI: Model based design in automobile industry

MDAI: Model based design in automobile industry

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： Joao Carlos Amaro Ferreira GuIAA-ISEL Lisboa Portugal

It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. this approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.

关键词： Automobiles Vehicles Packaging Design automation Unified modeling language Ergonomics Process design Automotive engineering Product development programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Considering IEC 61131-3 and IEC 61499 in the context of component Frameworks

Considering IEC 61131-3 and IEC 61499 in the context of Comp...

引用

6th IEEE international conference on Industrial Informatics

作者： Suender, Christoph Zoitl, Alois Christensen, James H. Steininger, Heinrich Fritsche, Josef Vienna Univ Technol Gusshausstr 27-29-376 A-1040 Vienna Austria Holobloc Inc Cleveland OH USA Kirchner SOFT GmbH Oberwolbling Austria Bachmann Elect GmbH Tosters Austria

ISBN: (纸本)9781424421701

Automation and control systems provide their own programming and modeling paradigms in parallel to theory well known from computer science. Especially the concepts of component-based software engineering highly influence the design of embedded systems, which include automation and control systems. this work analyses what is and is not a "software component" in the context of the two standards IEC 61131-3 and IEC 61499. Utilizing the definition of component frameworks and component system architectures, the potentials and problems of an integrative approach in order to utilize both standards within the same platform will be discussed.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：