程序自动生成

作品数：70被引量：79H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吕韶义熊海洋胡赤兵刘复岩邬再新更多>>
相关机构：吉林大学国防科学技术大学北京工业大学南开大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金浙江省自然科学基金甘肃省科技攻关计划吉林省科委基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=软件开发x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
程序自动生成器及其应用
《计算机时代》1995年第1期25-26,共2页乐甄 
程序自动生成器及其应用杭州大学乐甄７０年代提出的生命周期法，用系统的观点工程的方法将管理信息系统的开发分为五个阶段，即可行性研究，系统分析，系统设计，系统实施和运行维护。我们通常所谈的计算机软件开发，包括了中间三个阶...
关键词：软件开发 程序自动生成器 应用 
软件开发过程中的形式化方法被引量：7
《计算机科学》1995年第1期31-36,共6页朱冰 梅宏 杨芙清 
本文简要介绍了软件开发过程中使用的形式化方法、典型的规范说明语言以及有关的实践活动。
关键词：软件开发 规范说明语言 形式化法 程序自动生成 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部