基于谓词公式和线性代数的软件开发模型

摘要：

本文基于一阶逻辑和线性代数,分析了体系结构的目标,定义,意义和模型,并以此为基础提出了一种软件开发模型--基于谓词公式和线性代数的软件开发模型.实现了输入"自然语言",然后输出人们想要的软件的目标.

关键词：一阶逻辑、线形代数、构件、体系结构

所属期刊栏目：3

分类号：TP311(计算技术、计算机技术)

在线出版日期：2007-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：482-483,588