• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"主题词=KORSO"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
正确软件开发的集成式设计支持环境
收藏
分享
引用
《浙江工学院学报》1994年 第2期30卷 86-92页
作者：蔡家楣 
本文介绍了国外特别是德国在正确软件开发支持系统方面的进展，重点阐述集成了各种方法学语言及正确性证明逻辑的集成式正确软件开发支持系统（ＫＯＲＳＯ），它的系统特点、形式机制及系统组织体系。
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部