咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是161-170 订阅
排序:
Mapping Problem-Space to Solution-Space Features: A Feature Interaction Approach  09
Mapping Problem-Space to Solution-Space Features: A Feature ...
收藏 引用
8th international conference on generative programming and component engineering
作者: Sanen, Frans Truyen, Eddy Joosen, Wouter Katholieke Univ Leuven Dept Comp Sci DistriNet B-3001 Heverlee Belgium
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as generating the most optimal combination of... 详细信息
来源: 评论
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 langu... 详细信息
来源: 评论
Reusable, Generic Program Analyses and Transformations  09
Reusable, Generic Program Analyses and Transformations
收藏 引用
8th international conference on generative programming and component engineering
作者: Willcock, Jeremiah Lumsdaine, Andrew Quinlan, Daniel Indiana Univ Bloomington IN 47405 USA Lawrence Livermore Natl Lab Livermore CA USA
the optimizations in modern compilers are constructed for a predetermined set of primitive types. As a result, programmers are unable to exploit optimizations for user-defined types where these optimizations would be ... 详细信息
来源: 评论
Transactional Pointcuts Designation, Reification, and Advice of Interrelated Join Points  09
Transactional Pointcuts Designation, Reification, and Advice...
收藏 引用
8th international conference on generative programming and component engineering
作者: Sadat-Mohtasham, Hossein Hoover, H. James Univ Alberta Dept Comp Sci Software Engn Res Lab Edmonton AB T6G 2M7 Canada
Aspect-oriented mechanisms are characterized by their join point models. A join point model has three components: join points, which are elements of language semantics;"a means of identifying join points";an... 详细信息
来源: 评论
Aspects of availability Enforcing timed properties to prevent denial of service
收藏 引用
SCIENCE OF COMPUTER programming 2010年 第7期75卷 516-542页
作者: Fradet, Pascal Ha, Stephane Hong Tuan INRIA Grenoble Rhone Alpes F-38330 Montbonnot St Martin France CEA Saclay DRT LIST DTSI LSL F-91191 Gif Sur Yvette France INRIA Rennes Bretagne Atlantique F-35042 Rennes France
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the allocation of resources. In our langua... 详细信息
来源: 评论
Design and evaluation of C plus plus open multi-methods
收藏 引用
SCIENCE OF COMPUTER programming 2010年 第7期75卷 638-667页
作者: Pirkelbauer, Peter Solodkyy, Yuriy Stroustrup, Bjarne Texas A&M Univ College Stn TX 77843 USA
Multiple dispatch - the selection of a function to be invoked based on the dynamic type of two or more arguments - is a solution to several classical problems in object-oriented programming. Open multi-methods general... 详细信息
来源: 评论
Extracting component-oriented behaviour for self-healing enabling
Extracting component-oriented behaviour for self-healing ena...
收藏 引用
7th IEEE international conference and Workshop on engineering of Autonomic and Autonomous Systems, EASe 2010
作者: Bakera, Marco Wagner, Christian Margaria, Tiziana Vassev, Emil Hincheyz, Mike Steffen, Bernhard Universität Potsdam Department of Service and Software Engineering Potsdam Germany University College Dublin Ireland University of Limerick Ireland Technische Universität Dortmund Department of Programming Systems Dortmund Germany
Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. the GEAR game-based Model Checker h... 详细信息
来源: 评论
GPCE'09 - Proceedings of the 8th international ACM SIGPLAN conference on generative programming and component engineering: Foreword
GPCE'09 - Proceedings of the 8th International ACM SIGPLAN C...
收藏 引用
GPCE'09 - Proceedings of the 8th international ACM SIGPLAN conference on generative programming and component engineering 2009年 iii页
作者: Siek, Jeremy Fischer, Bernd University of Colorado Boulder CO United States University of Southampton Southampton United Kingdom
来源: 评论
Synthesis-Based Loose programming
Synthesis-Based Loose Programming
收藏 引用
7th international conference on the Quality of Information and Communications Technology (QUATIC)
作者: Lamprecht, Anna-Lena Naujokat, Stefan Margaria, Tiziana Steffen, Bernhard Tech Univ Dortmund Chair Programming Syst D-44227 Dortmund Germany Univ Potsdam Chair Serv & Software Engn D-14882 Potsdam Germany
In this paper we present loose programming, an approach designed to enable process developers to design their application-specific processes in an intuitive style. Key to this approach is the concept of loose specific... 详细信息
来源: 评论
the Gentle Art of Levitation
The Gentle Art of Levitation
收藏 引用
15th ACM SIGPLAN international conference on Functional programming
作者: Chapman, James Dagand, Pierre-Evariste McBride, Conor Morris, Peter Tallinn Univ Technol Inst Cybernet Tallinn Estonia Univ Strathclyde Glasgow G1 1XQ Lanark Scotland Univ Nottingham Nottingham NG7 2RD England
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arises by interpreting its description-a fi... 详细信息
来源: 评论