软件开发自动化技术是提高软件生产率的根本途径之一。软件自动化的前提是形式化,形式化不仅仅是对用户需求,而且也是对整个软件系统的严格定义。传统的软件开发方法由于大量的使用自然语言和多种图形符号,结果是尽管经历了仔细地复审,最后的系统规约说明中仍然包含歧义的、含糊的、矛盾的、不完整的需求描述及混乱的抽象层次。使用形式化方法可以克服这些缺点。具体来说,使用形式化开发软件系统的主要优点有:
(1) 形式化说明以逻辑精确性为特色
软件开发自动化技术是提高软件生产率的根本途径之一。软件自动化的前提是形式化,形式化不仅仅是对用户需求,而且也是对整个软件系统的严格定义。传统的软件开发方法由于大量的使用自然语言和多种图形符号,结果是尽管经历了仔细地复审,最后的系统规约说明中仍然包含歧义的、含糊的、矛盾的、不完整的需求描述及混乱的抽象层次。使用形式化方法可以克服这些缺点。具体来说,使用形式化开发软件系统的主要优点有:
(1) 形式化说明以逻辑精确性为特色