咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
Comparing Complexity of API Designs: An Exploratory Experiment on DSL-based Framework Integration  11
Comparing Complexity of API Designs: An Exploratory Experime...
收藏 引用
10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)
作者: Sobernig, Stefan Gaubatz, Patrick Strembeck, Mark Zdun, Uwe WU Vienna Inst IS & New Media Vienna Austria Univ Vienna Software Architecture Grp Vienna Austria
Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature presents claims that DSL-based application development is benef... 详细信息
来源: 评论
generative TEXTILES FOR NON-ROTARY POWER PRODUCTION FROM WIND
GENERATIVE TEXTILES FOR NON-ROTARY POWER PRODUCTION FROM WIN...
收藏 引用
6th ASME international conference on Energy Sustainability
作者: Lux, Scott Foster, Christopher Sellers, Meredith Friedl, Andrew Feickert, Carl Hesterberg, Justin Marsh, Charles US Army Engineer Res & Dev Ctr Construct Engn Res Lab Champaign IL 61826 USA
the U.S. Army Engineer Research and Development Center, Construction engineering Research Laboratory (ERDC-CERL) is developing a new class of flexible, generative textile as a novel means of sustainable wind energy ge... 详细信息
来源: 评论
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... 详细信息
来源: 评论
An inheritance system for structural & behavioral reuse in component-based software programming  12
An inheritance system for structural & behavioral reuse in c...
收藏 引用
11th ACM international conference on generative programming and component engineering, GPCE 2012
作者: Spacek, Petr Dony, Christophe Tibermacine, Chouki Fabresse, Luc LIRMM CNRS Montpellier II University 161 rue Ada 34392 Montpellier Cedex 5 France Université Lille Nord de France Ecole des Mines de Douai 941 rue Charles Bourseul 59508 Douai Cedex France
In the context of component-based programming, which addresses the implementation stage of a component-based software engineering development process, this paper describes a specification and an operational integratio... 详细信息
来源: 评论
A three-level component model in component based software development  12
A three-level component model in component based software de...
收藏 引用
11th ACM international conference on generative programming and component engineering, GPCE 2012
作者: Zhang, Huaxi Zhang, Lei Urtado, Christelle Vauttier, Sylvain Huchard, Marianne Dept. Math/Info Université Toulouse 2 Toulouse France Research Center of Automation Northeastern University Shenyang China LGI2P EMA Nîmes France Lirmm Cnrs Univ. Montpellier 2 Montpellier France
component-based development promotes a software development process that focuses on component reuse. How to describe a desired component before searching in the repository? How to find an existing component that fulfi... 详细信息
来源: 评论
Family-based deductive verification of software product lines  12
Family-based deductive verification of software product line...
收藏 引用
11th ACM international conference on generative programming and component engineering, GPCE 2012
作者: thüm, thomas Schaefer, Ina Apel, Sven Hentschel, Martin University of Magdeburg Germany University of Braunschweig Germany University of Passau Germany University of Darmstadt Germany
A software product line is a set of similar software products that share a common code base. While software product lines can be implemented efficiently using feature-oriented programming, verifying each product indiv... 详细信息
来源: 评论
S/T/A: Meta-Modeling Run-Time Adaptation in component-Based System Architectures
S/T/A: Meta-Modeling Run-Time Adaptation in Component-Based ...
收藏 引用
9th IEEE international conference on e-Business engineering (ICEBE)/8th SOAIC/6th EM2I/6th SOKMBI/4th ASOC
作者: Huber, Nikolaus van Hoorn, Andre Koziolek, Anne Brosig, Fabian Kounev, Samuel Karlsruhe Inst Technol D-76021 Karlsruhe Germany Christian Albrechts Univ Kiel Kiel Germany Univ Zurich Zurich Switzerland
Modern virtualized system environments usually host diverse applications of different parties and aim at utilizing resources efficiently while ensuring that quality-of-service requirements are continuously satisfied. ... 详细信息
来源: 评论
Xbase: Implementing domain-specific languages for java  12
Xbase: Implementing domain-specific languages for java
收藏 引用
11th ACM international conference on generative programming and component engineering, GPCE 2012
作者: Efftinge, Sven Eysholdt, Moritz Köhnlein, Jan Zarnekow, Sebastian Hasselbring, Wilhelm Von Massow, Robert Hanus, Michael Itemis AG D-24143 Kiel Germany Software Engineering Group University of Kiel Germany Programming Languages and Compiler Construction Group University of Kiel Germany
Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools focus on structural aspects such as service specificati... 详细信息
来源: 评论
Model driven engineering in systems integration
Model driven engineering in systems integration
收藏 引用
9th international Network conference, INC 2012
作者: Minich, M. Harriehausen-Mühlbauer, B. Wentzel, C. Communications and Network Research Centre for Security Plymouth University Plymouth United Kingdom Department of Computer Science University of Applied Sciences Darmstadt Darmstadt Germany
Software development in systems integration projects is still reliant on craftsmanship of highly skilled workers. To make such projects more profitable, an industrialized production, characterized by high efficiency, ... 详细信息
来源: 评论
generative programming for automatic differentiation
收藏 引用
6th international conference on Automatic Differentiation, AD 2012
作者: Nehmeier, Marco Institute of Computer Science University of Würzburg Am Hubland Würzburg D 97074 Germany
In this paper we present a concept for a C++ implementation of forward automatic differentiation of an arbitrary order using expression templates and template metaprogramming. In contrast to other expression template ... 详细信息
来源: 评论