您的位置： 专家智库 > >

陈世平

作品数：2 被引量：8H指数：1
供职机构：中国科学院成都计算机应用研究所更多>>
发文基金：四川省教育厅科学研究项目国家重点基础研究发展计划更多>>
相关领域：石油与天然气工程理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 1篇石油与天然气...
  • 1篇理学

主题

  • 1篇等式
  • 1篇软件开发
  • 1篇软件开发方法
  • 1篇软件系统
  • 1篇中小型
  • 1篇助教
  • 1篇自动生成
  • 1篇敏捷
  • 1篇敏捷方法
  • 1篇开发方法
  • 1篇可读证明
  • 1篇机器证明
  • 1篇极限编程
  • 1篇计算机辅助教...
  • 1篇教学
  • 1篇辅助教学
  • 1篇编程
  • 1篇XP
  • 1篇不等式
  • 1篇初等

机构

  • 2篇中国科学院成...

作者

  • 2篇陈世平
  • 1篇冯山
  • 1篇朱大勇
  • 1篇许毅
  • 1篇曾振柄

传媒

  • 1篇西南石油学院...

年份

  • 2篇2003
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
XP—适合中小型软件系统的敏捷方法被引量：8
2003年
软件工程旨在解决早期大型软件开发、管理问题 ,使软件开发过程从牛仔式编程进入有章可寻的、以规则和操作规范引导的工程化过程。然而 ,传统软件工程模型固有的缺陷和越来越多的规则与操作规范约束 ,面对大量中小型系统开发时 ,不能适应实际开发过程的需要。根据 10多年软件开发经验 ,结合SDBC MIS项目实践过程 ,研究了新型软件开发方法XP(eXtremeProgramming)的特点、软件过程、实践指导规则和适用范围。系统比较了TSE和XP方法上的主要差异。对比研究结果表明 。
冯山陈世平曾振柄朱大勇许毅
关键词：极限编程敏捷方法软件开发方法
初等不等式可读证明的自动生成
陈世平
关键词：机器证明不等式可读证明计算机辅助教学
全选 清除 导出
共1页<1>
聚类工具0