SOFL

作品数：8被引量：4H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈昊鹏高正华韩捷朱滔方小丽更多>>
相关机构：上海交通大学华中科技大学西安电子科技大学东南大学更多>>
相关期刊：《中国电子商务》《计算机应用与软件》《Chinese Journal of Chemistry》《中国科技纵横》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=中国电子商务x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SOFL的软件开发过程
《中国电子商务》2012年第21期41-41,共1页陈彦霞 
SOFL是形式化语言中的一种，它集成了数据流图，VDM—SL，Petri网的优势，为规格说明书的创建工作提供图文并茂的形式化标记。对传统的数据流图进行扩展，并使用Petri网为DFD提供操作语义，形成了CDFD。它用层次方式进行组织，从而把复...
关键词：形式化方法 SOFL 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部