咨询与建议

限定检索结果

文献类型

  • 261 篇 会议
  • 21 篇 期刊文献
  • 9 册 图书

馆藏范围

  • 291 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 221 篇 工学
    • 185 篇 软件工程
    • 177 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 18 篇 电气工程
    • 16 篇 信息与通信工程
    • 8 篇 机械工程
    • 7 篇 安全科学与工程
    • 6 篇 生物医学工程(可授...
    • 6 篇 生物工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 交通运输工程
    • 4 篇 光学工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 航空宇航科学与技...
    • 4 篇 网络空间安全
    • 3 篇 仪器科学与技术
    • 3 篇 化学工程与技术
    • 1 篇 力学(可授工学、理...
  • 48 篇 理学
    • 36 篇 数学
    • 7 篇 系统科学
    • 6 篇 生物学
    • 5 篇 物理学
    • 5 篇 化学
    • 2 篇 统计学(可授理学、...
  • 41 篇 管理学
    • 25 篇 管理科学与工程(可...
    • 23 篇 图书情报与档案管...
    • 9 篇 工商管理
  • 10 篇 教育学
    • 10 篇 教育学
    • 2 篇 心理学(可授教育学...
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
  • 1 篇 医学
  • 1 篇 艺术学

主题

  • 23 篇 software enginee...
  • 21 篇 design
  • 19 篇 languages
  • 11 篇 computer program...
  • 11 篇 computer program...
  • 10 篇 object oriented ...
  • 9 篇 algorithms
  • 8 篇 performance
  • 8 篇 programming
  • 8 篇 programming tech...
  • 8 篇 code generation
  • 7 篇 feature-oriented...
  • 7 篇 automatic progra...
  • 7 篇 java
  • 7 篇 optimization
  • 7 篇 generic programm...
  • 7 篇 middleware
  • 6 篇 generative progr...
  • 6 篇 component
  • 6 篇 software archite...

机构

  • 4 篇 texas a&m univ c...
  • 3 篇 univ alberta dep...
  • 3 篇 school of space ...
  • 3 篇 univ magdeburg d...
  • 2 篇 univ lugano luga...
  • 2 篇 college of telec...
  • 2 篇 university of co...
  • 2 篇 orange labs maps...
  • 2 篇 johannes kepler ...
  • 2 篇 institute of sys...
  • 2 篇 univ southampton...
  • 2 篇 shanghai yanding...
  • 2 篇 univ marburg d-3...
  • 2 篇 kansas state uni...
  • 2 篇 department of in...
  • 2 篇 johannes kepler ...
  • 2 篇 ecole polytech f...
  • 2 篇 school of inform...
  • 2 篇 northeastern uni...
  • 2 篇 sixty-third rese...

作者

  • 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 篇 schaeffer j
  • 3 篇 schmitt alan
  • 3 篇 marcus mat
  • 3 篇 smith jacob n.
  • 3 篇 szafron d
  • 3 篇 cassou damien
  • 3 篇 fischer bernd
  • 2 篇 yuehui chen
  • 2 篇 yang yuan
  • 2 篇 javad marzbanrad
  • 2 篇 hatcliff john
  • 2 篇 guddat j

语言

  • 278 篇 英文
  • 13 篇 其他
  • 1 篇 中文
检索条件"任意字段=6th International Conference on Generative Programming and Component Engineering"
291 条 记 录,以下是51-60 订阅
排序:
On domain-specific languages reengineering  05
On domain-specific languages reengineering
收藏 引用
4th international conference on generative programming and component engineering
作者: Alias, C Barthou, D Univ Versailles Lab PRiSM F-78000 Versailles France
Domain-specific languages (DSL) provides high-level functions making applications easier to write, and to maintain. Unfortunately, many applications axe written from scratch and poorly documented, which make them hard... 详细信息
来源: 评论
Safe Composition of Non-Monotonic Features  09
Safe Composition of Non-Monotonic Features
收藏 引用
8th international conference on generative programming and component engineering
作者: Kuhlemann, Martin Batory, Don Kaestner, Christian Univ Magdeburg Fac Comp Sci D-39106 Magdeburg Germany Univ Texas Austin Dept Comp Sci Austin TX 78712 USA
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem assumed that features add code monotoni... 详细信息
来源: 评论
Open multi-methods for c++  07
Open multi-methods for c++
收藏 引用
GPCE'07 - 6th international conference on generative programming and component engineering
作者: Pirkelbauer, Peter Solodkyy, Yuriy Stroustrup, Bjarne Texas A and M University College Station TX 77843-3112
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... 详细信息
来源: 评论
A type system for reflective program generators  05
A type system for reflective program generators
收藏 引用
4th international conference on generative programming and component engineering
作者: Draheim, D Lutteroth, C Weber, G Free Univ Berlin Inst Comp Sci D-14195 Berlin Germany Univ Auckland Dept Comp Sci Auckland 1020 New Zealand
In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. this mechanism makes many code generation tasks po... 详细信息
来源: 评论
A graphical programming system for molecular motif search  06
A graphical programming system for molecular motif search
收藏 引用
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
作者: Reeder, Janina Giegerich, Robert Bielefeld University D-33615 Bielefeld Germany Practical Computer Science Faculty of Technology Bielefeld University D-33615 Bielefeld Germany
We describe a graphical programming system for a domain specific language in biosequence analysis. It supports the development of programs for RNA structure prediction and motif search, created by biologists with litt... 详细信息
来源: 评论
A multi-stage language with intensional analysis  06
A multi-stage language with intensional analysis
收藏 引用
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
作者: Viera, Marcos Pardo, Alberto Instituto de Computación Universidad de la República Montevideo Uruguay
this paper presents the definition of a language with reflection primitives. the language is a homogeneous multi-stage language that provides the capacity of code analysis by the inclusion of a pattern matching mechan... 详细信息
来源: 评论
Generating Safe Template Languages  09
Generating Safe Template Languages
收藏 引用
8th international conference on generative programming and component engineering
作者: Heidenreich, Florian Johannes, Jendrik Seifert, Mirko Wende, Christian Boehme, Marcel Tech Univ Dresden Fak Informat Lehrstuhl Softwaretechnol Dresden Germany
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. However, most template languages perform t... 详细信息
来源: 评论
Flexible and efficient measurement of dynamic bytecode metrics  06
Flexible and efficient measurement of dynamic bytecode metri...
收藏 引用
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
作者: Binder, Walter Hulaas, Jarle School of Computer and Communication Sciences CH-1015 Lausanne Switzerland
Code instrumentation is finding more and more practical applications, but the required program transformations are often difficult to implement, due to the lack of dedicated, high-level tools. In this paper we present... 详细信息
来源: 评论
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
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 qua... 详细信息
来源: 评论
A protocol stack development tool using generative programming  1
A protocol stack development tool using generative programmi...
收藏 引用
1st international conference on generative programming and component engineering
作者: Barbeau, M Bordeleau, F Carleton Univ Sch Comp Sci Ottawa ON K1S 5B6 Canada
Traditional protocol implementation approaches capture the structural aspects of protocols in a common base that can be used accross layers. However, they are usually not very good at capturing the behavioral aspects.... 详细信息
来源: 评论