VDM语言相关论文
<正> 1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成......
摘要:软件需求分析是软件生命周期中最关键的一步。传统的需求建模方法主要有两个重大的缺陷:1) 非形式化的需求描述常常导致需求的......