几种软件需求图形描述技术的形式规约

摘要：

软件需求分析是软件工程的重要组成部分,利用图形描述技术进行软件需求分析受到越来越广泛的重视.本文采用形式化规约技术,对几种主要的图形描述技术进行了形式规约设计,并通过实例对几种形式规约的语义进行了分析比较,对软件开发过程中实现图形技术与形式化方法的有机结合具有实际意义.

关键词： 软件需求 软件工程 形式规约 语义 图形描述

作者: 张维石 刘宪凯 史金余 孙伟

作者单位: 大连海事大学计算机科学与技术学院

会议类型: 国内会议

会议名称: 2001全国软件技术研讨会

会议地点: 大连

会议语种:中文

页码: 55-58

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