软件工程的科学理论基础

摘要：

任何工程学科的发展都必须建立在坚实的理论基础之上,软件工程也不便外.软件工程的理论基础难以应用于实践是迫切需要解决的问题.本文将分析问题产生的原因、解决的方法;简要介绍形式化方法及目前的实用情况.

关键词：软件工程、形式化方法

所属期刊栏目：23

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

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

页数：共3页

页码：90-92