形式化描述技术

作品数：8被引量：10H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：顾翔赵保华屈玉贵赵静王颖更多>>
相关机构：中国科学技术大学合肥工业大学上海交通大学北京邮电大学更多>>
相关期刊：《北京邮电大学学报》《微电子学与计算机》《通信学报》《通信技术》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划安徽省自然科学基金中国科学院院长基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 机构=安徽大学计算机科学与技术学院x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
通信软件系统开发中的形式化描述技术
《安庆师范学院学报（自然科学版）》2004年第1期83-86,共4页琚川徽 李龙澍 
国家自然科学基金资助项目(60273043)
本文介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LOTOS、Z、SDL、ESTEREL和MSCs,及情景表示方法UseCaseMaps(UCM),分析了它们的特点,并对它们进行了深入的研究和评价。
关键词：通信软件系统 形式化描述 评价标准 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部