咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 standard templat...
  • 1 篇 algebraic concep...
  • 1 篇 requirement orie...
  • 1 篇 generic programm...
  • 1 篇 concept descript...
  • 1 篇 specification la...
  • 1 篇 formal verificat...
  • 1 篇 tecton

机构

  • 1 篇 rensselaer polyt...
  • 1 篇 univ tubingen wi...

作者

  • 1 篇 schupp s
  • 1 篇 musser d
  • 1 篇 loos r

语言

  • 1 篇 英文
检索条件"主题词=requirement oriented programming"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
requirement oriented programming - Concepts, implications, and algorithms
Requirement oriented programming - Concepts, implications, a...
收藏
分享
引用
International Seminar on Generic programming
作者： Musser, D Schupp, S Loos, R Rensselaer Polytech Inst Dept Comp Sci Troy NY 12181 USA Univ Tubingen Wilhelm Schickard Inst Informat D-72074 Tubingen Germany
Generic programming is requirement oriented programming. We study the concept of genericity and generic concepts. Support of generic programming is exemplified by TECTON formalizations of algebraic and STL concepts. W... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件