软件工程-第4章-形式化说明技术.pptVIP

软件工程的开展;形式化技术的研究及应用已取得了较大成果，突出表现在程序设计语言语义方面和抽象数据类型方面的研制。随着软件技术研究的深入，形式化技术与软件开发方法学相结合，形成形式化的软件开发方法，试图实现从软件的规格说明、软件的设计到软件的代码实现的自动转换和验证。其中，基于模型的VDM、Z和基于代数的Larch均是这一方面的代表成果。

软件自动化势在必行，研究的内容将涉及需求工程、软件规格说明的形式化以及规格说明到系统的进化或转换。但是，由于形式化的软件方法以严格的数学和逻辑系统为根底，至今尚远未到达工程应用的程度，近几年内仍会停留在实验室研究阶段。因而，着眼于高度自动化、智能化的CASE研