搜索筛选:
搜索耗时0.0836秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
类      型:
[会议论文] 作者:琚川徽,安徽大学电子工程与信息科学学院,袁兆山, 来源:安徽省电机工程学会首届青年科技学术交流会 年份:2001
本文讨论了形式化描述的评价标准,介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LO-TOS、Z、SDL、ESTEREL和MSCs,及情景表示方法Use Case Maps(UCM),并对它们进行...
相关搜索: