咨询与建议

限定检索结果

文献类型

  • 21 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 21 篇 工学
    • 21 篇 计算机科学与技术...
    • 21 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 电子科学与技术(可...
  • 3 篇 管理学
    • 2 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 2 篇 理学
    • 2 篇 数学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 8 篇 computer program...
  • 2 篇 automatic progra...
  • 2 篇 computer program...
  • 1 篇 object oriented ...
  • 1 篇 experimentation
  • 1 篇 languages
  • 1 篇 linux
  • 1 篇 technical presen...
  • 1 篇 conditional comp...
  • 1 篇 predictable depl...
  • 1 篇 interfaces (comp...
  • 1 篇 c (programming l...
  • 1 篇 program compiler...
  • 1 篇 information retr...
  • 1 篇 measurement
  • 1 篇 component-based ...
  • 1 篇 variability
  • 1 篇 computer softwar...

机构

  • 2 篇 northeastern uni...
  • 1 篇 univ auckland de...
  • 1 篇 free univ berlin...
  • 1 篇 obasco group éco...
  • 1 篇 vanderbilt univ ...
  • 1 篇 sable research g...
  • 1 篇 univ illinois ur...
  • 1 篇 inria labri f-33...
  • 1 篇 rice univ housto...
  • 1 篇 programming tool...
  • 1 篇 jacquard group l...
  • 1 篇 univ bristol dep...
  • 1 篇 nasa ames res ct...
  • 1 篇 brics university...
  • 1 篇 univ dayton dept...
  • 1 篇 ecole mines nant...
  • 1 篇 national high pe...
  • 1 篇 univ erlangen nu...
  • 1 篇 mcmaster univ ha...
  • 1 篇 univ utah salt l...

作者

  • 1 篇 apel s
  • 1 篇 ramakrishnan n
  • 1 篇 lutteroth c
  • 1 篇 christensen aske...
  • 1 篇 lhoták ondřej
  • 1 篇 sincero julio
  • 1 篇 kuzins sascha
  • 1 篇 taha w
  • 1 篇 hendren laurie
  • 1 篇 hirschowitz tom
  • 1 篇 réveillère l
  • 1 篇 kamin s
  • 1 篇 barthou d
  • 1 篇 latry f
  • 1 篇 fischer b
  • 1 篇 le meur anne-fra...
  • 1 篇 aktemur b
  • 1 篇 gokhale aniruddh...
  • 1 篇 willemsen johnny
  • 1 篇 jarzabek s

语言

  • 21 篇 英文
检索条件"任意字段=4th International Conference on Generative Programming and Component Engineering, GPCE 2005"
21 条 记 录,以下是21-30 订阅
排序:
Certifiable program generation  05
Certifiable program generation
收藏 引用
4th international conference on generative programming and component engineering
作者: Denney, E Fischer, B NASA Ames Res Ctr USRA RIACS Moffett Field CA 94035 USA
Code generators based on template expansion techniques are easier to build than purely deductive systems but do not guarantee the same level of assurance: instead of providing "coffectness-by-construction", ... 详细信息
来源: 评论