一种新的程序开发方法研究

• 作者: 马绍午
• 来源期刊: 科技广场
• 学科: 工学
• 关键词: 时间 空间 布尔表达式 蕴含式
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 研究与探讨 RESEARCH & EXPLORER
• 页码范围: 14-19
• 页数: 6页
• 分类号: TP311
• 字数: 4436字
• 语种: 中文

摘要

本文介绍了一种程序开发方法的关键概念和关键技术，以及时间和空间等高级概念。通过给出一个实例，简单说明这种理论在程序开发过程中的应用，并将该方法与三种常见的方法相比较。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马绍午		2	2	1.0	1.0