论文部分内容阅读
针对软件需求描述中用UML描述的模型与形式需求说明相比不利于推理和验证的问题，使用统一过程建立用UML描述的需求模型并对其进行形式化，获得用Object-Z描述形式需求说明的方法和步骤，并结合实例进行论述,提出利用形式方法验证和确认非形式需求规格说明的过程．该研究为验证和确认非形式规格说明提供1种有效方法。