咨询与建议

限定检索结果

文献类型

  • 277 篇 会议
  • 23 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 301 篇 电子文献
  • 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 篇 艺术学

主题

  • 21 篇 design
  • 20 篇 languages
  • 18 篇 software enginee...
  • 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

语言

  • 288 篇 英文
  • 12 篇 其他
  • 1 篇 法文
检索条件"任意字段=7th International Conference on Generative Programming and Component Engineering"
301 条 记 录,以下是111-120 订阅
排序:
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... 详细信息
来源: 评论
Toward generative Design for Digital Publishing on Mobile Devices
Toward Generative Design for Digital Publishing on Mobile De...
收藏 引用
7th international conference on Computing and Convergence Technology (ICCCT)
作者: Tsai, Tse-Ming Chou, Shih-Chun Liu, Bo-Fu Lin, Jih-Yiing Lin, Yu-Ting Chou, Seng-Cho T. Inst Informat Ind Innovat DigiTech Enabled Applicat & Serv Inst Taipei Taiwan Natl Taiwan Univ Dept Informat Management Taipei Taiwan
the importance of mobile devices has attracted increasing attention among designers, traditional media publishers, ad agencies, and companies of all sizes to create, distribute, monetize, and optimize interactive cont... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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, ... 详细信息
来源: 评论
A Collaborative Expandable Framework for Software End-Users and Programmers
A Collaborative Expandable Framework for Software End-Users ...
收藏 引用
9th Annual international conference on Cooperative Design, Visualization, and engineering (CDVE)
作者: Almeida, Tiago Ferreira, Hugo Sereno Sousa, Tiago Boldt Univ Porto Fac Engn Dept Informat Engn Oporto Portugal
the quantity and complexity that end-users are increasingly demanding from their applications and devices makes it impractical for a software developer to "foresee" every possible combination and explore eve... 详细信息
来源: 评论
A transparent control-flow based approach to record-replay non-deterministic bugs
A transparent control-flow based approach to record-replay n...
收藏 引用
2012 IEEE 7th international conference on Networking, Architecture and Storage, NAS 2012
作者: Wang, Nan Han, Jizhong Fang, Jinyun Institute of Computing Technology Chinese Academy of Sciences Beijing 100000 China Graduate University Chinese Academy of Sciences Beijing 100000 China Institute of Information Engineering Chinese Academy of Sciences Beijing 100000 China
Record-replay is effective to reproduce non-deterministic bugs, and has gained attentions in research community. However, current approaches fall short of handling nondeterministic bugs in multi-processor platforms an... 详细信息
来源: 评论