通信软件系统开发的形式化描述技术与评价

摘要：

本文讨论了形式化描述的评价标准,介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LO-TOS、Z、SDL、ESTEREL和MSCs,及情景表示方法Use Case Maps(UCM),并对它们进行了评价.

关键词： 通信软件系统 形式化描述 评价标准

作者: 琚川徽 安徽大学电子工程与信息科学学院 袁兆山

作者单位: 合肥工业大学计算机与信息学院

会议类型: 国内会议

会议名称: 安徽省电机工程学会首届青年科技学术交流会

会议地点: 合肥

会议语种:中文

页码: 142-146

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